Partial-Order Reduction for Supervisory Controller Synthesis.
Bram van der SandenMarc GeilenMichel A. ReniersTwan BastenPublished in: IEEE Trans. Autom. Control. (2022)
Keyphrases
- controller synthesis
- partial order reduction
- control system
- model checking
- petri net
- autonomic computing systems
- closed loop
- control algorithm
- control strategy
- fuzzy logic
- process control
- control method
- control scheme
- real time
- multi agent
- fuzzy controller
- control strategies
- fuzzy control
- control law
- controller design
- pid controller
- evolutionary algorithm
- reinforcement learning