Bengt Lennartson, Francesco Basile, Sajed Miremadi, Zhennan Fei, Mona Noori Hosseini, Martin Fabian, Knut Åkesson. Supervisory Control for State-Vector Transition Models - A Unified Approach. IEEE T. Automation Science and Engineering, 11(1):33-47, 2014. [doi]
Abstract is missing.