Discrete Supervisory Control of Hybrid Systems Based on l-Complete Approximations
Discrete Event Dynamic Systems
Diagnosis of Quantised Systems by Means of Timed Discrete-Event Representations
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Abstractions for hybrid systems
Formal Methods in System Design
Fault Diagnosis of Discretely Controlled Continuous Systems by Means of Discrete-Event Models
Discrete Event Dynamic Systems
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Brief Paper: On the Markov Property of Quantised State Measuirement Sequences
Automatica (Journal of IFAC)
Hi-index | 0.01 |