:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Zhou, Jun, Meng, Yiming, Liu, Jun
Format:	Preprint
Published:	2025
Subjects:	Systems and Control
Online Access:	https://arxiv.org/abs/2504.13912
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Learning Koopman-based Stability Certificates for Unknown Nonlinear Systems
by: Zhou, Ruikun, et al.
Published: (2024)

Data-driven optimal control of unknown nonlinear dynamical systems using the Koopman operator
by: Zeng, Zhexuan, et al.
Published: (2024)

Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems
by: Liu, Jun, et al.
Published: (2024)

Koopman Spectral Analysis from Noisy Measurements based on Bayesian Learning and Kalman Smoothing
by: Zeng, Zhexuan, et al.
Published: (2024)

Stochastic Deep Koopman Model for Quality Propagation Analysis in Multistage Manufacturing Systems
by: Chen, Zhiyi, et al.
Published: (2023)

Learning Regions of Attraction in Unknown Dynamical Systems via Zubov-Koopman Lifting: Regularities and Convergence
by: Meng, Yiming, et al.
Published: (2023)

Enhanced Koopman Operator Approximation for Nonlinear Systems Using Broading Learning System
by: Sun, Yangjun, et al.
Published: (2025)

Kernel Methods for Stochastic Dynamical Systems with Application to Koopman Eigenfunctions: Feynman-Kac Representations and RKHS Approximation
by: Hamzi, Boumediene, et al.
Published: (2026)

Koopman Operators for Global Analysis of Hybrid Limit-Cycling Systems: Construction and Spectral Properties
by: Katayama, Natsuki, et al.
Published: (2024)

Stability-Certified Koopman Observer Design for Nonlinear Systems via Generalized Persidskii Dynamics
by: Pouladi, Syed
Published: (2026)

Towards Learning and Verifying Maximal Neural Lyapunov Functions
by: Liu, Jun, et al.
Published: (2023)

On Approximate Opacity of Stochastic Control Systems
by: Liu, Siyuan, et al.
Published: (2024)

Koopman Generator Decomposition for Port-Hamiltonian System
by: Preciado, Victor M.
Published: (2026)

Stability Guarantees for Data-Driven Predictive Control of Nonlinear Systems via Approximate Koopman Embeddings
by: Taghieh, Amin, et al.
Published: (2026)

Finite Sample Analysis of Subspace Identification for Stochastic Systems
by: Sun, Shuai, et al.
Published: (2025)

Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification
by: Liu, Jun, et al.
Published: (2023)

LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction
by: Liu, Jun, et al.
Published: (2024)

Formally Verified Physics-Informed Neural Control Lyapunov Functions
by: Liu, Jun, et al.
Published: (2024)

Stochastic Reinforcement Learning with Stability Guarantees for Control of Unknown Nonlinear Systems
by: Quartz, Thanin, et al.
Published: (2024)

On Koopman Resolvents and Frequency Response of Nonlinear Systems
by: Susuki, Yoshihiko, et al.
Published: (2026)

Set-Based Value Function Characterization and Neural Approximation of Stabilization Domains for Input-Constrained Discrete-Time Systems
by: Serry, Mohamed, et al.
Published: (2026)

Meta-State-Space Learning: An Identification Approach for Stochastic Dynamical Systems
by: Beintema, Gerben I., et al.
Published: (2023)

Participation Factors for Nonlinear Autonomous Dynamical Systems in the Koopman Operator Framework
by: Takamichi, Kenji, et al.
Published: (2024)

Time-to-reach Bounds for Verification of Dynamical Systems Using the Koopman Spectrum
by: Ding, Jianqiang, et al.
Published: (2024)

Deep Koopman-based Control of Quality Variation in Multistage Manufacturing Systems
by: Chen, Zhiyi, et al.
Published: (2024)

Stochastic Reachability of Uncontrolled Systems via Probability Measures: Approximation via Deep Neural Networks
by: Sivaramakrishnan, Karthik, et al.
Published: (2023)

Koopman-based Control for Stochastic Systems: Application to Enhanced Sampling
by: Guo, Lei, et al.
Published: (2024)

Polynomial Parametric Koopman Operators for Stochastic MPC
by: Iliakis, Efstathios, et al.
Published: (2026)

Probabilistic Reachability Analysis of Stochastic Control Systems
by: Jafarpour, Saber, et al.
Published: (2024)

Koopman Form of Nonlinear Systems with Inputs
by: Iacob, Lucian Cristian, et al.
Published: (2022)

Physics-Informed Neural Network Policy Iteration: Algorithms, Convergence, and Verification
by: Meng, Yiming, et al.
Published: (2024)

Koopman-Based Learning of Infinitesimal Generators without Operator Logarithm
by: Meng, Yiming, et al.
Published: (2024)

Subspace Pruning via Principal Vectors for Accurate Koopman-Based Approximations
by: Shah, Dhruv, et al.
Published: (2026)

Closed-Loop Koopman Operator Approximation
by: Dahdah, Steven, et al.
Published: (2023)

Continuous Approximations of Projected Dynamical Systems via Control Barrier Functions
by: Delimpaltadakis, Giannis, et al.
Published: (2024)

On the Existence of Koopman Linear Embeddings for Controlled Nonlinear Systems
by: Shang, Xu, et al.
Published: (2026)

Second Moment Polytopic Systems: Generalization of Uncertain Stochastic Linear Dynamics
by: Ito, Yuji, et al.
Published: (2022)

Adaptive Koopman Embedding for Robust Control of Complex Nonlinear Dynamical Systems
by: Singh, Rajpal, et al.
Published: (2024)

Learning Stable Koopman Embeddings for Identification and Control
by: Fan, Fletcher, et al.
Published: (2024)

An Efficient Sparse Identification Algorithm For Stochastic Systems With General Observation Sequences
by: Wang, Ziming, et al.
Published: (2024)