Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP

CCA, pp. 1024-1029, 2016.

Cited by: 3|Bibtex|Views17|Links
EI

Abstract:

Hybrid systems have both continuous and discrete dynamics and are useful for modeling a variety of control systems, from air traffic control protocols to robotic maneuvers and beyond. Recently, numerous powerful and scalable tools for analyzing hybrid systems have emerged. Several of these tools implement automated formal methods for math...More

Code:

Data:

Your rating :
0

 

Tags
Comments