Kleene Algebra to Compute Invariant Sets of Dynamical Systems
Sign Up to like & getrecommendations! Published in 2022 at "Algorithms"
DOI: 10.3390/a15030090
Abstract: 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… read more here.
Keywords: kleene algebra; compute invariant; dynamical systems; invariant sets ... See more keywords