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 × Cite Format Result Cite Review PDF 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 × Cite Format Result Cite Review PDF Full Text: DOI Link