Technical Report: Directed Controller Synthesis of Discrete Event Systems
This work addresses controller synthesis for safety and reachability goals in untimed discrete event systems, representing an incremental improvement over prior approaches.
The paper tackles the problem of synthesizing reactive controllers for discrete event systems by introducing a Directed Controller Synthesis (DCS) technique that uses a domain-independent heuristic to guide exploration, resulting in reduced state space exploration compared to existing methods.
This paper presents a Directed Controller Synthesis (DCS) technique for discrete event systems. The DCS method explores the solution space for reactive controllers guided by a domain-independent heuristic. The heuristic is derived from an efficient abstraction of the environment based on the componentized way in which complex environments are described. Then by building the composition of the components on-the-fly DCS obtains a solution by exploring a reduced portion of the state space. This work focuses on untimed discrete event systems with safety and co-safety (i.e. reachability) goals. An evaluation for the technique is presented comparing it to other well-known approaches to controller synthesis (based on symbolic representation and compositional analyses).