4 papers · 1 filter
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…
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…
Safe Domains of Attraction for Discrete-Time Nonlinear Systems: Characterization and Verifiable Neural Network Estimation
Mohamed Serry, Haoyu Li, Ruikun Zhou +2
Analysis of nonlinear autonomous systems typically involves estimating domains of attraction, which have been a topic of extensive research interest for decades. Despite that, accu…
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…