Hybrid Zonotope-Based Backward Reachability Analysis for Neural Feedback Systems With Nonlinear System Models.
Hang ZhangYuhao ZhangXiangru XuPublished in: CoRR (2023)
Keyphrases
- complex systems
- reachability analysis
- computational models
- hybrid intelligent systems
- biological systems
- bio inspired
- distributed systems
- expert systems
- connectionist models
- markov decision processes
- real time
- embedded systems
- visual information
- spatial information
- transition probabilities
- real time systems
- trading systems
- probabilistic model
- markov chain
- relevance feedback