Mutually Nonblocking Supervisory Control of Discrete Event Systems
Journal article, 2000
Supervisory
Discrete
Control
Languages
Event
Languages
Theory
Formal
Nonblocking
Modular
Nonconflicting
Languages
Specification
Mutually
Systems
Author
Martin Fabian
Chalmers, Signals and Systems, Control and Automation Laboratory
Ratnesh Kumar
Automatica
36 1863-1869
Subject Categories
Computer and Information Science