Abstract:In this work, we continue our study on discrete abstractions of dynamical systems. To this end, we use a family of partitioning functions to generate an abstraction. The intersection of sub-level sets of the partitioning functions defines cells, which are regarded as discrete objects. The union of cells makes up the state space of the dynamical systems. Our construction gives rise to a combinatorial object - a timed automaton. We examine sound and complete abstractions. An abstraction is said to be sound when the flow of the time automata covers the flow lines of the dynamical systems. If the dynamics of the dynamical system and the time automaton are equivalent, the abstraction is complete. The commonly accepted paradigm for partitioning functions is that they ought to be transversal to the studied vector field. We show that there is no complete partitioning with transversal functions, even for particular dynamical systems whose critical sets are isolated critical points. Therefore, we allow the directional derivative along the vector field to be non-positive in this work. This considerably complicates the abstraction technique. For understanding dynamical systems, it is vital to study stable and unstable manifolds and their intersections. These objects appear naturally in this work. Indeed, we show that for an abstraction to be complete, the set of critical points of an abstraction function shall contain either the stable or unstable manifold of the dynamical system.

A categorical view on the converse Lyapunov theorem

Other Proof Of The Converse Lyapunov Theorems Of Hybrid Dynamical Systems

Lyapunov Function As Potential Function: A Dynamical Equivalence

Lyapunov stability of the equilibrium of the non-local continuity equation

On continuation and convex Lyapunov functions

Existence of a Smooth Lyapunov Function for Any Smooth Planar Dynamical System with One Limit Cycle

Asymptotic and Lyapunov Stability of Constrained and Poisson Equilibria

Differentiable conjugacies for one-dimensional maps

Lyapunov stability of compact sets in locally compact metric spaces

Lyapunov equations: a (fixed) point of view

A Necessary and Sufficient Stability Condition of Discrete-Time Monotone Systems: A Max-Separable Lyapunov Function Method

Bifurcation of Relative Equilibria in Mechanical Systems with Symmetry

Equivalence of Stability Concepts for Discrete Time‐varying Systems

Completeness of Lyapunov Abstraction

Isolated sets, catenary Lyapunov functions and expansive systems

A Stability Theorem of the Direct Lyapunov'S Method for Neutral-Type Systems in A Critical Case

Non-monotonicity of Lyapunov Functions for Functional Differential Equations with Enlightenments for Related Research Methods

Converse Barrier Functions via Lyapunov Functions

An equivalent condition for stability properties of Lotka–Volterra systems

Certificates of Nonexistence for Lyapunov-Based Stability, Stabilizability and Detectability of LPV Systems

Properties of covariant Lyapunov vectors as continuous vector fields