Abstract
The paper gives a systematic way for the development of hybrid control systems, i.e. to refine specifications written in DC (Duration Calculus) into automata models. Firstly, DC formulas are extended with iteration form and a technique for deriving plant automata from DC formulas is presented. Then, a specification of control automata can be synthesized from plant automata with respect to requirements, based on a necessary and sufficient condition for a plant automaton and a requirement to have a control automaton. Water tank and Gas burner examples are demonstrated to illustrate our method.
On leave from the Institute of Information Technology, Nghia Do, Tu Liem, Hanoi, Vietnam.
On leave from Department of Computer Science, Changsha Institute of Technology, Changsha 410073, P.R. China. Partly supported by National NSF and National Hi-tech Programme of China.
Preview
Unable to display preview. Download preview PDF.
References
R.Alur, T. Henzinger and E. Sontag (Eds.), Hybrid Systems, Lecture Notes in Computer Science 1066, Springer Verlag, 1996.
R. Alur and D. L. Dill, A Theory of Timed Automata, Theoretical Computer Science, 126, 183–235, 1994.
P. J. Antsaklis, J. A. Stiver, M. Lemmon, Hybrid System Modeling and Autonomous Control Systems, LNCS 736, Springer Verlag, 366–392, 1993.
Chen Zongji, Wang Ji, Yu Xinyao and Zhou Chaochen, An Abstraction of Hybrid Control Systems, IEEE Intelligent Control and Instrumentation, Singapore, 1995.
R.L. Grossman, A. Nerode, A.P. Ravn and H. Rischel (Eds.), Hybrid Systems, Lecture Notes in Computer Science 736, Springer Verlag, 1993.
J. He, C. A. R. Hoare, M. Franzle, M. Muller-Olm, E.-R. Olderog, M. Schenke, M. R. Hansen, A. P. Ravn, and H. Rischel, Provably Correct Systems. In Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 863, pages 288–335, Springer Verlag, 1994.
T. A. Henzinger, Z. Manna, A. Pnueli, Towards Refining Temporal Specifications into Hybrid Systems, LNCS 736, Springer Verlag, 60–76, 1993.
J.E. Hopcroft, J.D. Ullman, Introduction to Automata Theory, Languages and Computation, Reading, MA, Addison-Wesley, 1979.
X. Nicollin, A. Olivero, J. Sifakis, S. Yovine, An Approach to the Description and Analysis of Hybrid Systems, LNCS 736, Springer Verlag, 149–178, 1993.
A. Ravn, Design of Embedded Real-Time Computing Systems. Department of Computer Science, Technical University of Denmark, 1994.
A. Ravn, H. Rischel and K.M. Hansen, Specifying and Verifying Requirements of Real-time Systems, IEEE Trans. on Software Engineering, 1993.
Zhou Chaochen, C. A. R. Hoare, A. P. Ravn, A Calculus of Durations, Information Processing Letters, 40, 269–276, 1991.
Zhou Chaochen, A. P. Ravn, M. R. Hansen, Extended Duration Calculus for Hybrid Real-time Systems, LNCS 736, Springer Verlag, 36–59, 1993.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Van Hung, D., Ji, W. (1996). On the design of hybrid control systems using automata models. In: Chandru, V., Vinay, V. (eds) Foundations of Software Technology and Theoretical Computer Science. FSTTCS 1996. Lecture Notes in Computer Science, vol 1180. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-62034-6_46
Download citation
DOI: https://doi.org/10.1007/3-540-62034-6_46
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-62034-1
Online ISBN: 978-3-540-49631-1
eBook Packages: Springer Book Archive