Computing exact automaton representations for a class of hybrid systems

Proceedings of the IEEE Conference on Decision and Control

Volumn 1, Issue , 1996, Pages

  Niinomi, Toshihiko ^a   Krogh, Bruce H ^a   Cury, Jose E R ^a  

^a MITSUBISHI HEAVY INDUSTRIES LTD   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; APPROXIMATION THEORY; CALCULATIONS; COMPUTATIONAL METHODS; CONTROL SYSTEM SYNTHESIS; DYNAMICS; FINITE AUTOMATA; FORMAL LANGUAGES; SIGNAL PROCESSING; SYNCHRONIZATION; THEOREM PROVING; VECTORS;

DISCRETE EVENT SYSTEM; HYBRID SYSTEMS; SUPERVISORY CONTROL;

DISCRETE TIME CONTROL SYSTEMS;

EID: 0030411268     PISSN: 01912216     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Review

References (8)