Showing 2024Show all
2 papers · 1 filter
math.OC2024
Underapproximating Safe Domains of Attraction for Discrete-Time Systems Using Implicit Representations of Backward Reachable Sets
Mohamed Serry, Jun Liu
Analyzing and certifying stability and attractivity of nonlinear systems is a topic of research interest that has been extensively investigated by control theorists and engineers f…
eess.SY2024
Reach-Avoid Control Synthesis for a Quadrotor UAV with Formal Safety Guarantees
Mohamed Serry, Haocheng Chang, Jun Liu
Reach-avoid specifications are one of the most common tasks in autonomous aerial vehicle (UAV) applications. Despite the intensive research and development associated with control…