Image de couverture de livre

Learning Nonlinear Continuous-Time Systems for Formal Uncertainty Propagation and Probabilistic Evaluation

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Amorese, Peter, Lahijanian, Morteza
Format:	Preprint
Publié:	2026
Sujets:	Systems and Control Dynamical Systems
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Learning Markov Processes as Sum-of-Square Forms for Analytical Belief Propagation
par: Amorese, Peter, et autres
Publié: (2026)

Universal Learning of Stochastic Dynamics for Exact Belief Propagation using Bernstein Normalizing Flows
par: Amorese, Peter, et autres
Publié: (2025)

On Polynomial Stochastic Barrier Functions: Bernstein Versus Sum-of-Squares
par: Amorese, Peter, et autres
Publié: (2025)

Uncertainty Propagation in Stochastic Systems via Mixture Models with Error Quantification
par: Figueiredo, Eduardo, et autres
Publié: (2024)

Data-Driven Control via Conditional Mean Embeddings: Formal Guarantees via Uncertain MDP Abstraction
par: Gracia, Ibon, et autres
Publié: (2025)

Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems
par: Cauchi, Nathalie, et autres
Publié: (2019)

A Continuous-Time and State-Space Relaxation of the Linear Threshold Model with Nonlinear Opinion Dynamics
par: Belaustegui, Ian Xul, et autres
Publié: (2026)

Enhanced Koopman Operator Approximation for Nonlinear Systems Using Broading Learning System
par: Sun, Yangjun, et autres
Publié: (2025)

Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems
par: Gracia, Ibon, et autres
Publié: (2025)

A Unifying Perspective for Safety of Stochastic Systems: From Barrier Functions to Finite Abstractions
par: Laurenti, Luca, et autres
Publié: (2023)

Control of Nonlinear Systems Under Multiple Time-Varying Output Constraints: A Single Funnel Approach
par: Mehdifar, Farhad, et autres
Publié: (2023)

Data-Driven Strategy Synthesis for Stochastic Systems with Unknown Nonlinear Disturbances
par: Gracia, Ibon, et autres
Publié: (2024)

On the Uniqueness of Participation Factors in Nonlinear Dynamical Systems
par: Xia, Tianwei, et autres
Publié: (2024)

On Koopman Resolvents and Frequency Response of Nonlinear Systems
par: Susuki, Yoshihiko, et autres
Publié: (2026)

Robust Closed-Form Control for MIMO Nonlinear Systems under Conflicting Time-Varying Hard and Soft Constraints (extended version)
par: Mehdifar, Farhad, et autres
Publié: (2025)

Region of Attraction Estimate Learning and Verification for Nonlinear Systems using Neural-Network-based Lyapunov Functions
par: Bechihi, Adel, et autres
Publié: (2025)

Observability of Nonlinear Dynamical Systems over Finite Fields
par: Anantharaman, Ramachandran, et autres
Publié: (2024)

Exact and Parametric Dynamical System Representation of Nonlinear Functions
par: Ohtsuka, Toshiyuki
Publié: (2025)

On Boundedness of Quadratic Dynamics with Energy-Preserving Nonlinearity
par: Liao, Shih-Chi, et autres
Publié: (2025)

Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression
par: Skovbekk, John, et autres
Publié: (2021)

Input Dexterity and Output Negotiation in Feedback-Linearizable Nonlinear Systems
par: Mizzoni, Mirko, et autres
Publié: (2026)

Provably Safe Control for Constrained Nonlinear Systems with Bounded Input
par: Kumar, Saurabh, et autres
Publié: (2025)

Participation Factors for Nonlinear Autonomous Dynamical Systems in the Koopman Operator Framework
par: Takamichi, Kenji, et autres
Publié: (2024)

Formal Entropy-Regularized Control of Stochastic Systems
par: van Zutphen, Menno, et autres
Publié: (2026)

On the Nonexistence of Continuous Immersions for Discrete-time Systems
par: Ristich, Eron, et autres
Publié: (2026)

An Approach for the Qualitative Graphical Representation of the Describing Function in Nonlinear Systems Stability Analysis
par: Tebaldi, Davide, et autres
Publié: (2026)

Time-Varying Reach-Avoid Control Certificates for Stochastic Systems
par: Mazouz, Rayan, et autres
Publié: (2026)

Deep Q-Learning-Based Gain Scheduling for Nonlinear Quadcopter Dynamics
par: Rastgoftar, Hossein, et autres
Publié: (2026)

Global Linearization of Parameterized Nonlinear Systems with Stable Equilibrium Point Using the Koopman Operator
par: Katayama, Natsuki, et autres
Publié: (2026)

Beyond Carleman Linearization of Nonlinear Dynamical System: Insights from a Case Study
par: Chen, Panpan, et autres
Publié: (2025)

Learning Koopman-based Stability Certificates for Unknown Nonlinear Systems
par: Zhou, Ruikun, et autres
Publié: (2024)

On the Optimality of Uncertain MDP Abstractions
par: Gracia, Ibon, et autres
Publié: (2026)

Efficient Strategy Synthesis for Switched Stochastic Systems with Distributional Uncertainty
par: Gracia, Ibon, et autres
Publié: (2022)

Finite Sample Analyses for Continuous-time Linear Systems: System Identification and Online Control
par: Zhou, Hongyi, et autres
Publié: (2025)

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions
par: Liu, Jun, et autres
Publié: (2025)

Piecewise Control Barrier Functions for Stochastic Systems
par: Mazouz, Rayan, et autres
Publié: (2025)

Linear Systems as Representations of Time Groups
par: Sinha, Subhrajit
Publié: (2026)

Stochastic Reinforcement Learning with Stability Guarantees for Control of Unknown Nonlinear Systems
par: Quartz, Thanin, et autres
Publié: (2024)

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances
par: Gracia, Ibon, et autres
Publié: (2024)

Learning-Based Shielding for Safe Autonomy under Unknown Dynamics
par: Reed, Robert, et autres
Publié: (2024)