• Positive invariant cuts for verification with theorem provers.
    Nikos Aréchiga, James Kapinski, Jyotirmoy Deshmukh, André Platzer, Bruce Krogh
    Submitted to HSCC 2015

  • Using Verified Control Envelopes for Safe Controller Design
    N. Aréchiga, Bruce Krogh
    Accepted for publication at ACC 2014

  • Simulation-guided Lyapunov Analysis for Hybrid Dynamical Systems.
    J. Kapinski, J. V. Deshmukh, S. Sankaranarayanan, N. Aŕechiga
    Accepted for Publication at HSCC 2014

  • Using theorem provers to guarantee closed-loop system properties.
    Nikos Aréchiga, Sarah M. Loos, André Platzer, and Bruce H. Krogh.
    In Dawn Tilbury, editor, American Control Conference, ACC, Montréal,
    Canada, June 27-29. pages 3573-3580. 2012.