Technical Report: Directed Controller Synthesis of Discrete Event Systems

TL;DR

This paper introduces a Directed Controller Synthesis technique for discrete event systems that efficiently explores the solution space using heuristics derived from environment abstractions, improving controller synthesis for safety and reachability goals.

Contribution

It proposes a novel DCS method guided by heuristics from environment abstractions, enabling on-the-fly composition and reduced state space exploration in discrete event systems.

Findings

The DCS technique outperforms traditional methods in efficiency.

It effectively handles safety and reachability goals.

The approach is validated through comparative evaluations.

Abstract

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).