Imagen de Portada

Data-Driven Certificate Synthesis

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Rickard, Luke, Abate, Alessandro, Margellos, Kostas
Formato:	Preprint
Publicado:	2025
Materias:	Systems and Control
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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

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

Quantitative Supermartingale Certificates
por: Abate, Alessandro, et al.
Publicado: (2025)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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