Segui
Aditya Zutshi
Aditya Zutshi
Galois Inc.
Email verificata su colorado.edu
Titolo
Citata da
Citata da
Anno
Multiple shooting, cegar-based falsification for hybrid systems
A Zutshi, JV Deshmukh, S Sankaranarayanan, J Kapinski
Proceedings of the 14th International Conference on Embedded Software, 1-10, 2014
752014
A trajectory splicing approach to concretizing counterexamples for hybrid systems
A Zutshi, S Sankaranarayanan, JV Deshmukh, J Kapinski
52nd IEEE Conference on Decision and Control, 3918-3925, 2013
452013
Requirements driven falsification with coverage metrics
A Dokhanchi, A Zutshi, RT Sriniva, S Sankaranarayanan, G Fainekos
2015 International Conference on Embedded Software (EMSOFT), 31-40, 2015
442015
Timed relational abstractions for sampled data control systems
A Zutshi, S Sankaranarayanan, A Tiwari
Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012
262012
Falsification of safety properties for closed loop control systems
A Zutshi, S Sankaranarayanan, JV Deshmukh, J Kapinski, X Jin
Proceedings of the 18th International Conference on Hybrid Systems …, 2015
202015
Statistical verification of cyber-physical systems using surrogate models and conformal inference
X Qin, Y Xia, A Zutshi, C Fan, JV Deshmukh
2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS …, 2022
142022
Symbolic-numeric reachability analysis of closed-loop control software
A Zutshi, S Sankaranarayanan, JV Deshmukh, X Jin
Proceedings of the 19th International Conference on Hybrid Systems …, 2016
132016
Statistical verification of autonomous systems using surrogate models and conformal inference
C Fan, X Qin, Y Xia, A Zutshi, J Deshmukh
arXiv preprint arXiv:2004.00279, 2020
102020
A study of virtual environments for enterprise collaboration
A Zutshi, G Sharma
Proceedings of the 8th International Conference on Virtual Reality Continuum …, 2009
92009
Beyond single shooting: Iterative approaches to falsification
J Deshmukh, G Fainekos, J Kapinski, S Sankaranarayanan, A Zutshi, ...
2015 American Control Conference (ACC), 4098-4098, 2015
82015
Systems theoretic process analysis of a run time assured neural network control system
KL Hobbs, B Heiner, L Busse, K Dunlap, J Rowanhill, AB Hocking, ...
AIAA SciTech 2023 Forum, 2664, 2023
62023
Statistical verification of cyber-physical systems using surrogate models and conformal inference. In 2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS)
X Qin, Y Xian, A Zutshi, C Fan, JV Deshmukh
IEEE, 116ś126, 2022
52022
On-the-fly, data-driven reachability analysis and control of unknown systems: an F-16 aircraft case study
F Djeumou, A Zutshi, U Topcu
Proceedings of the 24th International Conference on Hybrid Systems …, 2021
42021
Statistical verification using surrogate models and conformal inference and a comparison with risk-aware verification
X Qin, Y Xia, A Zutshi, C Fan, JV Deshmukh
ACM Transactions on Cyber-Physical Systems, 2024
32024
Learning-based control design for deep brain stimulation
I Jovanov, M Nauman, K Kumaravelu, V Lesi, A Zutshi, WM Grill, M Pajic
2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS …, 2018
22018
Bridging the Gap: Applying Argument to MIL-HDBK-516C Certification of a Neural Network Controller Guarded by ASIF Run Time Assurance
J Rowanhill, KL Hobbs, A Zutshi, AB Hocking
2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC), 1-9, 2023
2023
Bridging the Gap: Applying Assurance Arguments to MIL-HDBK-516C Certification of a Neural Network Control System with ASIF Run Time Assurance Architecture
J Rowanhill, AB Hocking, A Zutshi, KL Hobbs
arXiv preprint arXiv:2303.15568, 2023
2023
High Assurance Run-Time Monitoring Architecture for Autonomous Control
Y Chou, A Zutshi, M Clark
AIAA Scitech 2021 Forum, 0790, 2021
2021
Reachability Analysis of Cyber-Physical Systems Using Symbolic-Numeric Techniques
A Zutshi
2016
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–19