Discrete abstraction and supervisory control of switching systems.

Rong Su, Sherif Abdelwahed, Gabor Karsai, Gautam Biswas

Browse the full SMC paper archive.