Formal Non-Fragile Stability Verification of Digital Control Systems with Uncertainty.
Iury BessaHussama IsmailReinaldo M. PalharesLucas C. CordeiroJoao Edgar Chaves FilhoPublished in: IEEE Trans. Computers (2017)
Keyphrases
- control system
- formal methods
- formal analysis
- inherent uncertainty
- stability margin
- stability analysis
- decision theory
- control law
- uncertain data
- conditional probabilities
- digital media
- model checking
- image processing
- artificial intelligence
- formal verification
- formal model
- real time
- formal language
- fingerprint verification
- neural network
- fault detection and isolation
- data sets