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 via mixed integer and linear programming

Author(s):

M. Morari
Conference/Journal:

American Control Conference, San Diego, USA
Abstract:



Year:

1999
Type of Publication:

(06)Talk
Supervisor:



No Files for download available.
% No recipe for automatically generating a BibTex entry for (06)Talk
Permanent link