Department of Computer Science Technical Reports

Synthesizing a Safety Controller for ConnectedSpaces Using Supervisory Control

Baskar Sridharan
Aditya P. Mathur, Purdue UniversityFollow
Kai-Yuan Cai

2002

02-023

COinS