Discovering Closed-Loop Failures of Vision-Based Controllers via Reachability Analysis.
Kaustav ChakrabortySomil BansalPublished in: CoRR (2022)
Keyphrases
- closed loop
- reachability analysis
- control system
- control law
- open loop
- control loop
- markov decision processes
- model checking
- control scheme
- controller synthesis
- trajectory tracking
- feedback control
- real time
- timed automata
- nonlinear systems
- control algorithm
- parameter identification
- controller design
- fuzzy logic
- vision system
- incremental algorithms
- control method
- force control
- asymptotic stability
- feedback controller
- adaptive control
- pid controller
- state space
- inverted pendulum
- linear quadratic
- fuzzy control
- control strategy
- variable structure
- machine learning
- guaranteed cost
- intelligent control
- neural network controller
- sliding mode
- tracking error
- control strategies
- reinforcement learning
- neural network