|
Goran FrehseAssistant Professor Verimag
|
Research Interests
Compositional verification of hybrid automata
Modeling and verification of hybrid systems using simulation relations
Verification of analog and mixed-signal circuits
Optimal control of hybrid systems
PHAVer
- A tool for the algorithmic verification of hybrid systems
Teaching
Hybrid Systems and Verification Conferences 2005-2006
Verification Tools for Hybrid Systems
Hybrid Systems Tools Wiki
This great collection of hybrid system tools by George Pappas has rendered my own list obsolete.
Other Software
Parma
Polyhedra Library
A library for exact computations with
non-convex polyhedra, written in C++, with interfaces to other
languages.
Miscellaneous
A rainbow spanning Grenoble
A panorama of Grenoble at night
A panorama of Hamerschlag Hall at CMU
Last Update: September 2008