Reachability of weakly nonlinear systems using Carleman linearization

DOI10.1007/978-3-030-89716-1_6OpenAlexW3209665681MaRDI QIDQ2695489

Marcelo Forets, Christian Schilling

Publication date: 31 March 2023

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

zbMATH Keywords

reachabilitysupport functionsepidemic modelsCarleman linearization

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (1)

Linearization, model reduction and reachability in nonlinear ODEs

Uses Software

• SpaceEx
• Breach
• GitHub
• JuliaReach

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Change-of-bases abstractions for non-linear hybrid systems
• Reachability analysis of linear systems using support functions
• Application de la théorie des équations intégrales linéaires aux systèmes d'équations différentielles non linéaires
• Reachability analysis of nonlinear systems using hybridization and dynamics scaling
• Simulation-equivalent reachability of large linear systems with inputs
• Complexity reduction through a Schur-based decomposition for reachability analysis of linear time-invariant systems
• Mathematical Models in Population Biology and Epidemiology
• Carleman Linearization of Linearly Observable Polynomial Systems
• Introduction to Interval Analysis
• Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices
• JuliaReach
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• Matrix theory. Basic results and techniques

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