Abstract
The concept of controllability for hybrid systems has been defined and an algorithm has been presented that is able to decide the controllability for linear hybrid systems. Besides the computation of an acceptable run, the control-law for executing this acceptable run is synthesized as a sequence of phase-transitions with the computed jump-spaces acting as control-law. This control-law guarantees a correct transition from the initial to the final state of the system following a certain path.
The main problem is that the complexity and, as a result, the execution time of the algorithm increases exponentially with the number of data-variables, that is, the dimension of the state-space.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Preview
Unable to display preview. Download preview PDF.
References
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 Workshop on Theory of Hybrid Systems, Lecture Notes in Computer Science 736, pages 209–229, Lyngby, Denmark, Oct. 1992.
X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. An approach to the description and analysis of hybrid systems. In Workshop on Theory of Hybrid Systems, Lyngby, Denmark, Oct. 1992.
J.A. Stiver and P.J. Antsaklis. Modeling and analysis of hybrid control systems. In Proceedings of the 31st CDC, pages 3748–3751, Tucson, Arizona, 1992.
J. Le Bail, H. Alla, and R. David. Hybrid petri nets. In European Control Conference, pages 1472–1477, Grenoble, France, July 1991.
J.-E. Strömberg, J. Top, and U. Söderman. Modelling mode switching in dynamical systems. In J.W. Nieuwenhuis, C. Praagman, and H.L. Trentelman, editors, Proc. of the 2nd ECC '93, pages 848–853, Groningen, The Netherlands, June 1993.
A. Benveniste and G. Berry. The synchronous approach to reactive and real-time systems. Proceedings of the IEEE, 79(9), Sep. 1991.
M. Tittus. An algorithm for the generation of control laws for linear hybrid systems. Technical Report CTH/RT/R-93/0013, Control Engineering Lab, Chalmers University of Technology, S-412 96 Gothenburg, Sweden, 1993.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag London Limited
About this paper
Cite this paper
Tittus, M., Egardt, B. (1994). Controllability and control-law synthesis of linear hybrid systems. In: Cohen, G., Quadrat, JP. (eds) 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems. Lecture Notes in Control and Information Sciences, vol 199. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0033569
Download citation
DOI: https://doi.org/10.1007/BFb0033569
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-19896-3
Online ISBN: 978-3-540-39345-0
eBook Packages: Springer Book Archive