Extending Supervisory Controller Synthesis to Deterministic Pushdown Automata - Enforcing Controllability Least Restrictively.
Anne-Kathrin SchmuckSven SchneiderJörg RaischUwe NestmannPublished in: WODES (2014)
Keyphrases
- controller synthesis
- control system
- autonomic computing systems
- finite state automaton
- closed loop
- turing machine
- control algorithm
- process control
- fuzzy logic
- control scheme
- multi agent
- regular expressions
- finite state
- real time
- partial observability
- neural network
- model checking
- control strategy
- pid controller
- controller design
- evolutionary algorithm
- autonomic systems
- genetic algorithm