Modular verification of a fault-tolerant active structure controller: an example

Proceedings of the IEEE International Symposium on Computer-Aided Control System Design

Volumn , Issue , 1999, Pages 103-108

  Wong Toi, Howard ^a  

^a LAWRENCE BERKELEY NATIONAL LABORATORY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ACTUATORS; ALGORITHMS; CLOSED LOOP CONTROL SYSTEMS; COMPUTER CONTROL SYSTEMS; FAULT TOLERANT COMPUTER SYSTEMS; OPTIMIZATION; SENSORS; VIBRATION CONTROL;

ABSTRACTIONS; FAULT TOLERANT ACTIVE STRUCTURE CONTROLLER; HYBRID SYSTEM; MODEL TRACKING; MODULAR VERIFICATION;

CONTROL SYSTEM SYNTHESIS;

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

References (17)