Plotting discrete abstraction

[abadithela]

Hi,

I am using the tulip abstraction functions on a 2D-hovercraft modeled as a double integrator. The state vector is [x; vx; y; vy]. I'm wondering if there's any way to modify the plot function so that it only plots the abstracted position regions? Since the abstraction plot function plots in 2D, it wouldn't accept discretized dynamics with more than 2 states because it can't pick out the specific position variables.

Thanks,
Apurva

[slivingston]

@abadithela did you find a solution for this?

You can project the polytopes onto the subspace corresponding to position.