Synthesis of control software in a layered architecture from hybrid automata

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

Volumn 1569, Issue , 1999, Pages 152-164

  Lin, Man ^a  

^a LINKÖPING UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; CODES (SYMBOLS); CONTROLLERS; HYBRID SYSTEMS; SOFTWARE ARCHITECTURE; SPECIFICATIONS;

AUTOMATIC CODE GENERATORS; COMPLETE SYSTEM; CONTROL SOFTWARE; EVENT-TRIGGERED; HYBRID AUTOMATONS; HYBRID CONTROLLER; LAYERED ARCHITECTURE; LAYERED SYSTEMS;

COMPUTER CONTROL;

EID: 84949476597     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48983-5_16     Document Type: Conference Paper

References (10)

1. R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theorectical Computer Science, pages 3-34, 1995.
2. R. Alur, C. Courcoubetis, T.A. Henzinger, and P.-H. Ho. Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. In R.L. Grossman, A. Nerode, A.P. Ravn, and H. Rischel, editors, Hybrid Systems, Lecture Notes in Computer Science 736, pages 209-229. Springer-Verlag, 1993.
3. M.S. Branicky, V.S. Borkar, and S. K. Mitter. A unified framework for hybrid control. In Proceedings of 33rd Conference of Decision and Control, pages 4228-4234. IEEE, 1994.
4. Z. Chaochen, A. P. Ravn, and M. R. Hansen. An Extended Duration Calculus for Hybrid Real-Time Systems. In R.L. Grossman, A. Nerode, A.P. Ravn, and H. Rischel, editors, Proc. Workshop on Theory of Hybrid Systems, October 1992, LNCS 736, pages 36-59. Springer Verlag, 1993.
5. T. J. Eriksen, S. T. Heilmann, M. Holdgaard, and A. P. Ravn. Hybrid systems: a real-time interface to control engineering. In Proceedings of 8th Euromico Workshop on Real-Time Systems, pages 114-120. IEEE, 1996.
6. M. Lin. Formal Analysis of Reactive Rule-based Programs. Licentiate thesis, Linköping University, Linköping University, Sweden, 1997.
7. M. Lin and J. Malec. Timing analysis of reactive rule-based programs. Control Engineering Practice, 6:403-408, 1998.
8. M. Morin. Predictable cyclic computations in autonomous systems: A computational model and implementation. Licenciate thesis 352, Department of Computer and Information Sciences, Linkoping University, 1993.
9. M. Morin, S. Nadjm-Tehrani, P. Real-time hierarchical control. IEEE Software, 9(5):51-57, September 1992.
10. S. Nadjm-Tehrani. Reactive Systems in Physical Environments: Compositional Modelling and Framework for Verification. PhD thesis, Dept. of Computer and Information Science, Linkoping University, March 1994. Dissertation No. 338.