Copertina

Formal Control of New England 39-Bus Test System: An Assume-Guarantee Approach

Fuente: arXiv

Salvato in:

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

Documenti analoghi

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

Learning k-Inductive Control Barrier Certificates for Unknown Nonlinear Dynamics Beyond Polynomials
di: Wooding, Ben, et al.
Pubblicazione: (2024)

PRoTECT: Parallelized Construction of Safety Barrier Certificates for Nonlinear Polynomial 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)

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

Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification
di: Schön, Oliver, et al.
Pubblicazione: (2024)

Computation of Feasible Assume-Guarantee Contracts: A Resilience-based Approach
di: Monir, Negar, et al.
Pubblicazione: (2025)

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

Rare Collision Risk Estimation of Autonomous Vehicles with Multi-Agent Situation Awareness
di: Zaker, Mahdieh, et al.
Pubblicazione: (2024)

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

Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates (Extended Version)
di: Schön, Oliver, et al.
Pubblicazione: (2025)

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

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

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

Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation
di: Zhang, Zhi, et al.
Pubblicazione: (2024)

Robust Control of Uncertain Switched Affine Systems via Scenario Optimization
di: Monir, Negar, et al.
Pubblicazione: (2025)

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems
di: Nazeri, Mahdi, 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)

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

Safety Controller Synthesis for Stochastic Networked Systems under Communication Constraints
di: Akbarzadeh, Omid, 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)

Temporal Logic Resilience for Dynamical Systems
di: Saoud, Adnane, et al.
Pubblicazione: (2024)

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

Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations
di: Schön, Oliver, et al.
Pubblicazione: (2023)

Logic-based Resilience Computation of Power Systems Against Frequency Requirements
di: Monir, Negar, et al.
Pubblicazione: (2025)

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

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

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

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

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

Sum-of-Squares Certificates for Almost-Sure Reachability of Stochastic Polynomial Systems
di: Kordabad, Arash Bahari, 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)

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

Almost Sure Reachability in Continuous-time Stochastic Systems
di: Kordabad, Arash Bahari, et al.
Pubblicazione: (2026)

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

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

Early Design Exploration of Aerospace Systems Using Assume-Guarantee Contracts
di: Rouquette, Nicolas, et al.
Pubblicazione: (2024)

Barrier Certificates for Uncertain Temporal Specifications
di: Mamduhi, Mohammad H., et al.
Pubblicazione: (2026)

Policy Synthesis for Interval MDPs via Polyhedral Lyapunov Functions
di: Monir, Negar, et al.
Pubblicazione: (2026)

Logic-based Knowledge Awareness for Autonomous Agents in Continuous Spaces
di: Ghosh, Arabinda, et al.
Pubblicazione: (2024)