Skip to content

Home

Jump to bottom
Alberto Casagrande edited this page Apr 13, 2022 · 5 revisions

webSapo is a web user interface for Sapo supporting users in:

  • defining discrete-time parametric systems having polynomial dynamics
  • specifying an initial set and a set of parameters by means of polytopes
  • performing a bounded step reachability analysis of the system
  • writing an STL specification in positive normal form for the system
  • synthesizing a parameter set satisfying the provided STL specification
  • plotting 2D and 3D representations of both reachability set and parameter set

A free-to-use demo of webSapo is available here.

A screenshot

Clone this wiki locally