Controller design for an FMS using Signal Interpreted Petri Nets and SFC: Validation of both descriptions via model-checking.
Stéphane KleinXiying WengGeorg FreyJean-Jacques LesageLothar LitzPublished in: ACC (2002)
Keyphrases
- petri net
- controller design
- partial order reduction
- model checking
- nonlinear systems
- control system
- temporal logic
- control scheme
- reactive systems
- manufacturing systems
- concurrent systems
- colored petri nets
- process algebra
- control strategies
- dynamic model
- computer simulation
- model checker
- finite state machines
- formal verification
- adaptive control
- artificial intelligence
- epistemic logic
- service composition
- control strategy
- formal methods
- formal specification
- expert systems
- reinforcement learning
- decision making
- machine learning
- verification method
- evolutionary algorithm
- input output
- process model