C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Aditya Zutshi
Publication Activity (10 Years)
Years Active: 2012-2022
Publications (10 Years): 7
Top Topics
Reachability Analysis
Disturbance Rejection
Closed Loop
Hybrid Systems
Top Venues
HSCC
EMSOFT
ICCPS
ACC
</>
Publications
</>
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)