Tech Report Number
02-023
Date of this Version
10-1-2002
Recommended Citation
Sridharan, Baskar; Mathur, Aditya P.; and Cai, Kai-Yuan, "Synthesizing a Safety Controller for ConnectedSpaces Using Supervisory Control" (2002). Department of Computer Science Technical Reports. Paper 1541.
https://docs.lib.purdue.edu/cstech/1541
Number of Pages
14