A hierarchical design methodology for implementing safety-critical constrained controllers with guaranteed stability and failure detection.
Michal KvasnicaRavi GondhalekarMiroslav FikarPublished in: CDC (2012)
Keyphrases
- design methodology
- failure detection
- safety critical
- formal methods
- fault detection
- embedded systems
- formal specification
- fault tolerant
- design process
- agent architecture
- support systems
- object oriented
- fuzzy neural network
- real time
- adaptive systems
- machine learning
- intelligent systems
- control system
- decision making
- databases
- computational intelligence
- highly reliable