Aditya Zutshi

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 5

Top Topics

Trajectory Tracking

Control Software

Reachability Analysis

Top Venues

Publications

Xin Qin, Yuan Xia, Aditya Zutshi, Chuchu Fan, Jyotirmoy V. Deshmukh
Statistical Verification using Surrogate Models and Conformal Inference and a Comparison with Risk-Aware Verification. ACM Trans. Cyber Phys. Syst. 8 (2) (2024)
Xin Qin, Yuan Xian, Aditya Zutshi, Chuchu Fan, Jyotirmoy V. Deshmukh
Statistical Verification of Cyber-Physical Systems using Surrogate Models and Conformal Inference. ICCPS (2022)
Franck Djeumou, Aditya Zutshi, Ufuk Topcu
On-the-fly, data-driven reachability analysis and control of unknown systems: an F-16 aircraft case study. HSCC (2021)
Ilija Jovanov, Michael Naumann, Karthik Kumaravelu, Vuk Lesi, Aditya Zutshi, Warren M. Grill, Miroslav Pajic
Learning-based control design for deep brain stimulation. ICCPS (2018)
Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, Xiaoqing Jin
Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software. HSCC (2016)
Jyotirmoy V. Deshmukh, Georgios Fainekos, James Kapinski, Sriram Sankaranarayanan, Aditya Zutshi, Xiaoqing Jin
Beyond single shooting: Iterative approaches to falsification. ACC (2015)
Adel Dokhanchi, Aditya Zutshi, Rahul T. Sriniva, Sriram Sankaranarayanan, Georgios Fainekos
Requirements driven falsification with coverage metrics. EMSOFT (2015)
Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, James Kapinski, Xiaoqing Jin
Falsification of safety properties for closed loop control systems. HSCC (2015)
Aditya Zutshi, Jyotirmoy V. Deshmukh, Sriram Sankaranarayanan, James Kapinski
Multiple shooting, CEGAR-based falsification for hybrid systems. EMSOFT (2014)
Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, James Kapinski
A trajectory splicing approach to concretizing counterexamples for hybrid systems. CDC (2013)
Aditya Zutshi, Sriram Sankaranarayanan, Ashish Tiwari
Timed Relational Abstractions for Sampled Data Control Systems. CAV (2012)