Damm, W.; Hungar, H.; Olderog, E.-R. Verification of cooperating traffic agents. (English) Zbl 1122.90325 Int. J. Control 79, No. 5, 395-421 (2006). MSC: 90B20 93A30 PDFBibTeX XMLCite \textit{W. Damm} et al., Int. J. Control 79, No. 5, 395--421 (2006; Zbl 1122.90325) Full Text: DOI
Hammer, Jacob On the corrective control of sequential machines. (English) Zbl 0855.93009 Int. J. Control 65, No. 2, 249-276 (1996). MSC: 93A10 93A99 93C30 90B25 92C40 PDFBibTeX XMLCite \textit{J. Hammer}, Int. J. Control 65, No. 2, 249--276 (1996; Zbl 0855.93009) Full Text: DOI
Hammer, Jacob On the control of incompletely described sequential machines. (English) Zbl 0855.93039 Int. J. Control 63, No. 6, 1005-1028 (1996). Reviewer: G.J.Olsder (Delft) MSC: 93C41 93B50 68Q45 93A10 PDFBibTeX XMLCite \textit{J. Hammer}, Int. J. Control 63, No. 6, 1005--1028 (1996; Zbl 0855.93039) Full Text: DOI
Willner, Y.; Heymann, M. Supervisory control of concurrent discrete-event systems. (English) Zbl 0752.93043 Int. J. Control 54, No. 5, 1143-1169 (1991). MSC: 93C55 PDFBibTeX XMLCite \textit{Y. Willner} and \textit{M. Heymann}, Int. J. Control 54, No. 5, 1143--1169 (1991; Zbl 0752.93043) Full Text: DOI