Ellipsotopes: Uniting Ellipsoids and Zonotopes for Reachability Analysis and Fault Detection.
Shreyas KousikAdam DaiGrace Xingxin GaoPublished in: IEEE Trans. Autom. Control. (2023)
Keyphrases
- fault detection
- reachability analysis
- model checking
- markov decision processes
- fault diagnosis
- industrial processes
- timed automata
- fault identification
- tennessee eastman
- incremental algorithms
- finite number
- condition monitoring
- fault detection and diagnosis
- state space
- failure detection
- fuel cell
- fault localization
- fault detection and isolation
- power plant
- optimal policy
- real time
- robust fault detection
- dynamic programming
- expert systems