Explore projects

SCDDS (Simulink-based Control Design and Deployment Suite). https://scdds-core.readthedocs.io/en/latest/

EPFL CS550 - Formal Verification

Asynchronous version of the VEGA radiotelescope APM

CHEASE fixed-boundary axisymmetric tokamak equilibrium code