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.


Computable analysis and control synthesis over complex dynamical systems via formal verification

This talk looks at the development of abstraction techniques based on quantitative approximations to investigate the dynamics of complex systems and to provide computable approaches for the synthesis of control architectures. The approach brings techniques and concepts from the formal verification area in use with models developed in the field of systems and control. The talk zooms in on two different classes of models to elucidate this approach: the first class deals with stochastic hybrid systems, a class of probabilistic models with heterogeneous dynamics, whereas the second focuses on max-plus linear models, which are discrete-event systems employed in applications dealing with scheduling and synchronization. Case studies are employed to clarify the approach and the concepts.

Type of Seminar:
IfA Seminar
Prof. Alessandro Abate
Delft Center for Systems and Control, Delft University of Technology, Netherlands
Apr 04, 2013   14:15

ETZ E 6, Gloriastr. 35
Contact Person:

John Lygeros
File Download:

Request a copy of this publication.
Biographical Sketch:
Alessandro Abate is an Assistant Professor at the Delft Center for Systems and Control, TU Delft (The Netherlands), since 2009, and holds a University Lecturer position at the Department of Computer Science, University of Oxford (UK). He received a Laurea in Electrical Engineering in October 2002 from the University of Padova (Italy), an MS in May 2004 and a PhD in December 2007, both in Electrical Engineering and Computer Sciences, at UC Berkeley. He has been an International Fellow in the Computer Sciences Lab at SRI International in Menlo Park (CA), and a PostDoctoral Researcher at Stanford University (2008-2009), in the Department of Aeronautics and Astronautics. His research interests are in the analysis, verification, and control of complex (probabilistic, hybrid) systems, and in their general application over a number of domains, particularly in systems biology.