Data-Driven Reachability Analysis of Lipschitz Nonlinear Systems via Support Vector Data Description.
Zheming WangBo ChenRaphaël M. JungersLi YuPublished in: CDC (2023)
Keyphrases
- nonlinear systems
- reachability analysis
- support vector data description
- novelty detection
- markov decision processes
- model checking
- detection method
- adaptive control
- timed automata
- kernel function
- fuzzy model
- fuzzy control
- control law
- density estimation
- state space
- incremental algorithms
- multiple classifiers
- learning rate
- target class
- fuzzy systems
- fuzzy controller
- support vectors
- input output
- motion planning
- expert systems
- control algorithm
- neural network
- closed loop
- dynamic programming
- high dimensional
- decision trees
- artificial intelligence
- learning algorithm