Aditya Zutshi

Affiliations:
  • Duke University, Durham, NC, USA
  • Toyota (former)
  • University of Colorado, Boulder, CO, USA (PhD)


According to our database1, Aditya Zutshi authored at least 10 papers between 2012 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Statistical Verification of Cyber-Physical Systems using Surrogate Models and Conformal Inference.
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.
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.
Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

2016
Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software.
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

2015
Falsification of safety properties for closed loop control systems.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Requirements driven falsification with coverage metrics.
Proceedings of the 2015 International Conference on Embedded Software, 2015

Beyond single shooting: Iterative approaches to falsification.
Proceedings of the American Control Conference, 2015

2014
Multiple shooting, CEGAR-based falsification for hybrid systems.
Proceedings of the 2014 International Conference on Embedded Software, 2014

2013
A trajectory splicing approach to concretizing counterexamples for hybrid systems.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2012
Timed Relational Abstractions for Sampled Data Control Systems.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012


  Loading...