Supervisory Control Theory in System Safety Analysis.

Yuvaraj Selvaraj, Zhennan Fei, Martin Fabian

Browse the full SAFECOMP paper archive.