Note: This content is accessible to all versions of every browser. However, this browser does not seem to support current Web standards, preventing the display of our site's design details.


Formal verification and synthesis of piecewise affine systems with applications to synthetic gene networks

Discrete-time piecewise affine systems (PWA) are 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.

Type of Seminar:
Lecture Series on Directions in Systems and Control
Prof. Calin Belta
Department of Mechanical Engineering, University of Boston
Nov 08, 2011   17:15

LFO G 25, Schmelzbergstrasse 9
Contact Person:

John Lygeros
File Download:

Request a copy of this publication.
Biographical Sketch:
Calin Belta received B.S. and M.Sc. degrees in Control and Computer Science from the Technical University of Iasi, an M.Sc. in Electrical Engineering from Louisiana State University, and M.Sc. and Ph.D. in Mechanical Engineering from the University of Pennsylvania. He is currently an Associate Professor at Boston University. His research interests include analysis and control of hybrid systems, motion planning and control, and bio-molecular networks. Calin Belta is a member of the IEEE and an Associate Editor for the SIAM Journal on Control and Optimization (SICON). He received the AFOSR Young Investigator Award in 2008 and the NSF CAREER Award in 2005.