@article{lemezo:hal-03648084, TITLE = {{Kleene Algebra to Compute Invariant Sets of Dynamical Systems}}, AUTHOR = {Le M{\'e}zo, Thomas and Jaulin, Luc and Mass{\'e}, Damien and Zerr, Benoit}, URL = {https://ensta-bretagne.hal.science/hal-03648084}, JOURNAL = {{Algorithms}}, PUBLISHER = {{MDPI}}, VOLUME = {15}, NUMBER = {3}, PAGES = {90}, YEAR = {2022}, DOI = {10.3390/a15030090}, KEYWORDS = {invariant sets ; Kleene algebra ; nonlinear dynamical systems ; path planning}, PDF = {https://ensta-bretagne.hal.science/hal-03648084/file/algorithms-15-00090-v2.pdf}, HAL_ID = {hal-03648084}, HAL_VERSION = {v1}, }