Using theorem provers to guarantee closed-loop system properties.
Nikos AréchigaSarah M. LoosAndré PlatzerBruce H. KroghPublished in: ACC (2012)
Keyphrases
- closed loop
- theorem prover
- open loop
- control system
- feedback control
- control law
- control scheme
- parameter identification
- theorem proving
- automated theorem proving
- computer algebra
- automated reasoning
- first order logic
- inference rules
- disturbance rejection
- asymptotic stability
- pid controller
- force control
- trajectory tracking
- proof search
- feedback controller
- guaranteed cost
- real time
- reference trajectory
- tracking error
- adaptive fuzzy
- optimal control
- artificial intelligence