Sampled-Data Event Control of Hybrid Systems for Control Specifications Given by Predicates

Authors:
Yoshiyuki Tsuchie;Toshimitsu Ushio
Affiliations:
Graduate school of Engineering Science, Osaka University, Toyonaka, Osaka, Japan 560-8531;Graduate school of Engineering Science, Osaka University, Toyonaka, Osaka, Japan 560-8531
Venue:
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
Year:
2008

Citing 2
Cited 0

Modular feedback logic for discrete event systems

SIAM Journal on Control and Optimization
The theory of hybrid automata

LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science

Quantified Score

Hi-index	0.00

Visualization

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.