Question: Plotting an Automaton

tulip-control / omega

Specify and synthesize systems using symbolic algorithms

https://pypi.org/project/omega

Other

46 stars 5 forks source link

Question: Plotting an Automaton #13

Closed glarange closed 3 years ago

glarange commented 3 years ago

How do I plot the graph for the expression u below? Thanks, Gui


aut = trl.Automaton()
aut.declare_variables(x=(0, 3))
u=aut.add_expr('x = 3')```

johnyf commented 3 years ago

What is meant by "the graph for the expression u"?

glarange commented 3 years ago

You already answered this over in https://github.com/tulip-control/dd/issues/71: aut.bdd.dump('example_1.pdf', [u])

Sorry for repeat question. What I got after trying above was: FileNotFoundError: [WinError 2] "dot" not found in path I suspect this is something to do with graphviz, but am not sure.

johnyf commented 3 years ago

So the graph here refers to the BDD that represents u.

Yes, the message about dot is related to GraphViz.