Browse College of Engineering by Author "Fan, Chuchu"
Now showing items 1-2 of 2
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 ...
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 ...