DPO-SYNT: Discrete control SYNThesis for Partially-Observed systems

  • DPO-SYNT is a C++ based software toolbox for property enforcement for partially-observed Discrete Event Systems. DPO-SYNT implements a recently developed uniform framework for synthesizing maximally-permissive supervisors and optimal sensor activation policies. It can handle a large variety of properties, including safety, opacity, diagnosability, detectability, in a uniform manner.

  • The current version can be downloaded Here.