Model Checking of a Flapping-Wing Mirco-Air-Vehicle Trajectory Tracking Controller Subject to Disturbances.
James GoppertJohn C. GallagherInseok HwangEric T. MatsonPublished in: RiTA (2013)
Keyphrases
- model checking
- trajectory tracking
- desired trajectory
- closed loop
- control system
- bi directional
- dynamic model
- control method
- control law
- iterative learning
- neural network controller
- physical constraints
- temporal logic
- iterative learning control
- sliding mode
- visual servoing
- formal verification
- automated verification
- formal specification
- temporal properties
- model checker
- control scheme
- verification method
- finite state
- real time
- control algorithm
- computation tree logic
- formal methods
- power system
- control strategy
- bounded model checking
- symbolic model checking
- transition systems
- epistemic logic
- variable structure
- stability analysis
- feedback control
- adaptive control
- pid controller
- nonlinear systems
- modal logic
- experimental data
- alternating time temporal logic
- neural network structure
- tracking error
- robot control