Section: Other Grants and Activities
The Controvert project (2005–2008) brings together control-theory researchers of ONERA/DCSD and the Université Paul Sabatier of Toulouse and computer scientists from the Abstraction project-team. A first objective is to bridge the gap between control-theory-based methods for analyzing properties of models of systems and their controllers (e.g. robustness) by continuous Lagrangian overapproximation of the system trajectories and abstract-interpretation-based methods for analyzing control/command programs (e.g. safety properties) in open loop. A second objective is to use the results of the control-command theoretic analysis of the closed loop to support the program analysis in the context of the controlled system. Patrick Cousot and Radhia Cousot are the principal investigators for this action.