Safety control of discrete event systems using finite state machines with parameters

Proceedings of the American Control Conference

Volumn 2, Issue , 2001, Pages 975-980

  Chen, Y L ^a   Lin, F ^a  

^a ROCKWELL SCIENCE CENTER   (United States)

Author keywords

Control synthesis; Discrete event systems; Finite state machines; Supervisory control

Indexed keywords

ALGORITHMS; DISCRETE TIME CONTROL SYSTEMS; FINITE AUTOMATA; ON-OFF CONTROL SYSTEMS; PARAMETER ESTIMATION; SCADA SYSTEMS; SET THEORY; STATE ESTIMATION;

DISCRETE EVENT SYSTEMS; SAFETY CONTROL;

CONTROL SYSTEM SYNTHESIS;

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

References (10)

1. Variable lookahead supervisory control with state information
2. Modeling of discrete event systems using finite state machines with parameters
3. Safety control of discrete event systems using finite state machines with parameters
4. Automatic generation of functional vectors using the extended finite state machine model
5. Limited lookahead policies in supervisory control of discrete event systems
6. A generalized framework for supervisory control of discrete event systems
7. On observability of discrete event systems
8. Supervisory control of a class of discrete event processes