Modular feedback logic for discrete event systems
SIAM Journal on Control and Optimization
The algorithmic analysis of hybrid systems
Theoretical Computer Science - Special issue on hybrid systems
Optimal Sampled-Data Control Systems
Optimal Sampled-Data Control Systems
Bisimulation, the Supervisory Control Problem and StrongModel Matching for Finite State Machines
Discrete Event Dynamic Systems
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Control-Invariance of Sampled-Data Hybrid Systems with Clocked Events and Jitters
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Brief paper: Stability of sampled-data piecewise-affine systems under state feedback
Automatica (Journal of IFAC)
Control-invariance of hybrid systems with forcible events
Automatica (Journal of IFAC)
Synthesis of optimal controllers for piecewise affine systems with sampled-data switching
Automatica (Journal of IFAC)
Mathematical and Computer Modelling: An International Journal
Hi-index | 0.00 |
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. Then, we introduce transition systems as semantics of the controlled hybrid systems and consider a control specification given by a predicate. First, we derive a necessary and sufficient condition for the predicate to be control-invariant. Next, we show that there always exists the supremal control-invariant subpredicate for any predicate. Finally, we propose a procedure to compute it and obtain a sampled-data event controller which satisfies it.