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