Buchumschlag

Safety Controller Synthesis for Stochastic Networked Systems under Communication Constraints

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Akbarzadeh, Omid, Mamduhi, Mohammad H., Lavaei, Abolfazl
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Systems and Control
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Safety Controller Synthesis for Stochastic Polynomial Time-Delayed Systems
von: Akbarzadeh, Omid, et al.
Veröffentlicht: (2026)

Learning Robust Safety Controllers for Uncertain Input-Affine Polynomial Systems
von: Akbarzadeh, Omid, et al.
Veröffentlicht: (2024)

Compositional Design of Safety Controllers for Large-Scale Stochastic Hybrid Systems
von: Zaker, Mahdieh, et al.
Veröffentlicht: (2024)

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

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

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

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

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

Data-Driven Stochastic Control via Non-i.i.d. Trajectories: Foundations and Guarantees
von: Lavaei, Abolfazl
Veröffentlicht: (2025)

Data-Driven Dynamic Controller Synthesis for Discrete-Time General Nonlinear Systems
von: Samari, Behrad, et al.
Veröffentlicht: (2025)

Data-Efficient Control of Polynomial Systems via Physics-Guided Quadratic Constraints
von: Ashoori, MohammadHossein, et al.
Veröffentlicht: (2025)

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

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

PRoTECT: Parallelized Construction of Safety Barrier Certificates for Nonlinear Polynomial Systems
von: Wooding, Ben, et al.
Veröffentlicht: (2024)

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

Learning k-Inductive Control Barrier Certificates for Unknown Nonlinear Dynamics Beyond Polynomials
von: Wooding, Ben, et al.
Veröffentlicht: (2024)

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

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

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

Towards Certified Sim-to-Real Transfer via Stochastic Simulation-Gap Functions
von: Sangeerth, P, et al.
Veröffentlicht: (2026)

Performance Characterization Using AoI in a Single-loop Networked Control System
von: Champati, Jaya Prakash, et al.
Veröffentlicht: (2019)

Barrier Certificates for Uncertain Temporal Specifications
von: Mamduhi, Mohammad H., et al.
Veröffentlicht: (2026)

Certified Learning of Incremental ISS Controllers for Unknown Nonlinear Polynomial Dynamics
von: Zaker, Mahdieh, et al.
Veröffentlicht: (2024)

Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories
von: Samari, Behrad, et al.
Veröffentlicht: (2024)

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

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

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

From Noisy Data to Hierarchical Control: A Model-Order-Reduction Framework
von: Samari, Behrad, et al.
Veröffentlicht: (2026)

Data-Driven Model Order Reduction of Nonlinear Systems with Noisy Data
von: Samari, Behrad, et al.
Veröffentlicht: (2025)

Data-Driven Global Stabilization of Unknown Infinite Networks
von: Zaker, Mahdieh, et al.
Veröffentlicht: (2026)

Communication-Aware Synthesis of Safety Controller for Networked Control Systems
von: Liu, Yihan, et al.
Veröffentlicht: (2026)

Model Order Reduction from Data with Certification
von: Samari, Behrad, et al.
Veröffentlicht: (2025)

Towards Mitigating Sim2Real Gaps: A Formal Quantitative Approach
von: Sangeerth, P, et al.
Veröffentlicht: (2024)

Data-Driven Adaptive Second-Order Sliding Mode Control with Noisy Data
von: Samari, Behrad, et al.
Veröffentlicht: (2025)

Reinforcement Learning-Based Neuroadaptive Control of Robotic Manipulators under Deferred Constraints
von: Nohooji, Hamed Rahimi, et al.
Veröffentlicht: (2025)

Distributionally Robust Control Synthesis for Stochastic Systems with Safety and Reach-Avoid Specifications
von: Chen, Yu, et al.
Veröffentlicht: (2025)

Control Barrier Functions for Stochastic Systems and Safety-critical Control Designs
von: Nishimura, Yuki, et al.
Veröffentlicht: (2022)

Rare Collision Risk Estimation of Autonomous Vehicles with Multi-Agent Situation Awareness
von: Zaker, Mahdieh, et al.
Veröffentlicht: (2024)

ARCH-COMP25 Category Report: Stochastic Models
von: Abate, Alessandro, et al.
Veröffentlicht: (2025)

System Identification from Partial Observations under Adversarial Attacks
von: Kim, Jihun, et al.
Veröffentlicht: (2025)