aditya zutshi

Aditya Zutshi

PhD
University of Colorado, Boulder

Curriculum Vitae

Email: first DOT last AT colorado DOT edu
I am a recent PhD grad from University of Colorado, Boulder.
My advisor was Prof. Sriram Sankaranarayanan.

I am interested in verification and falsification of properties of Hybrid Systems.

Projects

  • Timed Relational Abstractions

  • A Basic simulator for Hybrid Automata

  • Falsification using Trajectory Optimization (code available on request)

  • S3CAM: Falsifications using Graph Search over Trajectory Segments (no longer mantained) (Code used to generate results in the EMSOFT'14 paper is available on request).

  • S3CAM-X: S3CAM + Symbolic Execution to falsify safety properties in closed loop models.

  • S3CAM-R: S3CAM + Relationalization to improve upon weaknesses of S3CAM and to scale to higher dimensions (under development).

  • S3CAM-RX: S3CAMR + S3CAMX (planned for future...)


Publications

  • Timed Relational Abstractions for Sampled Data Control Systems.
    Aditya Zutshi, Sriram Sankaranarayanan, Ashish Tiwari
    CAV 2012: paper, slides(ppt), slides(pdf)
  • A Trajectory Splicing Approach to Concretizing Counterexamples for Hybrid Systems.
    Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, James Kapinski
    CDC 2013: paper, slides(pptx), slides(pdf)
  • Multiple Shooting, CEGAR-based Falsification for Hybrid Systems.
    Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, James Kapinski
    EMSOFT 2014: paper, slides(pptx), slides(pdf), transcript of talk
    Best paper award (sigbed)
  • Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software.
    Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, Xiaoqing Jin
    HSCC 2016: paper, slides(pptx), slides(pdf)
    Best student paper award