Synthesis of supervisors for discrete event systems allowing concurrent behavior

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics

Volumn 5, Issue , 1999, Pages

  Hiraishi, Kunihiko ^a  

^a JAPAN ADVANCED INSTITUTE OF SCIENCE AND TECHNOLOGY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; CONCURRENT ENGINEERING; CONTROL SYSTEM SYNTHESIS; LEARNING ALGORITHMS; SET THEORY;

AUTOMATA MODEL; CONCURRENT SYSTEM; DISCRETE EVENT SYSTEMS; EQUIVALENCE QUERY; MEMBERSHIP QUERY; REGULAR LANGUAGES;

SCADA SYSTEMS;

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

References (7)