Baskar Sridharan, Aditya P. Mathur, Kai-Yuan Cai. Using Supervisory Control to Synthesize Safety Controllers for Connected Spaces. In 3rd International Conference on Quality Software (QSIC 2003), 6-7 November 2003, Dallas, TX, USA. pages 186, IEEE Computer Society, 2003. [doi]
@inproceedings{SridharanMC03,
title = {Using Supervisory Control to Synthesize Safety Controllers for Connected Spaces},
author = {Baskar Sridharan and Aditya P. Mathur and Kai-Yuan Cai},
year = {2003},
url = {http://csdl.computer.org/comp/proceedings/qsic/2003/2015/00/20150186abs.htm},
researchr = {https://researchr.org/publication/SridharanMC03},
cites = {0},
citedby = {0},
pages = {186},
booktitle = {3rd International Conference on Quality Software (QSIC 2003), 6-7 November 2003, Dallas, TX, USA},
publisher = {IEEE Computer Society},
isbn = {0-7695-2015-4},
}