Showing eess.SYShow all
3 papers · 1 filter
eess.SY2026
Set-Based Value Function Characterization and Neural Approximation of Stabilization Domains for Input-Constrained Discrete-Time Systems
Mohamed Serry, S. Sivaranjani, Jun Liu
Analyzing nonlinear systems with stabilizable controlled invariant sets (CISs) requires accurate estimation of their domains of stabilization (DOS) together with associated stabili…
eess.SY2025
Learning Neural Network Safe Tracking Controllers from Backward Reachable Sets
Yuezhu Xu, Mohamed Serry, Jun Liu +1
The design of tracking controllers that closely follow a reference trajectory while ensuring safety and robustness against disturbances is a challenging problem in the control of a…
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…