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]
Abstract is missing.