Data-Efficient Control of Polynomial Systems via Physics-Guided Quadratic Constraints
Fuente:
arXiv
Saved in:
| Main Authors: | Ashoori, MohammadHossein, Aminzadeh, Ali, Nejati, Amy, Lavaei, Abolfazl |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
A Physics-Informed Scenario Approach with Data Mitigation for Safety Verification of Nonlinear Systems
by: Aminzadeh, Ali, et al.
Published: (2024)
by: Aminzadeh, Ali, et al.
Published: (2024)
Safety Controller Synthesis for Stochastic Polynomial Time-Delayed Systems
by: Akbarzadeh, Omid, et al.
Published: (2026)
by: Akbarzadeh, Omid, et al.
Published: (2026)
A Data-Driven Krasovskii-Based Approach for Safety Controller Design of Time-Delayed Uncertain Polynomial Systems
by: Akbarzadeh, Omid, et al.
Published: (2026)
by: Akbarzadeh, Omid, et al.
Published: (2026)
Learning Robust Safety Controllers for Uncertain Input-Affine Polynomial Systems
by: Akbarzadeh, Omid, et al.
Published: (2024)
by: Akbarzadeh, Omid, et al.
Published: (2024)
From Data to Control: A Formal Compositional Framework for Large-Scale Interconnected Networks
by: Akbarzadeh, Omid, et al.
Published: (2024)
by: Akbarzadeh, Omid, et al.
Published: (2024)
Data-Driven Control of Large-Scale Networks with Formal Guarantees: A Small-Gain Free Approach
by: Samari, Behrad, et al.
Published: (2024)
by: Samari, Behrad, et al.
Published: (2024)
Model Order Reduction from Data with Certification
by: Samari, Behrad, et al.
Published: (2025)
by: Samari, Behrad, et al.
Published: (2025)
Data-Driven Safety Certificates of Infinite Networks with Unknown Models and Interconnection Topologies
by: Zaker, Mahdieh, et al.
Published: (2025)
by: Zaker, Mahdieh, et al.
Published: (2025)
From Data to Global Asymptotic Stability of Unknown Large-Scale Networks with Provable Guarantees
by: Zaker, Mahdieh, et al.
Published: (2025)
by: Zaker, Mahdieh, et al.
Published: (2025)
Data-Driven Global Stabilization of Unknown Infinite Networks
by: Zaker, Mahdieh, et al.
Published: (2026)
by: Zaker, Mahdieh, et al.
Published: (2026)
TRUST: Stability and Safety Controller Synthesis for Unknown Dynamical Models Using a Single Trajectory
by: Gardner, Jamie, et al.
Published: (2025)
by: Gardner, Jamie, et al.
Published: (2025)
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks
by: Akbarzadeh, Omid, et al.
Published: (2025)
by: Akbarzadeh, Omid, et al.
Published: (2025)
Data-Driven Stochastic Control via Non-i.i.d. Trajectories: Foundations and Guarantees
by: Lavaei, Abolfazl
Published: (2025)
by: Lavaei, Abolfazl
Published: (2025)
Safety Controller Synthesis for Stochastic Networked Systems under Communication Constraints
by: Akbarzadeh, Omid, et al.
Published: (2025)
by: Akbarzadeh, Omid, et al.
Published: (2025)
Learning k-Inductive Control Barrier Certificates for Unknown Nonlinear Dynamics Beyond Polynomials
by: Wooding, Ben, et al.
Published: (2024)
by: Wooding, Ben, et al.
Published: (2024)
Data-Driven Dynamic Controller Synthesis for Discrete-Time General Nonlinear Systems
by: Samari, Behrad, et al.
Published: (2025)
by: Samari, Behrad, et al.
Published: (2025)
Certified Learning of Incremental ISS Controllers for Unknown Nonlinear Polynomial Dynamics
by: Zaker, Mahdieh, et al.
Published: (2024)
by: Zaker, Mahdieh, et al.
Published: (2024)
PRoTECT: Parallelized Construction of Safety Barrier Certificates for Nonlinear Polynomial Systems
by: Wooding, Ben, et al.
Published: (2024)
by: Wooding, Ben, et al.
Published: (2024)
From a Single Trajectory to Safety Controller Synthesis of Discrete-Time Nonlinear Polynomial Systems
by: Samari, Behrad, et al.
Published: (2024)
by: Samari, Behrad, et al.
Published: (2024)
IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale Stochastic Systems
by: Wooding, Ben, et al.
Published: (2024)
by: Wooding, Ben, et al.
Published: (2024)
From Dissipativity Property to Data-Driven GAS Certificate of Degree-One Homogeneous Networks with Unknown Topology
by: Lavaei, Abolfazl, et al.
Published: (2025)
by: Lavaei, Abolfazl, et al.
Published: (2025)
Formal Control of New England 39-Bus Test System: An Assume-Guarantee Approach
by: Wooding, Ben, et al.
Published: (2023)
by: Wooding, Ben, et al.
Published: (2023)
Data-Driven Incremental GAS Certificate of Nonlinear Homogeneous Networks: A Scenario Approach with Noisy Data
by: Zaker, Mahdieh, et al.
Published: (2025)
by: Zaker, Mahdieh, et al.
Published: (2025)
Compositional Design of Safety Controllers for Large-Scale Stochastic Hybrid Systems
by: Zaker, Mahdieh, et al.
Published: (2024)
by: Zaker, Mahdieh, et al.
Published: (2024)
Data-Driven Adaptive Second-Order Sliding Mode Control with Noisy Data
by: Samari, Behrad, et al.
Published: (2025)
by: Samari, Behrad, et al.
Published: (2025)
Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories
by: Samari, Behrad, et al.
Published: (2024)
by: Samari, Behrad, et al.
Published: (2024)
Data-Driven Model Order Reduction of Nonlinear Systems with Noisy Data
by: Samari, Behrad, et al.
Published: (2025)
by: Samari, Behrad, et al.
Published: (2025)
Towards Certified Sim-to-Real Transfer via Stochastic Simulation-Gap Functions
by: Sangeerth, P, et al.
Published: (2026)
by: Sangeerth, P, et al.
Published: (2026)
From Noisy Data to Hierarchical Control: A Model-Order-Reduction Framework
by: Samari, Behrad, et al.
Published: (2026)
by: Samari, Behrad, et al.
Published: (2026)
From Data to Sliding Mode Control of Uncertain Large-Scale Networks with Unknown Dynamics
by: Samari, Behrad, et al.
Published: (2025)
by: Samari, Behrad, et al.
Published: (2025)
Towards Mitigating Sim2Real Gaps: A Formal Quantitative Approach
by: Sangeerth, P, et al.
Published: (2024)
by: Sangeerth, P, et al.
Published: (2024)
Improved Small-Signal L2 Gain Analysis for Nonlinear Systems
by: Strong, Amy, et al.
Published: (2023)
by: Strong, Amy, et al.
Published: (2023)
Rare Collision Risk Estimation of Autonomous Vehicles with Multi-Agent Situation Awareness
by: Zaker, Mahdieh, et al.
Published: (2024)
by: Zaker, Mahdieh, et al.
Published: (2024)
Deep Reinforcement Learning with Local Interpretability for Transparent Microgrid Resilience Energy Management
by: Amiri, Mohammad Hossein Nejati, et al.
Published: (2025)
by: Amiri, Mohammad Hossein Nejati, et al.
Published: (2025)
Strategies for Resilience and Battery Life Extension in the Face of Communication Losses for Isolated Microgrids
by: Amiri, Mohammad Hossein Nejati, et al.
Published: (2024)
by: Amiri, Mohammad Hossein Nejati, et al.
Published: (2024)
An Efficient Data-Driven Framework for Linear Quadratic Output Feedback Control
by: Xie, Jun, et al.
Published: (2025)
by: Xie, Jun, et al.
Published: (2025)
Formally Proving Invariant Systemic Properties of Control Programs Using Ghost Code and Integral Quadratic Constraints
by: Khalife, Elias, et al.
Published: (2025)
by: Khalife, Elias, et al.
Published: (2025)
Discrete-Time Stability Analysis of ReLU Feedback Systems via Integral Quadratic Constraints
by: Noori, Sahel Vahedi, et al.
Published: (2025)
by: Noori, Sahel Vahedi, et al.
Published: (2025)
Guided Bayesian Optimization: Data-Efficient Controller Tuning with Digital Twin
by: Nobar, Mahdi, et al.
Published: (2024)
by: Nobar, Mahdi, et al.
Published: (2024)
Iterative, Small-Signal L2 Stability Analysis of Nonlinear Constrained Systems
by: Lavaei, Reza, et al.
Published: (2023)
by: Lavaei, Reza, et al.
Published: (2023)
Similar Items
-
A Physics-Informed Scenario Approach with Data Mitigation for Safety Verification of Nonlinear Systems
by: Aminzadeh, Ali, et al.
Published: (2024) -
Safety Controller Synthesis for Stochastic Polynomial Time-Delayed Systems
by: Akbarzadeh, Omid, et al.
Published: (2026) -
A Data-Driven Krasovskii-Based Approach for Safety Controller Design of Time-Delayed Uncertain Polynomial Systems
by: Akbarzadeh, Omid, et al.
Published: (2026) -
Learning Robust Safety Controllers for Uncertain Input-Affine Polynomial Systems
by: Akbarzadeh, Omid, et al.
Published: (2024) -
From Data to Control: A Formal Compositional Framework for Large-Scale Interconnected Networks
by: Akbarzadeh, Omid, et al.
Published: (2024)