Home       Publications       Tools       Breach Toolbox       Teaching       Contact

As main developper

  • Breach: a toolbox for systematic simulation of hybrid dynamical system, supporting signal temporal logic (STL) specifications.
  • CPSGrader: UC Berkeley Auto-Grader for Cyber-Physical Systems.
  • BluSTL: control synthesis with STL specifications (with Vasu Raman).

As contributor

  • SpaceEx: modeling and reachability analysis for hybrid systems.
  • EVL: a library for multi-methods in C++.