Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems.
Tichakorn WongpiromsarnUfuk TopcuAndrew G. LamperskiPublished in: IEEE Trans. Autom. Control. (2016)
Keyphrases
- nonlinear systems
- temporal logic
- automata theory
- model checking
- verification method
- concurrent systems
- model checker
- graph theory
- learning theory
- bounded model checking
- formal verification
- adaptive control
- control law
- learning rate
- student learning
- fuzzy model
- fuzzy systems
- fuzzy control
- fuzzy controller
- formal specification
- computer science
- adaptive neural control
- linear temporal logic
- formal methods
- epistemic logic
- control system
- belief revision
- college level
- closed loop
- evolutionary computation
- simulated annealing
- expert systems