Nonblocking and Safe Control of Discrete-Event Systems Modeled as Extended Finite Automata

Lucien Ouedraogo, Ratnesh Kumar, Robi Malik, Knut Ã…kesson. Nonblocking and Safe Control of Discrete-Event Systems Modeled as Extended Finite Automata. IEEE T. Automation Science and Engineering, 8(3):560-569, 2011. [doi]

Abstract

Abstract is missing.