Deadlock prevention in flexible manufacturing systems using symbolic model checking.
Vasiliki Hartonas-GarmhausenEdmund M. ClarkeS. CamposPublished in: ICRA (1996)
Keyphrases
- flexible manufacturing systems
- symbolic model checking
- model checking
- manufacturing systems
- partial observability
- real time control
- formal verification
- conformant planning
- symbolic representation
- temporal logic
- binary decision diagrams
- model checker
- formal specification
- formal methods
- search algorithm
- planning domains
- partially observable
- dynamic environments