Synthesis and Viability of Minimally Interventive LegalControllers for Hybrid Systems
Discrete Event Dynamic Systems
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Hierarchical Approach for Design of Multi-vehicle Multi-modal Embedded Software
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Controlled Invariance of Discrete Time Systems
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Controllers for reachability specifications for hybrid systems
Automatica (Journal of IFAC)
| Hi-index | 0.00 |