Feb 15, 2011: Marco Faella: Revisiting Controller Synthesis for Linear Hybrid Automata

February 15, 2011Revisiting Controller Synthesis for Linear Hybrid Automata
Room: Zi 5126Marco Faella
12:30-13:30

Hybrid systems are an established formalism for modelling physical systems which interact with a digital controller. The talk will present an ongoing investigation into the problem of automatically generating a controller that constrains a given hybrid system into a designated "safe" region of its state-space. A prototype tool, based on the pre-existing tool Phaver, will also be introduced.