Using bisimulation to solve discrete event control problems

Proceedings of the American Control Conference

Volumn 4, Issue , 1997, Pages 2337-2341

  Barrett, George ^a   Lafortune, Stephane ^a  

^a UNIVERSITY OF MICHIGAN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROLLABILITY; FINITE AUTOMATA; FORMAL LANGUAGES; MATHEMATICAL MODELS; PROBLEM SOLVING; SCADA SYSTEMS;

BISIMULATION; FINITE STATE MACHINES;

DISCRETE TIME CONTROL SYSTEMS;

EID: 0030719283     PISSN: 07431619     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/acc.1997.609068     Document Type: Conference Paper

References (17)