Inria
Inria.fr
Inria Channel
Séminaire : CONTRAINTES
Formal verification and control of piecewise affine systems with applications to gene networks
Entrée libre.
Horaire : 10 h
- Date : 10/10/2011
- Lieu : Inria Rocquencourt, Bâtiment 16
- Intervenants : Calin BELTA - Université de Boston, profesor.
- Organisateurs : CONTRAINTES
Discrete-time piecewise affine systems (PWA) are a particular class of hybrid systems that evolve along different affine dynamics in different polyhedral regions of the continuous state space. Such models are very popular because they can approximate nonlinear systems with arbitrary accuracy and because of the existence of algorithms for the identification of such systems from experimental data. In this talk, I will show how the particular structure of PWA systems can be exploited to develop computationally efficient algorithms for their verification and for synthesis of parameters and control strategies. I will show how such tools can be used for analysis and synthesis of synthetic gene
networks.
Mots-clés : Séminaire Paris - Rocquencourt CONTRAINTES
