DdAutomata (Automata tools)
Abstract
DdAutomata is a set of tools to manipulate automata mainly used in the context of model based diagnosis (Diades collection). Among the proposed tools, ddautomata can determine, minimize, simulate, synchronize automata. It also can compute observers, diagnosers, fault signatures, twin plants, consistent traces...
