SY-CONTROL : A TOOL FOR SYNTACTIC CONTROL IN TEMPORAL LOGIC

This paper describes Sy-Control, a software tool for syntactic control of discrete event systems (DES). Given a plant behavior and some desired behavior, both described in propositional linear temporal logic (PLTL), a causal and nonblocking controller is to be synthesized that restricts the system's closed loop behavior to a subset of the desired behavior. The authors summarize the syntactic procedure to derive the rule representing the maximal such controller. The Sy- Control tool and described and its use is illustrated. Because the complexity of Sy-Control is linear in the size of its input, it can be an important addition to the set of DES control tools.