Kleene Algebra to Compute Invariant Sets of Dynamical Systems
In this paper, we show that a basic fixed point method used to enclose the greatest fixed point in a Kleene algebra will allow us to compute inner and outer approximations of invariant-based sets for continuous-time nonlinear dynamical systems. Our contribution is to provide the definitions and theo...
Main Authors: | Thomas Le Mézo, Luc Jaulin, Damien Massé, Benoit Zerr |
---|---|
Format: | Article |
Language: | English |
Published: |
MDPI AG
2022-03-01
|
Series: | Algorithms |
Subjects: | |
Online Access: | https://www.mdpi.com/1999-4893/15/3/90 |
Similar Items
-
Adjoint Operations in Twist-Products of Lattices
by: Ivan Chajda, et al.
Published: (2021-02-01) -
Geometric invariant theory/
by: 361413 Mumford, David
Published: (1965) -
Structural data and invariants of nine dimensional real Lie algebras with nontrivial Levi decomposition /
by: 503926 Campoamor-Stursberg, R.
Published: (c200) -
Geometric invariants for 3-Manifolds /
by: 226100 Meyerhoff, Robert -
Compact Fuzzy Systems Based on Boolean Relations
by: Helbert Espitia, et al.
Published: (2021-02-01)