Reachability Analysis of Nonlinear Systems Using Hybrid Zonotopes and Functional Decomposition.
Jacob A. SiefertTrevor J. BirdJustin P. KoelnNeera JainHerschel C. PangbornPublished in: CoRR (2023)
Keyphrases
- nonlinear systems
- reachability analysis
- functional decomposition
- adaptive control
- model checking
- markov decision processes
- tracking control
- fuzzy systems
- learning rate
- fuzzy model
- control law
- fuzzy control
- timed automata
- logic circuits
- adaptive neural control
- incremental algorithms
- fuzzy controller
- digital circuits
- boolean functions
- control method
- finite state machines
- convergence rate
- input output
- reinforcement learning
- real time