Copertina

Learning k-Inductive Control Barrier Certificates for Unknown Nonlinear Dynamics Beyond Polynomials

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Wooding, Ben, Lavaei, Abolfazl
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Systems and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

k-Inductive Neural Barrier Certificates for Unknown Nonlinear Dynamics
di: Wooding, Ben, et al.
Pubblicazione: (2026)

PRoTECT: Parallelized Construction of Safety Barrier Certificates for Nonlinear Polynomial Systems
di: Wooding, Ben, et al.
Pubblicazione: (2024)

IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale Stochastic Systems
di: Wooding, Ben, et al.
Pubblicazione: (2024)

TRUST: Stability and Safety Controller Synthesis for Unknown Dynamical Models Using a Single Trajectory
di: Gardner, Jamie, et al.
Pubblicazione: (2025)

Certified Learning of Incremental ISS Controllers for Unknown Nonlinear Polynomial Dynamics
di: Zaker, Mahdieh, et al.
Pubblicazione: (2024)

Formal Control of New England 39-Bus Test System: An Assume-Guarantee Approach
di: Wooding, Ben, et al.
Pubblicazione: (2023)

From Dissipativity Property to Data-Driven GAS Certificate of Degree-One Homogeneous Networks with Unknown Topology
di: Lavaei, Abolfazl, et al.
Pubblicazione: (2025)

Data-Driven Safety Certificates of Infinite Networks with Unknown Models and Interconnection Topologies
di: Zaker, Mahdieh, et al.
Pubblicazione: (2025)

Data-Driven Dynamic Controller Synthesis for Discrete-Time General Nonlinear Systems
di: Samari, Behrad, et al.
Pubblicazione: (2025)

From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks
di: Akbarzadeh, Omid, et al.
Pubblicazione: (2025)

Data-Driven Incremental GAS Certificate of Nonlinear Homogeneous Networks: A Scenario Approach with Noisy Data
di: Zaker, Mahdieh, et al.
Pubblicazione: (2025)

From a Single Trajectory to Safety Controller Synthesis of Discrete-Time Nonlinear Polynomial Systems
di: Samari, Behrad, et al.
Pubblicazione: (2024)

Learning Robust Safety Controllers for Uncertain Input-Affine Polynomial Systems
di: Akbarzadeh, Omid, et al.
Pubblicazione: (2024)

$k$-Inductive and Interpolation-Inspired Barrier Certificates for Stochastic Dynamical Systems
di: Oumer, Mohammed Adib, et al.
Pubblicazione: (2025)

Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories
di: Samari, Behrad, et al.
Pubblicazione: (2024)

Data-Driven Stochastic Control via Non-i.i.d. Trajectories: Foundations and Guarantees
di: Lavaei, Abolfazl
Pubblicazione: (2025)

Model Order Reduction from Data with Certification
di: Samari, Behrad, et al.
Pubblicazione: (2025)

From Data to Sliding Mode Control of Uncertain Large-Scale Networks with Unknown Dynamics
di: Samari, Behrad, et al.
Pubblicazione: (2025)

From Data to Global Asymptotic Stability of Unknown Large-Scale Networks with Provable Guarantees
di: Zaker, Mahdieh, et al.
Pubblicazione: (2025)

Safety Controller Synthesis for Stochastic Polynomial Time-Delayed Systems
di: Akbarzadeh, Omid, et al.
Pubblicazione: (2026)

Data-Driven Global Stabilization of Unknown Infinite Networks
di: Zaker, Mahdieh, et al.
Pubblicazione: (2026)

Data-Efficient Control of Polynomial Systems via Physics-Guided Quadratic Constraints
di: Ashoori, MohammadHossein, et al.
Pubblicazione: (2025)

Barrier Certificates for Unknown Systems with Latent States and Polynomial Dynamics using Bayesian Inference
di: Lefringhausen, Robert, et al.
Pubblicazione: (2025)

A Data-Driven Krasovskii-Based Approach for Safety Controller Design of Time-Delayed Uncertain Polynomial Systems
di: Akbarzadeh, Omid, et al.
Pubblicazione: (2026)

From Data to Control: A Formal Compositional Framework for Large-Scale Interconnected Networks
di: Akbarzadeh, Omid, et al.
Pubblicazione: (2024)

Data-Driven Control of Large-Scale Networks with Formal Guarantees: A Small-Gain Free Approach
di: Samari, Behrad, et al.
Pubblicazione: (2024)

Safety Controller Synthesis for Stochastic Networked Systems under Communication Constraints
di: Akbarzadeh, Omid, et al.
Pubblicazione: (2025)

Data-Driven Model Order Reduction of Nonlinear Systems with Noisy Data
di: Samari, Behrad, et al.
Pubblicazione: (2025)

A Physics-Informed Scenario Approach with Data Mitigation for Safety Verification of Nonlinear Systems
di: Aminzadeh, Ali, et al.
Pubblicazione: (2024)

Learning Koopman-based Stability Certificates for Unknown Nonlinear Systems
di: Zhou, Ruikun, et al.
Pubblicazione: (2024)

Compositional Design of Safety Controllers for Large-Scale Stochastic Hybrid Systems
di: Zaker, Mahdieh, et al.
Pubblicazione: (2024)

Online Bandit Nonlinear Control with Dynamic Batch Length and Adaptive Learning Rate
di: Kim, Jihun, et al.
Pubblicazione: (2024)

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

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

From Noisy Data to Hierarchical Control: A Model-Order-Reduction Framework
di: Samari, Behrad, et al.
Pubblicazione: (2026)

Data-Driven Adaptive Second-Order Sliding Mode Control with Noisy Data
di: Samari, Behrad, et al.
Pubblicazione: (2025)

Robust Adaptive Discrete-Time Control Barrier Certificate
di: Liu, Changrui, et al.
Pubblicazione: (2025)

Incremental Composition of Learned Control Barrier Functions in Unknown Environments
di: Lutkus, Paul, et al.
Pubblicazione: (2024)

Optimal Control of Nonlinear Systems with Unknown Dynamics
di: Hao, Wenjian, et al.
Pubblicazione: (2023)

Funnel-Based Online Recovery Control for Nonlinear Systems With Unknown Dynamics
di: Song, Zihao, et al.
Pubblicazione: (2025)