Wang, Suning; Caines, Peter E. Automated reasoning with function evaluation for COCOLOG. (English) Zbl 0880.68119 Ann. Math. Artif. Intell. 20, No. 1-4, 301-334 (1997). MSC: 68T15 68T27 PDFBibTeX XMLCite \textit{S. Wang} and \textit{P. E. Caines}, Ann. Math. Artif. Intell. 20, No. 1--4, 301--334 (1997; Zbl 0880.68119) Full Text: DOI
Caines, Peter E.; Wang, Suning COCOLOG: A conditional observer and controller logic for finite machines. (English) Zbl 0840.93007 SIAM J. Control Optimization 33, No. 6, 1687-1715 (1995). Reviewer: D.Franke (Hamburg) MSC: 93A99 93B07 68Q45 03B10 03B25 PDFBibTeX XMLCite \textit{P. E. Caines} and \textit{S. Wang}, SIAM J. Control Optim. 33, No. 6, 1687--1715 (1995; Zbl 0840.93007) Full Text: DOI
Dai, J. S.; Wang, S. N.; Yang, X. Y. The multichannel quickest-path problem. (English) Zbl 0818.90047 Int. J. Syst. Sci. 25, No. 11, 2047-2056 (1994). MSC: 90B18 PDFBibTeX XMLCite \textit{J. S. Dai} et al., Int. J. Syst. Sci. 25, No. 11, 2047--2056 (1994; Zbl 0818.90047) Full Text: DOI
Caines, Peter E.; Greiner, Russell; Wang, Suning Classical and logic-based dynamic observers for finite automata. (English) Zbl 0734.93019 IMA J. Math. Control Inf. 8, No. 1, 45-80 (1991). MSC: 93B07 68Q45 93A99 PDFBibTeX XMLCite \textit{P. E. Caines} et al., IMA J. Math. Control Inf. 8, No. 1, 45--80 (1991; Zbl 0734.93019) Full Text: DOI