Timed-MPSG: A Formal Model for Real-Time Shop Floor Controller.
Devinder ThapaJaeil ParkGi-Nam WangDongmin ShinPublished in: CIMCA/IAWTIC (2006)
Keyphrases
- formal model
- shop floor
- real time
- control architecture
- manufacturing systems
- control system
- petri net
- material handling
- robotic systems
- supply chain management
- dynamically changing
- decision making
- security properties
- discrete event
- sufficient conditions
- computer aided design
- production planning
- lower bound
- security patterns