A Logical Approach to Specification of Hybrid Systems
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Information and Computation
Hybrid systems: from verification to falsification by combining motion planning and discrete search
Formal Methods in System Design
On reachability and minimum cost optimal control
Automatica (Journal of IFAC)
Hi-index | 0.00 |