Formal verification of hybrid systems using CheckMate: a case study

Proceedings of the American Control Conference

Volumn 3, Issue , 2000, Pages 1679-1683

  Silva, B Izaias ^a   Krogh, Bruce H ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; AUTOMATA THEORY; COMPUTER SIMULATION; DISCRETE TIME CONTROL SYSTEMS; GRAPHICAL USER INTERFACES; MATHEMATICAL MODELS; STATE SPACE METHODS;

HYBRID SYSTEM DYNAMICS; POLYHEDRAL INVARIANT HYBRID AUTOMATON;

CONTROL SYSTEM ANALYSIS;

EID: 0034540185     PISSN: 07431619     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)