On the design of hybrid control systems using automata models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1180, Issue , 1996, Pages 156-167

  Van Hung, Dang ^a,b   Ji, Wang ^a,c  

^a UNITED NATIONS UNIVERSITY   (Macao)

^b INSTITUTE OF INFORMATION TECHNOLOGY   (Viet Nam)

^c Changsha Institute of Technology   (China)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; CONTROL SYSTEMS; ITERATIVE METHODS; SOFTWARE ENGINEERING; SPECIFICATIONS; WATER TANKS;

AUTOMATA MODELS; DURATION CALCULUS; HYBRID CONTROL SYSTEMS;

AUTOMATA THEORY;

EID: 84947934863     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-62034-6_46     Document Type: Conference Paper

References (13)

1. R.Alur, T. Henzinger and E. Sontag (Eds.), Hybrid Systems, Lecture Notes in Computer Science 1066, Springer Verlag, 1996.
2. R. Alur and D. L. Dill, A Theory of Timed Automata, Theoretical Computer Science, 126, 183-235, 1994.
3. P. J. Antsaklis, J. A. Stiver, M. Lemmon, Hybrid System Modeling and Autonomous Control Systems, LNCS 736, Springer Verlag, 366-392, 1993.
4. Chen Zongji, Wang Ji, Yu Xinyao and Zhou Chaochen, An Abstraction of Hybrid Control Systems, IEEE Intelligent Control and Instrumentation, Singapore, 1995.
5. R.L. Grossman, A. Nerode, A.P. Ravn and H. Rischel (Eds.), Hybrid Systems, Lecture Notes in Computer Science 736, Springer Verlag, 1993.
6. 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 288335, Springer Verlag, 1994.
7. T. A. Henzinger, Z. Manna, A. Pnueli, Towards Refining Temporal Specifications into Hybrid Systems, LNCS 736, Springer Verlag, 60-76, 1993.
8. J.E. Hopcroft, J.D. Ullman, Introduction to Automata Theory, Languages and Computation, Reading, MA, Addison-Wesley, 1979.
9. 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.
10. A. Ravn, Design of Embedded Real-Time Computing Systems. Department of Computer Science, Technical University of Denmark, 1994.
11. A. Ravn, H. Rischel and K.M. Hansen, Specifying and Verifying Requirements of Real-time Systems, IEEE Trans, on Software Engineering, 1993.
12. Zhou Chaochen, C. A. R. Hoare, A. P. Ravn, A Calculus of Durations, Information Processing Letters, 40, 269-276, 1991.
13. Zhou Chaochen, A. P. Ravn, M. R. Hansen, Extended Duration Calculus for Hybrid Real-time Systems, LNCS 736, Springer Verlag, 36-59, 1993.