Automata Extraction And Verification For Hybrid Systems

Aaron Díaz, Santa Clara University

Stevenson Hall 1300
11:00 AM - 11:50 AM

A hybrid system is a continuous dynamic system interacting with a finite control automata. One would like to construct a digital controller to drive the continuous system from its initial state, to some goal state, in an optimal fashion. In addition, one often wishes to verify properties of the controller, for example that any trace of execution of the automata will cause the continuous system to only enter states deemed safe. In this talk we will overview these two topics of control automata extraction and verification.