Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Ren, Dejin"'
Inner-approximate reachability analysis involves calculating subsets of reachable sets, known as inner-approximations. This analysis is crucial in the fields of dynamic systems analysis and control theory as it provides a reliable estimation of the s
Externí odkaz:
http://arxiv.org/abs/2405.11155
Digital control has become increasingly prevalent in modern systems, making continuous-time plants controlled by discrete-time (digital) controllers ubiquitous and crucial across industries, including aerospace, automotive, and manufacturing. This pa
Externí odkaz:
http://arxiv.org/abs/2310.04961
Neural networks (NNs) are increasingly applied in safety-critical systems such as autonomous vehicles. However, they are fragile and are often ill-behaved. Consequently, their behaviors should undergo rigorous guarantees before deployment in practice
Externí odkaz:
http://arxiv.org/abs/2306.15403
In this paper we investigate the optimal controller synthesis problem, so that the system under the controller can reach a specified target set while satisfying given constraints. Existing model predictive control (MPC) methods learn from a set of di
Externí odkaz:
http://arxiv.org/abs/2305.08712
Neural networks (NNs) are increasingly applied in safety-critical systems such as autonomous vehicles. However, they are fragile and are often ill-behaved. Consequently, their behaviors should undergo rigorous guarantees before deployment in practice
Externí odkaz:
http://arxiv.org/abs/2210.04175
Publikováno v:
In Science of Computer Programming September 2024 236
