Verification of the control system performance using viability theory.
Majid Ghaniee ZarchVicenç PuigJavad PoshtanPublished in: CoDIT (2017)
Keyphrases
- control system
- theoretical framework
- fuzzy logic
- information theory
- asynchronous circuits
- model checking
- control strategy
- formal theory
- dynamic environments
- general theory
- closed loop
- control algorithm
- theoretical basis
- safety analysis
- database
- formal methods
- belief functions
- control method
- computational model
- vision system
- learning algorithm
- databases