Kleene Algebra to Compute Invariant Sets of Dynamical Systems

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...

Full description

Bibliographic Details
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:
invariant sets
Kleene algebra
nonlinear dynamical systems
path planning
Online Access:https://www.mdpi.com/1999-4893/15/3/90

Internet

https://www.mdpi.com/1999-4893/15/3/90

Similar Items