Kalyon, Gabriel; Le Gall, Tristan; Marchand, Hervé; Massart, Thierry Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation. (English) Zbl 1242.93074 Discrete Event Dyn. Syst. 22, No. 2, 121-161 (2012). MSC: 93C65 93B50 93B52 PDF BibTeX XML Cite \textit{G. Kalyon} et al., Discrete Event Dyn. Syst. 22, No. 2, 121--161 (2012; Zbl 1242.93074) Full Text: DOI Link
Kalyon, Gabriel; Le Gall, Tristan; Marchand, Hervé; Massart, Thierry Decentralized control of infinite systems. (English) Zbl 1226.93013 Discrete Event Dyn. Syst. 21, No. 3, 359-393 (2011). MSC: 93A14 93B52 93B50 PDF BibTeX XML Cite \textit{G. Kalyon} et al., Discrete Event Dyn. Syst. 21, No. 3, 359--393 (2011; Zbl 1226.93013) Full Text: DOI Link