Verimag

Technical Reports

Stefano Minopoli and Goran Frehse
Non-Convex Invariants and Urgency Conditions on Linear Hybrid Automata (2014)

TR-2014-4.pdf


Keywords: hybrid systems, verification, formal methods, hybrid automata

Abstract:

Contact | Site Map | Site powered by SPIP 3.0.25 + AHUNTSIC [CC License]

info visites 777787