Fribourg, L.; Goubault, E.; Mohamed, S.; Mrozek, M.; Putot, S. A topological method for finding invariant sets of continuous systems. (English) Zbl 1473.37018 Inf. Comput. 277, Article ID 104581, 12 p. (2021). MSC: 37B25 37B35 14Q30 34A26 34D05 37M21 68W30 90C22 PDFBibTeX XMLCite \textit{L. Fribourg} et al., Inf. Comput. 277, Article ID 104581, 12 p. (2021; Zbl 1473.37018) Full Text: DOI
Le Coënt, Adrien; Fribourg, Laurent; Markey, Nicolas; De Vuyst, Florian; Chamoin, Ludovic Compositional synthesis of state-dependent switching control. (English) Zbl 1405.93098 Theor. Comput. Sci. 750, 53-68 (2018). MSC: 93B50 93C30 93C55 93B03 93C95 93B35 PDFBibTeX XMLCite \textit{A. Le Coënt} et al., Theor. Comput. Sci. 750, 53--68 (2018; Zbl 1405.93098) Full Text: DOI