Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems.
Tichakorn WongpiromsarnUfuk TopcuAndrew G. LamperskiPublished in: CoRR (2014)
Keyphrases
- nonlinear systems
- temporal logic
- automata theory
- model checking
- verification method
- concurrent systems
- model checker
- graph theory
- learning theory
- fuzzy model
- formal verification
- bounded model checking
- adaptive control
- fuzzy control
- fuzzy systems
- student learning
- control law
- adaptive neural control
- learning rate
- fuzzy controller
- computer science
- formal specification
- linear temporal logic
- belief revision
- formal methods
- input output
- epistemic logic
- reinforcement learning
- real time
- learning objectives
- fuzzy rules
- college level
- petri net