Quantitative Model Checking for a Controller Design.
YoungMin KwonEunhee KimPublished in: SPIN (2018)
Keyphrases
- model checking
- controller design
- temporal logic
- nonlinear systems
- control system
- control scheme
- model checker
- formal specification
- temporal properties
- symbolic model checking
- formal verification
- automated verification
- dynamic model
- verification method
- control strategies
- computation tree logic
- transition systems
- timed automata
- formal methods
- control strategy
- bounded model checking
- fuzzy control
- computer simulation
- linear temporal logic
- machine learning
- neural network
- closed loop
- np complete
- computational intelligence
- dynamic programming
- genetic algorithm
- deterministic finite automaton