Abstract
We consider a hybrid system controlled by a sampled-data controller whose action is periodically time-driven, that is, the control inputs can change only at the particular time instants. We introduce a transition system as semantics of the controlled hybrid system and consider a control specification given by a predicate. First, we derive a necessary and sufficient condition for the predicate to be control-invariant and show that there always exists the supremal control-invariant subpredicate for any predicate. Finally, we propose a procedure to computeĀ it.
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
Henzinger, T.A.: The theory of hybrid automata. In: Proceedings of the 11th Symposium on Logic in Computer Science, pp. 278ā292 (1996)
Silva, B.I., Krogh, B.H.: Modeling and verification of sampled-data hybrid systems. In: ADPM 2000, pp. 237ā242 (2000)
Silva, B.I., Krogh, B.H.: Modeling and verification of hybrid systems with clocked and unclocked events. In: Proc. 40th IEEE CDC, pp. 762ā767 (2001)
Ramadge, P.J., Wonham, W.M.: Modular feedback logic for discrete event systems. SIAM Journal on Control and OptimizationĀ 25(5), 1202ā1218 (1987)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
Ā© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tsuchie, Y., Ushio, T. (2008). Sampled-Data Event Control of Hybrid Systems for Control Specifications Given by Predicates. In: Egerstedt, M., Mishra, B. (eds) Hybrid Systems: Computation and Control. HSCC 2008. Lecture Notes in Computer Science, vol 4981. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-78929-1_60
Download citation
DOI: https://doi.org/10.1007/978-3-540-78929-1_60
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-78928-4
Online ISBN: 978-3-540-78929-1
eBook Packages: Computer ScienceComputer Science (R0)