Reachability of weakly nonlinear systems using Carleman linearization

DOI10.1007/978-3-030-89716-1_6MaRDI QIDQ2695489zbMATH OpenOpenAlexFDO

Authors M. Forets, Christian Schilling

Publication date 31 March 2023

Full work available at URL https://arxiv.org/abs/2108.10390

zbMATH Keywords

Carleman linearizationepidemic modelsreachabilitysupport functions

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• Application de la théorie des équations intégrales linéaires aux systèmes d'équations différentielles non linéaires
• Carleman Linearization of Linearly Observable Polynomial Systems
• Change-of-bases abstractions for non-linear hybrid systems
• Complexity reduction through a Schur-based decomposition for reachability analysis of linear time-invariant systems
• scientific article; zbMATH DE number 51932 (Why is no real title available?)
• scientific article; zbMATH DE number 1961535 (Why is no real title available?)
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• Introduction to Interval Analysis
• JuliaReach
• Mathematical models in population biology and epidemiology
• Matrix calculus and Kronecker product. A practical approach to linear and multilinear algebra
• Matrix theory. Basic results and techniques
• Reach set approximation through decomposition with low-dimensional sets and high-dimensional matrices
• Reachability analysis of linear systems using support functions
• Reachability analysis of nonlinear systems using hybridization and dynamics scaling
• Simulation-equivalent reachability of large linear systems with inputs

Cited in

(8)

• Linearization, model reduction and reachability in nonlinear ODEs
• Reachability of weakly nonlinear systems using Carleman linearization
• Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement
• Carleman linearization of nonlinear systems and its finite-section approximations
• Carleman-Fourier linearization of nonlinear real dynamical systems
• Carleman linearization of differential-algebraic equations systems
• Linearization, model reduction and reachability in nonlinear \textsc{ODEs}
• Reachability of Koopman linearized systems using explicit kernel approximation and polynomial zonotope refinement

Describes a project that uses

Uses Software

• Breach
• SpaceEx
• JuliaReach
• GitHub

This page was built for publication: Reachability of weakly nonlinear systems using Carleman linearization

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2695489)