COCOLOG: A Conditional Observer and Controller Logic for Finite Machines. Caines, P. E. & Wang, S. In Proceedings of the 29th IEEE Conference on Decision and Control, Hawaii, 1990. bibtex @inproceedings{caines:coco,
Address = {Hawaii},
Author = {Peter E. Caines and S. Wang},
Booktitle = {Proceedings of the 29th {IEEE} Conference on Decision and Control},
Title = {{COCOLOG}: A Conditional Observer and Controller Logic for Finite Machines},
Year = {1990}}
Downloads: 0
{"_id":{"_str":"534279640e946d920a001787"},"__v":1,"authorIDs":[],"author_short":["Caines, P. E.","Wang, S."],"bibbaseid":"caines-wang-cocologaconditionalobserverandcontrollerlogicforfinitemachines-1990","bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Hawaii","author":[{"firstnames":["Peter","E."],"propositions":[],"lastnames":["Caines"],"suffixes":[]},{"firstnames":["S."],"propositions":[],"lastnames":["Wang"],"suffixes":[]}],"booktitle":"Proceedings of the 29th IEEE Conference on Decision and Control","title":"COCOLOG: A Conditional Observer and Controller Logic for Finite Machines","year":"1990","bibtex":"@inproceedings{caines:coco,\n\tAddress = {Hawaii},\n\tAuthor = {Peter E. Caines and S. Wang},\n\tBooktitle = {Proceedings of the 29th {IEEE} Conference on Decision and Control},\n\tTitle = {{COCOLOG}: A Conditional Observer and Controller Logic for Finite Machines},\n\tYear = {1990}}\n\n","author_short":["Caines, P. E.","Wang, S."],"key":"caines:coco","id":"caines:coco","bibbaseid":"caines-wang-cocologaconditionalobserverandcontrollerlogicforfinitemachines-1990","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.cs.toronto.edu/cogs/bib/standard-long.bib","downloads":0,"keywords":[],"search_terms":["cocolog","conditional","observer","controller","logic","finite","machines","caines","wang"],"title":"COCOLOG: A Conditional Observer and Controller Logic for Finite Machines","year":1990,"dataSources":["2cjnbEWxd35GBeqEe"]}