2 papers
eess.SY2026
On the Computation of Backward Reachable Sets for Max-Plus Linear Systems with Disturbances
Yuda Li, Xiang Yin
This paper investigates one-step backward reachability for uncertain max-plus linear systems with additive disturbances. Given a target set, the problem is to compute the set of st…
eess.SY2024
Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges
Xiang Yin, Bingzhao Gao, Xiao Yu
In recent years, formal methods have been extensively used in the design of autonomous systems. By employing mathematically rigorous techniques, formal methods can provide fully au…