6 papers
On the Computation and Approximation of Backward Reachable Sets for Max-Plus Linear Systems using Polyhedras
Yuda Li, Shaoyuan Li, Xiang Yin
This paper investigates reachability analysis for max-plus linear systems (MPLS), an important class of dynamical systems that model synchronization and delay phenomena in timed di…
Stability Verification for Switched Systems using Neural Multiple Lyapunov Functions
Junyue Huang, Shaoyuan Li, Xiang Yin
Stability analysis of switched systems, characterized by multiple operational modes and switching signals, is challenging due to their nonlinear dynamics. While frameworks such as…
Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis
Yu Chen, Shaoyuan Li, Xiang Yin
We investigate the control synthesis problem for continuous-time time-varying nonlinear systems with disturbance under a class of multiple reach-avoid (MRA) tasks. Specifically, th…
Model Predictive Online Monitoring of Dynamical Systems for Nested Signal Temporal Logic Specifications
Tao Han, Shaoyuan Li, Xiang Yin
This paper investigates the online monitoring problem for cyber-physical systems under signal temporal logic (STL) specifications. The objective is to design an online monitor that…
Online Synthesis of Control Barrier Functions with Local Occupancy Grid Maps for Safe Navigation in Unknown Environments
Yuepeng Zhang, Yu Chen, Yuda Li +2
Control Barrier Functions (CBFs) have emerged as an effective and non-invasive safety filter for ensuring the safety of autonomous systems in dynamic environments with formal guara…
Distributionally Robust Control Synthesis for Stochastic Systems with Safety and Reach-Avoid Specifications
Yu Chen, Yuda Li, Shaoyuan Li +1
We investigate the problem of synthesizing distributionally robust control policies for stochastic systems under safety and reach-avoid specifications. Using a game-theoretical fra…