Reachability Analysis of Nonlinear Systems Using Conservative Approximation .
Eugene AsarinThao DangAntoine GirardPublished in: HSCC (2003)
Keyphrases
- nonlinear systems
- reachability analysis
- stability analysis
- model checking
- tracking control
- adaptive control
- markov decision processes
- fuzzy control
- fuzzy model
- adaptive neural control
- control law
- learning rate
- fuzzy systems
- state space
- timed automata
- incremental algorithms
- closed loop
- artificial intelligence
- fuzzy controller
- fuzzy clustering
- experimental data
- input output
- intelligent systems
- pattern recognition
- dead zone
- objective function