PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems.
Alex DevonportMahmoud KhaledMurat ArcakMajid ZamaniPublished in: CoRR (2020)
Keyphrases
- nonlinear systems
- reachability analysis
- high dimensional
- markov decision processes
- model checking
- tracking control
- fuzzy model
- adaptive control
- fuzzy controller
- control law
- learning rate
- timed automata
- fuzzy systems
- fuzzy control
- lyapunov function
- incremental algorithms
- adaptive neural control
- state space
- neural network
- control system
- motion planning
- decision making
- data mining