Copertina

Formally Verified Neural Network Controllers for Incremental Input-to-State Stability of Unknown Discrete-Time Systems

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Basu, Ahan, Dey, Bhabani Shankar, Jagtap, Pushpak
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Systems and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Formally Verified Neural Lyapunov Function for Incremental Input-to-State Stability of Unknown Systems
di: Basu, Ahan, et al.
Pubblicazione: (2025)

Neural Controller for Incremental Stability of Unknown Continuous-time Systems
di: Basu, Ahan, et al.
Pubblicazione: (2025)

Input-to-State Stabilizing Neural Controllers for Unknown Switched Nonlinear Systems within Compact Sets
di: Dey, Bhabani Shankar, et al.
Pubblicazione: (2026)

Backstepping Design for Incremental Input-to-State Stabilization of Unknown Systems
di: Sundarsingh, David Smith, et al.
Pubblicazione: (2024)

Controller for Incremental Input-to-State Practical Stabilization of Partially Unknown systems with Invariance Guarantees
di: Sangeerth, P, et al.
Pubblicazione: (2025)

Scalable Formal Verification of Incremental Stability in Large-Scale Systems Using Graph Neural Networks
di: Basu, Ahan, et al.
Pubblicazione: (2025)

On Incremental Stability of Interconnected Switched Systems
di: Dey, Bhabani Shankar, et al.
Pubblicazione: (2023)

Neural Network-based Co-design of Output-Feedback Control Barrier Function and Observer with Input Constraints
di: Jagabathula, Vaishnavi, et al.
Pubblicazione: (2025)

Spatiotemporal Tubes based Control of Unknown Multi-Agent Systems for Temporal Reach-Avoid-Stay Tasks
di: Basu, Ahan, et al.
Pubblicazione: (2025)

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems
di: Das, Ratnangshu, et al.
Pubblicazione: (2024)

Prescribed Performance Control of Unknown Euler-Lagrange Systems Under Input Constraints
di: Das, Ratnangshu, et al.
Pubblicazione: (2025)

Temporal Reach-Avoid-Stay Control for Differential Drive Systems via Spatiotemporal Tubes
di: Das, Ratnangshu, et al.
Pubblicazione: (2025)

Glycemic Safety Tube: A Provably Safe Control Framework for Artificial Pancreas Systems under Parametric Uncertainty
di: Singh, Pukhrambam Akash, et al.
Pubblicazione: (2026)

Approximation-Free Control Barrier Functions for Prescribed-Time Reach-Avoid of Unknown Systems
di: Sawarkar, Shubham, et al.
Pubblicazione: (2025)

Neural Control Barrier Functions for Signal Temporal Logic Specifications with Input Constraints
di: Jagabathula, Vaishnavi, et al.
Pubblicazione: (2025)

Tracking Control of Euler-Lagrangian Systems with Prescribed State, Input, and Temporal Constraints
di: Kashyap, Chidre Shravista, et al.
Pubblicazione: (2025)

Incorporating Social Awareness into Control of Unknown Multi-Agent Systems: A Real-Time Spatiotemporal Tubes Approach
di: Upadhyay, Siddhartha, et al.
Pubblicazione: (2025)

Periodic Event-Triggered Prescribed Time Control of Euler-Lagrange Systems under State and Input Constraints
di: Kashyap, Chidre Shravista, et al.
Pubblicazione: (2025)

Spatiotemporal Tubes based Controller Synthesis against Omega-Regular Specifications for Unknown Systems
di: Das, Ratnangshu, et al.
Pubblicazione: (2025)

Scalable and Approximation-free Symbolic Control for Unknown Euler-Lagrange Systems
di: Das, Ratnangshu, et al.
Pubblicazione: (2025)

CP-NCBF: A Conformal Prediction-based Approach to Synthesize Verified Neural Control Barrier Functions
di: Tayal, Manan, et al.
Pubblicazione: (2025)

Towards Mitigating Sim2Real Gaps: A Formal Quantitative Approach
di: Sangeerth, P, et al.
Pubblicazione: (2024)

Quantification of Sim2Real Gap via Neural Simulation Gap Function
di: Sangeerth, P, et al.
Pubblicazione: (2025)

Funnel-based Control for Reach-Avoid-Stay Specifications
di: Das, Ratnangshu, et al.
Pubblicazione: (2023)

Distributed State Estimation for Discrete-Time Systems With Unknown Inputs: An Optimization Approach
di: Zhao, Ruixuan, et al.
Pubblicazione: (2026)

Smooth Spatiotemporal Tube Synthesis for Prescribed-Time Reach-Avoid-Stay Control
di: Upadhyay, Siddhartha, et al.
Pubblicazione: (2025)

Safety in Admittance Control using Reference Trajectory Shaping
di: Paul, Chayan Kumar, et al.
Pubblicazione: (2026)

Temporal Logic Resilience for Dynamical Systems
di: Saoud, Adnane, et al.
Pubblicazione: (2024)

Distributed Unknown Input Observers for Discrete-Time Linear Time-Invariant Systems
di: Torchiaro, Franco Angelo, et al.
Pubblicazione: (2025)

Approximation-free Control for Signal Temporal Logic Specifications using Spatiotemporal Tubes
di: Das, Ratnangshu, et al.
Pubblicazione: (2025)

On the Contraction Analysis of Nonlinear System with Multiple Equilibrium Points
di: Bora, Riddhi Mohan, et al.
Pubblicazione: (2025)

Control Barrier Functions for the Full Class of Signal Temporal Logic Tasks using Spatiotemporal Tubes
di: Das, Ratnangshu, et al.
Pubblicazione: (2025)

Real-Time Spatiotemporal Tubes for Dynamic Unsafe Sets
di: Das, Ratnangshu, et al.
Pubblicazione: (2025)

Control Barrier Functions for Prescribed-time Reach-Avoid-Stay Tasks using Spatiotemporal Tubes
di: Das, Ratnangshu, et al.
Pubblicazione: (2025)

Learning Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks using Physics-Informed Neural Networks
di: Basu, Ahan, et al.
Pubblicazione: (2025)

Sliding Mode Control for Safe Trajectory Tracking with Moving Obstacles Avoidance: Experimental Validation on Planar Robots
di: Sawarkar, Shubham, et al.
Pubblicazione: (2026)

Stochastic Neural Control Barrier Functions
di: Zhang, Hongchao, et al.
Pubblicazione: (2025)

Output-Feedback Stabilizing Policy Iteration for Convergence Assurance of Unknown Discrete-Time Systems with Unmeasurable States
di: Li, Dongdong, et al.
Pubblicazione: (2025)

Real Time Safety of Fixed-wing UAVs using Collision Cone Control Barrier Functions
di: Agarwal, Aryan, et al.
Pubblicazione: (2024)

Towards Certified Sim-to-Real Transfer via Stochastic Simulation-Gap Functions
di: Sangeerth, P, et al.
Pubblicazione: (2026)