Try out the examples in the examples folder using the binder service. The package can also be installed on Google Colab using the commands: The easiest way to get started with the Control Systems ...
This is the prototype of Velo, as presented in the paper: "Verifying maximum link loads in a changing world" by Tibor Schneider, Stefano Vissicchio, and Laurent Vanbever. To meet ever more stringent ...