Comparing Timed and Hybrid Automata as Approximations of Continuous Systems

A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem

Hybrid Systems V

Reachability Analysis of a Class of Switched Continuous Systems by Integrating Rectangular Approximation and Rectangular Analysis

HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control

Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods

HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control

Series of Abstractions for Hybrid Automata

HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control

Safety verification of hybrid systems by constraint propagation-based abstraction refinement

ACM Transactions on Embedded Computing Systems (TECS)

Improving SAT modulo ODE for hybrid systems analysis by combining different enclosure methods

SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods

Safety verification of hybrid systems by constraint propagation based abstraction refinement

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

Constraints for continuous reachability in the verification of hybrid systems

AISC'06 Proceedings of the 8th international conference on Artificial Intelligence and Symbolic Computation

Automated machine-checked hybrid system safety proofs

ITP'10 Proceedings of the First international conference on Interactive Theorem Proving

Verification of logic controllers for continuous plants using timed condition/event-system models

Automatica (Journal of IFAC)