Deadlock prevention in flexible manufacturing systems using symbolic model checking

Proceedings - IEEE International Conference on Robotics and Automation

Volumn 1, Issue , 1996, Pages 527-532

  Hartonas Garmhausen, V ^a   Clarke, E M ^a   Campos, Sergio ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; DECISION THEORY; ERROR CORRECTION; FINITE AUTOMATA; GRAPH THEORY;

DEADLOCK PREVENTION; STATE MACHINE MODEL; SYMBOLIC MODEL CHECKING;

FLEXIBLE MANUFACTURING SYSTEMS;

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

References (11)