search

SpectraSynthesizer / spectra-synt

Spectra Synthesizer
BSD 3-Clause "New" or "Revised" License
6 stars 3 forks source link

Help for symbolic controllers #1

Open amarbanerjee23 opened 4 years ago

amarbanerjee23 commented 4 years ago

Great work guys !! Very nice to see a clean implementation of controller synthesis tool after a long time. I was wondering if the generated Synbolic Controllers could be somehow visualized ? Is its possible ?

Cheers, Amar

amarbanerjee23 commented 4 years ago

Also is it possible to generate some implementable code for the generated Concrete Controller ? Thanks in advance, Amar

iliashevrin commented 4 years ago

Hi Amar, Thank you for trying out Spectra. For your question, you can "walk" the symbolic controller with the Rich Controller Walker tool from the add-ons menu. You may act either as the system or as the environment, or both. Remember that controllers can be very huge w.r.t number of states. In any case, you may have already noticed that in the console output of the generated concrete controller there is a DOT representation of the automaton, which you can copy paste into some graph visualizer online.

Hope that helps, Ilia