A formal approach for the specification, verification and control of flexible manufacturing systems.
Sajeh ZairiBelhassen ZouariLaurent PiétracPublished in: ETFA (2007)
Keyphrases
- flexible manufacturing systems
- manufacturing systems
- formal methods
- real time control
- dynamic scheduling
- formal specification
- model checking
- formal verification
- control system
- reactive systems
- specification languages
- control method
- formal analysis
- protocol specification
- neural network
- requirements specification
- operational semantics
- cooperative
- high level
- artificial intelligence