Technical Paper
Finite State-Machine Verification Applied to Hybrid Systems
2012-10-02
2012-36-0429
Hybrid systems are characterized by a composition of discrete and continuous dynamics. In particular, the system has a continuous evolution and occasional jumps. The jumps are caused either by controllable, uncontrollable external events or by its continuous evolution. Inevitably, this type of system is present in mobility devices such as cars, ships, and aircrafts. Efforts to develop this type of system have increasingly suffered from cost and schedule overruns. In fact, the verification of such systems has become a key activity in the development life cycle. Historically, such activity demands experts and high efforts, and uses ad-hoc methods. Therefore, the aim of this work is to apply finite state-machine verification to hybrid systems.
