Sign Up to like & get
recommendations!
1
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