Fault Diagnosis for Timed Automata
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
As Soon as Possible: Time Optimal Control for Timed Automata
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
Computing Controllers for Nonlinear Hybrid Systems
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
Maximal Safe Set Computation for Idle Speed Control of an Automotive Engine
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Level Set Methods for Computation in Hybrid Systems
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Invariant Sets and Control Synthesis for Switching Systems with Safety Specifications
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Checking Safe Trajectories of Aircraft Using Hybrid Automata
SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
Automatica (Journal of IFAC)
Supervisory control for real-time systems based on conflict-tolerant controllers
CASE'09 Proceedings of the fifth annual IEEE international conference on Automation science and engineering
Controllers for reachability specifications for hybrid systems
Automatica (Journal of IFAC)
| Hi-index | 0.01 |