Cover Image

Data-Driven Certificate Synthesis

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Rickard, Luke, Abate, Alessandro, Margellos, Kostas
Format:	Preprint
Published:	2025
Subjects:	Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Continuous-time Data-driven Barrier Certificate Synthesis
by: Rickard, Luke, et al.
Published: (2025)

Learning Robust Policies for Uncertain Parametric Markov Decision Processes
by: Rickard, Luke, et al.
Published: (2023)

Safe Controlled Invariance for Linear Systems Using Sum-of-Squares Programming
by: Wang, Han, et al.
Published: (2022)

Distributed Safe Control Design and Probabilistic Safety Verification for Multi-Agent Systems
by: Wang, Han, et al.
Published: (2023)

Safe and Stable Filter Design Using a Relaxed Compatibitlity Control Barrier -- Lyapunov Condition
by: Wang, Han, et al.
Published: (2024)

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems
by: Nazeri, Mahdi, et al.
Published: (2025)

Robust optimization for adversarial learning with finite sample complexity guarantees
by: Bertolace, André, et al.
Published: (2024)

Quantitative Supermartingale Certificates
by: Abate, Alessandro, et al.
Published: (2025)

Bridging conformal prediction and scenario optimization
by: O'Sullivan, Niall, et al.
Published: (2025)

Data-Driven Abstraction and Synthesis for Stochastic Systems with Unknown Dynamics
by: Nazeri, Mahdi, et al.
Published: (2025)

Probabilistically safe controllers based on control barrier functions and scenario model predictive control
by: Nascimento, Allan Andre do, et al.
Published: (2024)

A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis
by: Edwards, Alec, et al.
Published: (2023)

Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models
by: Edwards, Alec, et al.
Published: (2023)

Certificates Synthesis for A Class of Observational Properties in Stochastic Systems: A Unified Approach
by: Cui, Bohan, et al.
Published: (2026)

Convex Co-Design of Control Barrier Function and Safe Feedback Controller Under Input Constraints
by: Wang, Han, et al.
Published: (2024)

Model Predictive Control with Multiple Constraint Horizons
by: Nascimento, Allan Andre do, et al.
Published: (2025)

Constraint Horizon in Model Predictive Control
by: Nascimento, Allan Andre Do, et al.
Published: (2025)

Data-Driven Performance Guarantees for Parametric Optimization Problems
by: Huang, Jingyi, et al.
Published: (2025)

Probabilistic Alternating Simulations for Policy Synthesis in Uncertain Stochastic Dynamical Systems
by: Badings, Thom, et al.
Published: (2025)

A Prototyping Framework for Distributed Control of Multi-Robot Systems
by: Memon, Junaid Ahmed, et al.
Published: (2026)

Data-driven Interval MDP for Robust Control Synthesis
by: Coppola, Rudi, et al.
Published: (2024)

Distributed equilibrium seeking in aggregative games: linear convergence under singular perturbations lens
by: Carnevale, Guido, et al.
Published: (2025)

Tracking-based distributed equilibrium seeking for aggregative games
by: Carnevale, Guido, et al.
Published: (2022)

Efficient Quantification of Time-Series Prediction Error: Optimal Selection Conformal Prediction
by: Pang, Boyu, et al.
Published: (2025)

Polymatroidal Representations of Aggregate EV Flexibility Considering Network Constraints
by: Mukhi, Karan, et al.
Published: (2025)

Safe Reach Set Computation via Neural Barrier Certificates
by: Abate, Alessandro, et al.
Published: (2024)

Online Data-Driven Safety Certification for Systems Subject to Unknown Disturbances
by: Rober, Nicholas, et al.
Published: (2023)

Existence and Synthesis of Multi-Resolution Approximate Bisimulations for Continuous-State Dynamical Systems
by: Coppola, Rudi, et al.
Published: (2025)

Data-driven memory-dependent abstractions of dynamical systems via a Cantor-Kantorovich metric
by: Banse, Adrien, et al.
Published: (2024)

Exact Recourse Functions for Aggregations of EVs Operating in Imbalance Markets
by: Mukhi, Karan, et al.
Published: (2025)

StocHy: automated verification and synthesis of stochastic processes
by: Cauchi, Nathalie, et al.
Published: (2019)

Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems
by: Cauchi, Nathalie, et al.
Published: (2019)

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

SAFE--MA--RRT: Multi-Agent Motion Planning with Data-Driven Safety Certificates
by: Esmaeili, Babak, et al.
Published: (2025)

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

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

Data-Driven Distributed Stability Certification for Power Systems via Input-State Trajectories
by: Zhang, Xiaohui, et al.
Published: (2026)

Neural Proofs for Sound Verification and Control of Complex Systems
by: Abate, Alessandro
Published: (2025)

Data-Driven Permissible Safe Control with Barrier Certificates
by: Mazouz, Rayan, et al.
Published: (2024)

Aggregate Flexibility of Thermostatically Controlled Loads using Generalized Polymatroids
by: Mukhi, Karan, et al.
Published: (2025)