Controller Synthesis for Safety Critical Planning.
Andrea OrlandiniMarco SurianoAmedeo CestaAlberto FinziPublished in: ICTAI (2013)
Keyphrases
- controller synthesis
- safety critical
- autonomic computing systems
- control system
- safety analysis
- formal methods
- fault tolerant
- closed loop
- agent architecture
- multi agent
- embedded systems
- control algorithm
- support systems
- regulatory requirements
- planning problems
- real time
- distributed systems
- source code
- computational intelligence