Explore projects

Code for "Non-parametric IQC Multipliers in Data-Driven Robust Controller Synthesis"

Program verifier for Scala. Documentation, sources on GitHub

Code for "Achieving robustness against uncertain time delays using non-parametric IQCs"