"Using Supervisory Control to Synthesize Safety Controllers for Connected ..."

Baskar Sridharan, Aditya P. Mathur, Kai-Yuan Cai (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics