Image de couverture de livre

Compositional Design of Safety Controllers for Large-Scale Stochastic Hybrid Systems

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Zaker, Mahdieh, Akbarzadeh, Omid, Samari, Behrad, Lavaei, Abolfazl
Format:	Preprint
Publié:	2024
Sujets:	Systems and Control
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

From a Single Trajectory to Safety Controller Synthesis of Discrete-Time Nonlinear Polynomial Systems
par: Samari, Behrad, et autres
Publié: (2024)

Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories
par: Samari, Behrad, et autres
Publié: (2024)

From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks
par: Akbarzadeh, Omid, et autres
Publié: (2025)

Data-Driven Dynamic Controller Synthesis for Discrete-Time General Nonlinear Systems
par: Samari, Behrad, et autres
Publié: (2025)

Data-Driven Control of Large-Scale Networks with Formal Guarantees: A Small-Gain Free Approach
par: Samari, Behrad, et autres
Publié: (2024)

Safety Controller Synthesis for Stochastic Networked Systems under Communication Constraints
par: Akbarzadeh, Omid, et autres
Publié: (2025)

From Data to Control: A Formal Compositional Framework for Large-Scale Interconnected Networks
par: Akbarzadeh, Omid, et autres
Publié: (2024)

From Data to Global Asymptotic Stability of Unknown Large-Scale Networks with Provable Guarantees
par: Zaker, Mahdieh, et autres
Publié: (2025)

From Data to Sliding Mode Control of Uncertain Large-Scale Networks with Unknown Dynamics
par: Samari, Behrad, et autres
Publié: (2025)

Safety Controller Synthesis for Stochastic Polynomial Time-Delayed Systems
par: Akbarzadeh, Omid, et autres
Publié: (2026)

Data-Driven Safety Certificates of Infinite Networks with Unknown Models and Interconnection Topologies
par: Zaker, Mahdieh, et autres
Publié: (2025)

Model Order Reduction from Data with Certification
par: Samari, Behrad, et autres
Publié: (2025)

Learning Robust Safety Controllers for Uncertain Input-Affine Polynomial Systems
par: Akbarzadeh, Omid, et autres
Publié: (2024)

Certified Learning of Incremental ISS Controllers for Unknown Nonlinear Polynomial Dynamics
par: Zaker, Mahdieh, et autres
Publié: (2024)

A Data-Driven Krasovskii-Based Approach for Safety Controller Design of Time-Delayed Uncertain Polynomial Systems
par: Akbarzadeh, Omid, et autres
Publié: (2026)

Data-Driven Incremental GAS Certificate of Nonlinear Homogeneous Networks: A Scenario Approach with Noisy Data
par: Zaker, Mahdieh, et autres
Publié: (2025)

From Noisy Data to Hierarchical Control: A Model-Order-Reduction Framework
par: Samari, Behrad, et autres
Publié: (2026)

Data-Driven Adaptive Second-Order Sliding Mode Control with Noisy Data
par: Samari, Behrad, et autres
Publié: (2025)

Data-Driven Model Order Reduction of Nonlinear Systems with Noisy Data
par: Samari, Behrad, et autres
Publié: (2025)

Data-Driven Global Stabilization of Unknown Infinite Networks
par: Zaker, Mahdieh, et autres
Publié: (2026)

IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale Stochastic Systems
par: Wooding, Ben, et autres
Publié: (2024)

Rare Collision Risk Estimation of Autonomous Vehicles with Multi-Agent Situation Awareness
par: Zaker, Mahdieh, et autres
Publié: (2024)

ARCH-COMP25 Category Report: Stochastic Models
par: Abate, Alessandro, et autres
Publié: (2025)

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

PRoTECT: Parallelized Construction of Safety Barrier Certificates for Nonlinear Polynomial Systems
par: Wooding, Ben, et autres
Publié: (2024)

Learning k-Inductive Control Barrier Certificates for Unknown Nonlinear Dynamics Beyond Polynomials
par: Wooding, Ben, et autres
Publié: (2024)

Formal Control of New England 39-Bus Test System: An Assume-Guarantee Approach
par: Wooding, Ben, et autres
Publié: (2023)

Towards Certified Sim-to-Real Transfer via Stochastic Simulation-Gap Functions
par: Sangeerth, P, et autres
Publié: (2026)

TRUST: Stability and Safety Controller Synthesis for Unknown Dynamical Models Using a Single Trajectory
par: Gardner, Jamie, et autres
Publié: (2025)

A Physics-Informed Scenario Approach with Data Mitigation for Safety Verification of Nonlinear Systems
par: Aminzadeh, Ali, et autres
Publié: (2024)

From Dissipativity Property to Data-Driven GAS Certificate of Degree-One Homogeneous Networks with Unknown Topology
par: Lavaei, Abolfazl, et autres
Publié: (2025)

Data-Efficient Control of Polynomial Systems via Physics-Guided Quadratic Constraints
par: Ashoori, MohammadHossein, et autres
Publié: (2025)

Towards Mitigating Sim2Real Gaps: A Formal Quantitative Approach
par: Sangeerth, P, et autres
Publié: (2024)

Topology-Aware Hybrid Wi-Fi/BLE Fingerprinting via Evidence-Theoretic Fusion and Persistent Homology
par: Shir-Mohammad, Behrad Mousaei, et autres
Publié: (2025)

Control Barrier Functions for Stochastic Systems and Safety-critical Control Designs
par: Nishimura, Yuki, et autres
Publié: (2022)

Hybrid Analytical--EMT Method for HVDC Protection System Component-Level Design
par: Mohammadi, Abolfazl, et autres
Publié: (2026)

Robust Control of Uncertain Switched Affine Systems via Scenario Optimization
par: Monir, Negar, et autres
Publié: (2025)

Iterative, Small-Signal L2 Stability Analysis of Nonlinear Constrained Systems
par: Lavaei, Reza, et autres
Publié: (2023)

Probabilistic Control Barrier Functions: Safety in Probability for Discrete-Time Stochastic Systems
par: Mestres, Pol, et autres
Publié: (2025)

Improved Small-Signal L2 Gain Analysis for Nonlinear Systems
par: Strong, Amy, et autres
Publié: (2023)