Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software.
Aditya ZutshiSriram SankaranarayananJyotirmoy V. DeshmukhXiaoqing JinPublished in: HSCC (2016)
Keyphrases
- closed loop
- control software
- reachability analysis
- control system
- open loop
- markov decision processes
- model checking
- control scheme
- feedback control
- control law
- timed automata
- fuzzy logic
- parameter identification
- asymptotic stability
- real time
- incremental algorithms
- pid controller
- state space
- fuzzy control
- control algorithm
- control strategy
- force control
- feedback controller
- disturbance rejection
- guaranteed cost
- controller design
- fuzzy controller
- trajectory tracking
- bi directional
- reinforcement learning
- decision making
- external disturbances
- machine learning
- neural network