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.


Verification of Hybrid Systems Using Mathematical Programming.


We show how the MLD modeling framework and a reachability analysis algorithm can be successfully used to verify hybrid systems. MLD models describe hybrid systems where discrete-time linear dynamic equations, logic rules, and automata interact.

The reachability analysis algorithm is based on linear and mixed-integer linear programming. After reviewing MLD models and the algorithm, we present two case studies: Verification of the batch evaporator benchmark process and the stability characterization of a Piecewise affine system in order to illustrate the versatility of the analysis tool.

Type of Seminar:
Ph.D. Seminar
Ing. Fabio Torrisi
Automatic Control Lab Dept. of Electrical Engineering Physikstrasse 3 CH-8092 Zürich
Feb 21, 2000   17:15

Contact Person:

Fabio Torrisi
No downloadable files available.
Biographical Sketch:
Fabio Torrisi got his M.S. in Computer Science Engineering at University of Florence in April 1999. He is currently research assistant at the Automatic Control Laboratory since June 1999.