Verification of Hybrid Systems Using Abstractions

Q2 Symbolic Reasoning about Noisy Dynamic Systems

Journal of Intelligent and Robotic Systems

Co-simulation of Hybrid Systems: Signal-Simulink

FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems

Design, Simulation, and Implementation of Hybrid Systems

Proceedings of the 20th International Conference on Application and Theory of Petri Nets

Compact Data Structures and State-Space Reduction for Model-Checking Real-Time Systems

Real-Time Systems

Reachability analysis of nonlinear systems using conservative approximation

HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control

Partial order reductions for model checking temporal epistemic logics over interleaved multi-agent systems

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1

Composing reachability analyses of hybrid systems for safety and stability

ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis

Rigorous discretization of hybrid systems using process calculi

FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems

Operational semantics of hybrid systems

HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control

Controllers for reachability specifications for hybrid systems

Automatica (Journal of IFAC)

Decidable hybrid systems

Mathematical and Computer Modelling: An International Journal