On the analysis of safety specifications using LTL for a class of discrete event controllers applied to manufacturing systems.
Arturo SanchezJavier MolinaPublished in: ICCA (2011)
Keyphrases
- manufacturing systems
- discrete event
- dynamic systems
- simulation model
- complex systems
- data acquisition
- transition systems
- flexible manufacturing systems
- mathematical modeling
- temporal logic
- real time
- model checking
- monitoring system
- data integration
- control system
- data analysis
- reinforcement learning
- information systems