search

spmaniato / Behavior-Synthesis-ICRA-2016

"Reactive High-level Behavior Synthesis for an ATLAS Humanoid Robot", ICRA 2016
0 stars 0 forks source link

Compare synthesized automaton to generated state machine #4

Closed spmaniato closed 8 years ago

spmaniato commented 9 years ago

Since there are two steps to synthesizing a state machine, GR(1) synthesis and SM generation, it might make sense to include a figure that compares the two (automaton vs. SM in FlexBE) for the "pickup cutting tool" demo.

Update: See Redmine ticket #3180

spmaniato commented 8 years ago

Preliminary visualization result that Vitchyr made. Next we'll try a "raw" automaton, which also includes the memory propositions.

Also, I'm not sure what's the best way to visualize the initial valuation of the environment/input propositions (stand_prep_c here).

stand_and_pick

spmaniato commented 8 years ago

Done: Fig. 4 <-> Fig. 6(a)