Copertina

Safe and Robust Domains of Attraction for Discrete-Time Systems: A Set-Based Characterization and Certifiable Neural Network Estimation

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Serry, Mohamed, Fitzsimmons, Maxwell, Liu, Jun
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Systems and Control Machine Learning Dynamical Systems Optimization and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Set-Based Value Function Characterization and Neural Approximation of Stabilization Domains for Input-Constrained Discrete-Time Systems
di: Serry, Mohamed, et al.
Pubblicazione: (2026)

Underapproximating Safe Domains of Attraction for Discrete-Time Systems Using Implicit Representations of Backward Reachable Sets
di: Serry, Mohamed, et al.
Pubblicazione: (2024)

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions
di: Liu, Jun, et al.
Pubblicazione: (2025)

Reach-Avoid Control Synthesis for a Quadrotor UAV with Formal Safety Guarantees
di: Serry, Mohamed, et al.
Pubblicazione: (2024)

Safe Domains of Attraction for Discrete-Time Nonlinear Systems: Characterization and Verifiable Neural Network Estimation
di: Serry, Mohamed, et al.
Pubblicazione: (2025)

LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction
di: Liu, Jun, et al.
Pubblicazione: (2024)

Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification
di: Liu, Jun, et al.
Pubblicazione: (2023)

Time-Delay Systems with Discrete and Distributed delays: Discontinuous Initial Conditions and Reachability Sets
di: Haimovich, Hernan, et al.
Pubblicazione: (2026)

Safely Learning Dynamical Systems
di: Ahmadi, Amir Ali, et al.
Pubblicazione: (2023)

Formally Verified Physics-Informed Neural Control Lyapunov Functions
di: Liu, Jun, et al.
Pubblicazione: (2024)

Stability of Jordan Recurrent Neural Network Estimator
di: Kaur, Avneet, et al.
Pubblicazione: (2025)

Computing Control Lyapunov-Barrier Functions: Softmax Relaxation and Smooth Patching with Formal Guarantees
di: Liu, Jun, et al.
Pubblicazione: (2025)

Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems
di: Liu, Jun, et al.
Pubblicazione: (2024)

Learning Dissipative Neural Dynamical Systems
di: Xu, Yuezhu, et al.
Pubblicazione: (2023)

Provably Safe Control for Constrained Nonlinear Systems with Bounded Input
di: Kumar, Saurabh, et al.
Pubblicazione: (2025)

Neural Operators for Predictor Feedback Control of Nonlinear Delay Systems
di: Bhan, Luke, et al.
Pubblicazione: (2024)

Stability-Certified Learning of Control Systems with Quadratic Nonlinearities
di: Duff, Igor Pontes, et al.
Pubblicazione: (2024)

Towards Learning and Verifying Maximal Neural Lyapunov Functions
di: Liu, Jun, et al.
Pubblicazione: (2023)

Near-Optimal Distributed Linear-Quadratic Regulator for Networked Systems
di: Shin, Sungho, et al.
Pubblicazione: (2022)

Lyapunov Characterization for ISS of Impulsive Switched Systems
di: Ahmed, Saeed, et al.
Pubblicazione: (2024)

Characterization of Invariance, Periodic Solutions and Optimization of Dynamic Financial Networks
di: Stella, Leonardo, et al.
Pubblicazione: (2025)

Safe and Near-Optimal Control with Online Dynamics Learning
di: Prajapat, Manish, et al.
Pubblicazione: (2025)

Physics-Informed Neural Network Policy Iteration: Algorithms, Convergence, and Verification
di: Meng, Yiming, et al.
Pubblicazione: (2024)

A Converse Control Lyapunov Theorem for Joint Safety and Stability
di: Quartz, Thanin, et al.
Pubblicazione: (2025)

Exact Computation of LTI Reach Set from Integrator Reach Set with Bounded Input
di: Haddad, Shadi, et al.
Pubblicazione: (2023)

Safe and Optimal N-Spacecraft Swarm Reconfiguration in Non-Keplerian Cislunar Orbits
di: Takubo, Yuji, et al.
Pubblicazione: (2025)

Identifiability of Differential-Algebraic Systems
di: Montanari, Arthur N., et al.
Pubblicazione: (2024)

Collaborative Safe Formation Control for Coupled Multi-Agent Systems
di: Butler, Brooks A., et al.
Pubblicazione: (2023)

An Input-to-State Safety Approach Towards Safe Control of a Class of Parabolic PDEs Under Disturbances
di: Roy, Tanushree, et al.
Pubblicazione: (2022)

Learning Neural Network Safe Tracking Controllers from Backward Reachable Sets
di: Xu, Yuezhu, et al.
Pubblicazione: (2025)

Control of Medical Digital Twins with Artificial Neural Networks
di: Böttcher, Lucas, et al.
Pubblicazione: (2024)

SINDy-RL: Interpretable and Efficient Model-Based Reinforcement Learning
di: Zolman, Nicholas, et al.
Pubblicazione: (2024)

Characterization of input-to-output stability for infinite-dimensional systems
di: Bachmann, Patrick, et al.
Pubblicazione: (2024)

Nonlinear Dynamics In Optimization Landscape of Shallow Neural Networks with Tunable Leaky ReLU
di: Liu, Jingzhou
Pubblicazione: (2025)

Global Stability Notions to Enhance the Rigor and Robustness of Adaptive Control
di: Karafyllis, Iasson, et al.
Pubblicazione: (2024)

Designing Robust Software Sensors for Nonlinear Systems via Neural Networks and Adaptive Sliding Mode Control
di: Farkane, Ayoub, et al.
Pubblicazione: (2025)

Certified Robust Invariant Polytope Training in Neural Controlled ODEs
di: Harapanahalli, Akash, et al.
Pubblicazione: (2024)

Online Actuator Selection and Controller Design for Linear Quadratic Regulation with Unknown System Model
di: Ye, Lintao, et al.
Pubblicazione: (2022)

Collaborative Safety-Critical Control for Dynamically Coupled Networked Systems
di: Butler, Brooks A., et al.
Pubblicazione: (2023)

Pole Placement and Feedback Stabilization for Discrete Linear Ensemble Systems
di: Chen, Xudong
Pubblicazione: (2024)