Skip to content

GitLab

Discrete Event Controller Synthesis · Changes

Page history
Update Discrete Event Controller Synthesis authored by Sebastian Uchitel's avatar Sebastian Uchitel
Show whitespace changes
Inline Side-by-side
Showing with 0 additions and 2 deletions
enduser/Discrete-Event-Controller-Synthesis.md
View page @ f961b3cd
...@@ -28,8 +28,6 @@ A concrete example ...@@ -28,8 +28,6 @@ A concrete example
Plant = (a -> b -> d -> Plant | c -> d -> Plant | e -> AUX), Plant = (a -> b -> d -> Plant | c -> d -> Plant | e -> AUX),
AUX = (f -> AUX | g -> Plant). AUX = (f -> AUX | g -> Plant).
ltl_property NoB = []!b ltl_property NoB = []!b
fluent FE = <e, {a, b, c, d, f, g}> fluent FE = <e, {a, b, c, d, f, g}>
fluent FD = <d, {a, b, c, e, f, g}> fluent FD = <d, {a, b, c, e, f, g}>
......