5 papers · 1 filter
Efficient Verification and Falsification of ReLU Neural Barrier Certificates
Dejin Ren, Yiling Xue, Taoran Wu +1
Barrier certificates play an important role in verifying the safety of continuous-time systems, including autonomous driving, robotic manipulators and other critical applications.…
Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization
Taoran Wu, Yiling Xue, Dejin Ren +3
This paper addresses the computation of controlled reach-avoid sets (CRASs) for discrete-time polynomial systems subject to control inputs. A CRAS is a set encompassing initial sta…
Convex Computations for Controlled Safety Invariant Sets of Black-box Discrete-time Dynamical Systems
Taoran Wu, Yiling Xue, Jingduo Pan +3
Identifying controlled safety invariant sets (CSISs) is essential for safety-critical systems. This paper addresses the problem of computing CSISs for black-box discrete-time syste…
Inner-approximate Reachability Computation via Zonotopic Boundary Analysis
Dejin Ren, Zhen Liang, Chenyu Wu +3
Inner-approximate reachability analysis involves calculating subsets of reachable sets, known as inner-approximations. This analysis is crucial in the fields of dynamic systems ana…
Reach-avoid Analysis for Sampled-data Systems with Measurement Uncertainties
Taoran Wu, Dejin Ren, Shuyuan Zhang +2
Digital control has become increasingly prevalent in modern systems, making continuous-time plants controlled by discrete-time (digital) controllers ubiquitous and crucial across i…