Aditya Zutshi

According to our database, Aditya Zutshi authored at least 11 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Statistical Verification using Surrogate Models and Conformal Inference and a Comparison with Risk-Aware Verification.

Xin Qin, Yuan Xia, Aditya Zutshi, Chuchu Fan, Jyotirmoy V. Deshmukh

ACM Trans. Cyber Phys. Syst., April, 2024

2022

Statistical Verification of Cyber-Physical Systems using Surrogate Models and Conformal Inference.

Xin Qin, Yuan Xian, Aditya Zutshi, Chuchu Fan, Jyotirmoy V. Deshmukh

Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022

2021

On-the-fly, data-driven reachability analysis and control of unknown systems: an F-16 aircraft case study.

Franck Djeumou, Aditya Zutshi, Ufuk Topcu

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

2018

Learning-based control design for deep brain stimulation.

Ilija Jovanov, Michael Naumann, Karthik Kumaravelu, Vuk Lesi, Aditya Zutshi, Warren M. Grill, Miroslav Pajic

Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

2016

Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software.

Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, Xiaoqing Jin

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

2015

Falsification of safety properties for closed loop control systems.

Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, James Kapinski, Xiaoqing Jin

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Requirements driven falsification with coverage metrics.

Adel Dokhanchi, Aditya Zutshi, Rahul T. Sriniva, Sriram Sankaranarayanan, Georgios Fainekos

Proceedings of the 2015 International Conference on Embedded Software, 2015

Beyond single shooting: Iterative approaches to falsification.

Jyotirmoy V. Deshmukh, Georgios Fainekos, James Kapinski, Sriram Sankaranarayanan, Aditya Zutshi, Xiaoqing Jin

Proceedings of the American Control Conference, 2015

2014

Multiple shooting, CEGAR-based falsification for hybrid systems.

Aditya Zutshi, Jyotirmoy V. Deshmukh, Sriram Sankaranarayanan, James Kapinski

Proceedings of the 2014 International Conference on Embedded Software, 2014

2013

A trajectory splicing approach to concretizing counterexamples for hybrid systems.

Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, James Kapinski

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2012

Timed Relational Abstractions for Sampled Data Control Systems.

Aditya Zutshi, Sriram Sankaranarayanan, Ashish Tiwari

Proceedings of the Computer Aided Verification - 24th International Conference, 2012