Semi-infinite programming for global guarantees of robust fault detection and isolation in safety-critical systems.
William T. HaleMatthew WilhelmKyle A. PalmerMatthew D. StuberGeorge M. BollasPublished in: Comput. Chem. Eng. (2019)
Keyphrases
- safety critical
- formal methods
- fault tolerant
- safety analysis
- embedded systems
- distributed systems
- semi infinite programming
- management system
- intelligent systems
- real time
- learning systems
- fault detection and isolation
- support systems
- knowledge based systems
- expert systems
- high level
- machine learning
- control system