Control software model checking using bisimulation functions for nonlinear systems.
James KapinskiAlexandre DonzéFlavio LerdaHitashyam MakaSilke WagnerBruce H. KroghPublished in: CDC (2008)
Keyphrases
- model checking
- nonlinear systems
- control software
- temporal logic
- adaptive control
- automated verification
- formal verification
- fuzzy control
- control law
- fuzzy controller
- model checker
- formal specification
- fuzzy systems
- temporal properties
- learning rate
- fuzzy model
- verification method
- symbolic model checking
- control system
- adaptive neural control
- epistemic logic
- formal methods
- bounded model checking
- computation tree logic
- control algorithm
- transition systems
- artificial intelligence
- control scheme
- multi agent systems
- neural network