Semi-formal verification of closed-loop specifications in the concept design phase.
Jan H. RichterStefan R. FriedrichPublished in: Autom. (2017)
Keyphrases
- closed loop
- formal verification
- automated verification
- open loop
- bounded model checking
- model checking
- model checker
- control scheme
- control system
- feedback control
- control law
- parameter identification
- symbolic model checking
- asymptotic stability
- force control
- flight test
- pid controller
- intelligent control
- control loop
- formal specification
- disturbance rejection
- guaranteed cost
- reference trajectory