|
Volumn 1, Issue , 1999, Pages 134-138
|
Framework for control, fault detection, state estimation, and verification of hybrid systems
a a a |
Author keywords
[No Author keywords available]
|
Indexed keywords
MIXED LOGICAL DYNAMIC (MLD) SYSTEMS;
MIXED-INTEGER LINEAR INEQUALITY;
CONSTRAINT THEORY;
DISCRETE TIME CONTROL SYSTEMS;
INTEGER PROGRAMMING;
LINEAR PROGRAMMING;
MATHEMATICAL MODELS;
OPTIMAL CONTROL SYSTEMS;
STATE ESTIMATION;
THEOREM PROVING;
CONTROL SYSTEM ANALYSIS;
|
EID: 0033285001
PISSN: 07431619
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
Times cited : (27)
|
References (17)
|