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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
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)