PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems.
Alex DevonportMahmoud KhaledMurat ArcakMajid ZamaniPublished in: CAV (1) (2020)
Keyphrases
- nonlinear systems
- reachability analysis
- high dimensional
- model checking
- markov decision processes
- tracking control
- adaptive control
- timed automata
- fuzzy model
- fuzzy control
- learning rate
- lyapunov function
- incremental algorithms
- control law
- fuzzy systems
- fuzzy controller
- adaptive neural control
- state space
- dynamical systems
- input output
- optimal policy
- expert systems
- dead zone
- real time