Control-law synthesis for linear hybrid systems
- 17 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 1, 961-966
- https://doi.org/10.1109/cdc.1994.410931
Abstract
Based on the framework of hybrid automata the notion of controllability for a hybrid system with respect to given specifications is discussed. A hybrid system is defined as being controllable if there exists at least one acceptable run between each ordered pair of marked states, that is, the system can be controlled to satisfy all specifications while transferring between two marked states. Given certain restrictions, controllability can be decided for the class of linear hybrid systems and, if controllable, a set of control laws can be synthesized that guarantee a correct execution of the acceptable run. An algorithm for the generation of such control laws is presented. In general, the problem is only semidecidable since the algorithm does not necessarily terminate Author(s) Tittus, M. Control Eng. Lab., Chalmers Univ. of Technol., Goteborg, Sweden Egardt, B.Keywords
This publication has 7 references indexed in Scilit:
- Modeling and analysis of hybrid control systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Stochastic Petri nets model of hybrid dynamical systemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Control-law synthesis for linear hybrid systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Supervisory control of a rapid thermal multiprocessorIEEE Transactions on Automatic Control, 1993
- Hybrid automata: An algorithmic approach to the specification and verification of hybrid systemsPublished by Springer Nature ,1993
- An approach to the description and analysis of hybrid systemsPublished by Springer Nature ,1993
- Hybrid dynamical systems theory and the Signal languageIEEE Transactions on Automatic Control, 1990