Package ptolemy.vergil.basic.imprt.g4ltl

Import an FSMActor using LTL synthesis (G4LTL).

See: Description

Class Summary

Class	Description
G4LTL	Run the LTL synthesis (G4LTL) tool on a model.
ImportG4LTLAction	Import an FSMActor using LTL synthesis (G4LTL).

Package ptolemy.vergil.basic.imprt.g4ltl Description

Import an FSMActor using LTL synthesis (G4LTL).

"G4LTL is a standalone tool and a Java library for automatically generating controllers realizing linear temporal logic (LTL).

See http://www6.in.tum.de/~chengch/g4ltl/

Since:

Ptolemy II 8.1