A topological method for finding invariant sets of continuous systems

DOI10.1016/J.IC.2020.104581MaRDI QIDQ5925511zbMATH OpenOpenAlexFDO

Authors Laurent Fribourg, Éric Goubault, Sameh Mohamed, Marian Mrozek, Sylvie Putot

Publication date 13 April 2021

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ic.2020.104581

zbMATH Keywords

continuous dynamical systemsinvariant setssum of squarestemplateWażewski's property

Mathematics Subject Classification ID

Computational real algebraic geometry (14Q30) Geometric methods in ordinary differential equations (34A26) Asymptotic properties of solutions to ordinary differential equations (34D05) Stability of topological dynamical systems (37B25) Gradient-like behavior; isolated (locally maximal) invariant sets; attractors, repellers for topological dynamical systems (37B35) Computational methods for invariant manifolds of dynamical systems (37M21) Symbolic computation and algebraic computation (68W30) Semidefinite programming (90C22)

Recommendations

• A topological method for finding invariant sets of continuous systems
• A topological method for finding invariant sets of switched systems
• Characterizing positively invariant sets: inductive and topological methods
• scientific article; zbMATH DE number 2226777
• Discovering forward invariant sets for nonlinear dynamical systems

Cites work

• <tex>L_infty</tex>-stability criteria for interconnected systems using exponential weighting
• A combinatorial procedure for finding isolating neighbourhoods and index pairs
• A Policy Iteration Technique for Time Elapse over Template Polyhedra
• A topological method for finding invariant sets of continuous systems
• A topological method for finding invariant sets of switched systems
• Algorithms in real algebraic geometry
• Approximate bisimulation relations for constrained linear systems
• Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
• Automatic synthesis of piecewise linear quadratic invariants for programs
• Box invariance in biologically-inspired dynamical systems
• Homotopy colimits - comparison lemmas for combinatorial applications
• scientific article; zbMATH DE number 1703931 (Why is no real title available?)
• scientific article; zbMATH DE number 2187345 (Why is no real title available?)
• scientific article; zbMATH DE number 177492 (Why is no real title available?)
• scientific article; zbMATH DE number 3616736 (Why is no real title available?)
• scientific article; zbMATH DE number 527343 (Why is no real title available?)
• scientific article; zbMATH DE number 638938 (Why is no real title available?)
• scientific article; zbMATH DE number 1787320 (Why is no real title available?)
• scientific article; zbMATH DE number 2226777 (Why is no real title available?)
• scientific article; zbMATH DE number 3050273 (Why is no real title available?)
• Index pairs algorithms
• Inner approximated reachability analysis
• Length of Polynomial Ascending Chains and Primitive Recursiveness.
• Local semi-dynamical systems
• Lyapunov functions and isolating blocks
• Nonlinear systems.
• Polygonal approximation of flows
• Stability Criteria for Switched and Hybrid Systems
• Stability of dynamical polysystems via families of Liapunov functions
• The limit cycle of the van der Pol equation is not algebraic
• Verification, Model Checking, and Abstract Interpretation

Cited in

(6)

• Characterizing positively invariant sets: inductive and topological methods
• Finding positively invariant sets of a class of nonlinear loops via curve fitting
• A topological method for finding invariant sets of switched systems
• scientific article; zbMATH DE number 4162691 (Why is no real title available?)
• Ważewski's topological method for Caratheodory systems
• A topological method for finding invariant sets of continuous systems

Describes a project that uses

Uses Software

• MATISSE

This page was built for publication: A topological method for finding invariant sets of continuous systems

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