Buchumschlag

Certification of Linear Inclusions for Nonlinear Systems

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Abdelsalam, Yehia, Engell, Sebastian
Format:	Preprint
Veröffentlicht:	2024
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

Periodic Scenario Trees: A Novel Framework for Robust Periodic Invariance and Stabilization of Constrained Uncertain Linear Systems
von: Abdelsalam, Yehia, et al.
Veröffentlicht: (2024)

Periodic Scenario Trees: A Novel Framework for Robust Periodic Invariance and Stabilization of Constrained Uncertain Linear Systems
von: Yehia Abdelsalam, et al.
Veröffentlicht: (2026)

Learning Koopman-based Stability Certificates for Unknown Nonlinear Systems
von: Zhou, Ruikun, et al.
Veröffentlicht: (2024)

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

Optimal MPPT Control of a Photovoltaic System Under Non-uniform Irradiation
von: Lalili, Yehia, et al.
Veröffentlicht: (2024)

On the Existence of Koopman Linear Embeddings for Controlled Nonlinear Systems
von: Shang, Xu, et al.
Veröffentlicht: (2026)

A Hybrid Sequential Convex Programming Framework for Unbalanced Three-Phase AC OPF
von: Yehia, Sary, et al.
Veröffentlicht: (2025)

Gain-Scheduling Data-Enabled Predictive Control for Nonlinear Systems with Linearized Operating Regions
von: Zieglmeier, Sebastian, et al.
Veröffentlicht: (2025)

Willems' Fundamental Lemma for Nonlinear Systems with Koopman Linear Embedding
von: Shang, Xu, et al.
Veröffentlicht: (2024)

Online Tracking with Predictions for Nonlinear Systems with Koopman Linear Embedding
von: Pai, Chih-Fan, et al.
Veröffentlicht: (2026)

A Linear Differential Inclusion for Contraction Analysis to Known Trajectories
von: Harapanahalli, Akash, et al.
Veröffentlicht: (2024)

Linear Program-Based Stability Conditions for Nonlinear Autonomous Systems
von: Hokmi, Sadredin, et al.
Veröffentlicht: (2025)

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

Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates
von: Badings, Thom, et al.
Veröffentlicht: (2024)

Learning Reduced-Order Linear Parameter-Varying Models of Nonlinear Systems
von: Koelewijn, Patrick J. W., et al.
Veröffentlicht: (2023)

Koopman-Nemytskii Operator: A Linear Representation of Nonlinear Controlled Systems
von: Tang, Wentao
Veröffentlicht: (2025)

On Certificates for Almost Sure Reachability in Stochastic Systems
von: Kordabad, Arash Bahari, et al.
Veröffentlicht: (2025)

A Linear Test for Global Nonlinear Controllability
von: Elamvazhuthi, Karthik
Veröffentlicht: (2024)

Data-Driven Model Reduction by Moment Matching for Linear and Nonlinear Parametric Systems
von: Zhang, Hanqing, et al.
Veröffentlicht: (2025)

Design of Linear Residual Generators for Combined Fault Detection and Estimation in Nonlinear Systems
von: Venkateswaran, Sunjeev, et al.
Veröffentlicht: (2025)

Dissipativity Analysis of Nonlinear Systems: A Linear--Radial Kernel-based Approach
von: Ye, Xiuzhen, et al.
Veröffentlicht: (2026)

Feedback Linearization of Hyperbolic PDEs with Volterra Nonlinearities
von: Krstic, Miroslav
Veröffentlicht: (2026)

Beyond Carleman Linearization of Nonlinear Dynamical System: Insights from a Case Study
von: Chen, Panpan, et al.
Veröffentlicht: (2025)

Global Linearization of Parameterized Nonlinear Systems with Stable Equilibrium Point Using the Koopman Operator
von: Katayama, Natsuki, et al.
Veröffentlicht: (2026)

$k$-Inductive and Interpolation-Inspired Barrier Certificates for Stochastic Dynamical Systems
von: Oumer, Mohammed Adib, et al.
Veröffentlicht: (2025)

Certificates of Nonexistence for Lyapunov-Based Stability, Stabilizability and Detectability of LPV Systems
von: Meijer, T. J., et al.
Veröffentlicht: (2023)

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

Training with Hard Constraints: Learning Neural Certificates and Controllers for SDEs
von: Kong, Chun-Wei, et al.
Veröffentlicht: (2026)

Simulation Results of Center-Manifold-Based Identification of Polynomial Nonlinear Systems with Uncontrollable Linearization
von: Huang, Chao, et al.
Veröffentlicht: (2024)

Automated Linear Parameter-Varying Modeling of Nonlinear Systems: A Global Embedding Approach
von: Olucha, E. Javier, et al.
Veröffentlicht: (2025)

Neural Cooperative Reach-While-Avoid Certificates for Interconnected Systems
von: Zhou, Jingyuan, et al.
Veröffentlicht: (2026)

A Unifying Complexity-Certification Framework for Branch-and-Bound Algorithms for Mixed-Integer Linear and Quadratic Programming
von: Shoja, Shamisa, et al.
Veröffentlicht: (2025)

BaCLNS: A toolbox for fast and efficient control of Linear and Nonlinear Control Affine Systems
von: Folorunsho, Samuel O., et al.
Veröffentlicht: (2024)

An Output Feedback Q-learning Algorithm for Optimal Control of Nonlinear Systems with Koopman Linear Embedding
von: Lopez, Victor G., et al.
Veröffentlicht: (2026)

Online Data-Driven Safety Certification for Systems Subject to Unknown Disturbances
von: Rober, Nicholas, et al.
Veröffentlicht: (2023)

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems
von: Zhou, Jingyuan, et al.
Veröffentlicht: (2025)

Data to Certificate: Guaranteed Cost Control with Quantization-Aware System Identification
von: Ataei, Shahab, et al.
Veröffentlicht: (2025)

Parallel Domain-Decomposition Algorithms for Complexity Certification of Branch-and-Bound Algorithms for Mixed-Integer Linear and Quadratic Programming
von: Shoja, Shamisa, et al.
Veröffentlicht: (2025)

Efficient Reinforcement Learning using Linear Koopman Dynamics for Nonlinear Robotic Systems
von: Hao, Wenjian, et al.
Veröffentlicht: (2026)