Browse College of Engineering by Author "Fan, Chuchu"

  • Fan, Chuchu; Mitra, Sayan (Coordinated Science Laboratory, University of Illinois at Urbana-Champaign, 2015-02)
    Simulation-based verification algorithms can provide formal safety guarantees for nonlinear and hybrid systems. The previous algorithms rely on user-provided model annotations called “discrepancy functions,” which are ...

    application/pdf

    application/pdfPDF (475kB)
  • Fan, Chuchu; Kapinski, James; Jin, Xiaoqing; Mitra, Sayan (Coordinated Science Laboratory, University of Illinois at Urbana-Champaign, 2016-07-05)
    Safety verification of embedded systems modeled as hybrid systems can be scaled up by employing simulation-guided reach set over-approximation techniques. Existing methods are applicable only to restricted classes of ...

    application/pdf

    application/pdfPDF (518kB)