Abstract
This paper deals with the synthesis of control software for hybrid systems specified as hybrid automata. Instead of generating the software from scratch, the synthesis is based on a generic layered software architecture which supports both periodic and event-triggered computations. The use of the layered software architecture as the framework for implementing hybrid controllers is motivated in the paper.
An automatic code generator HA2LS (from Hybrid Automata to Layered Systems) is introduced. HA2LS reads a specification in terms of hybrid automata and generates intermediate code that can be processed by the tools provided by the layered architecture. The generated software provides a clean interface for a control engineer to plug in the control algorithms. With externally supplied control algorithms and IO procedures, the synthesis of executable hybrid controllers can be completed. The generated code can also be used for simulation purposes if it is generated from the specification of the complete system including the plant. The code generator HA2LS together with the software architecture substantially shorten the time to implement hybrid controllers from hybrid automata.
The author would like to thank Dr. J. Malec, Dr. D. Driankov, Dr. S. Nadjm-Tehrani and the anonymous referees for the valuable comments on the paper and thank Volvo Research Foundation, Volvo Educational Foundation, the Center for Industrial Information Technology (CENIIT), and the Swedish Research Council for Engineering Sciences for supporting this research.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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.
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.
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 42284234. IEEE, 1994.
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.
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 EuromicoWorkshop on Real-Time Systems, pages 114–120. IEEE, 1996.
M. Lin. Formal Analysis of Reactive Rule-based Programs. Licentiate thesis, Linköping University, Linköping University, Sweden, 1997.
M. Lin and J. Malec. Timing analysis of reactive rule-based programs. Control Engineering Practice, 6:403–408, 1998.
M. Morin. Predictable cyclic computations in autonomous systems: A computational model and implementation. Licenciate thesis 352, Department of Computer and Information Sciences, Linköping University, 1993.
M. Morin, S. Nadjm-Tehrani, P. Real-time hierarchical control. IEEE Software, 9(5):51–57, September 1992.
S. Nadjm-Tehrani. Reactive Systems in Physical Environments: Compositional Modelling and Framework for Verification. PhD thesis, Dept. of Computer and Information Science, Linköping University, March 1994. Dissertation No. 338.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lin, M. (1999). Synthesis of Control Software in a Layered Architecture from Hybrid Automata. In: Vaandrager, F.W., van Schuppen, J.H. (eds) Hybrid Systems: Computation and Control. HSCC 1999. Lecture Notes in Computer Science, vol 1569. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48983-5_16
Download citation
DOI: https://doi.org/10.1007/3-540-48983-5_16
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65734-7
Online ISBN: 978-3-540-48983-2
eBook Packages: Springer Book Archive