# Cyber-Physical Systems

Duality-Based Nested Controller Synthesis from STL Specifications for Stochastic Linear Systems
,” in 16th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS), Beijing, China, 2018.Abstract

, “
SATYA: Defending against Adversarial Attacks using Statistical Hypothesis Testing
,” in The 10th International Symposium on Foundations and Practice of Security (FPS 2017), Nancy, France. (BEST PAPER AWARD), 2017.Abstract fps2017.pdf

, “
**BEST PAPER AWARD**

Testing Autonomous Cyber-Physical Systems using Fuzzing Features Derived from Convolutional Neural Networks
,” in ACM SIGBED International Conference on Embedded Software (EMSOFT), Seoul, South Korea, 2017.Abstract TestingAI.pdf

, “
Adversarial attacks on computer vision algorithms using natural perturbations
,” in Tenth International Conference on Contemporary Computing, New Delhi, India, 2017, pp. in press.Abstract adversarialattacksnatural.pdf

, “
Statistical Hypothesis Testing using CNN Features for Synthesis of Adversarial Counterexamples to Human and Object Detection Vision Systems
,” Oak Ridge National Laboratory Technical Report, vol. ORNL/LTR-2017/118. 2017. Publisher's VersionAbstract ornl_tr_adversarial.pdf

, “
Distributed Markov Chains
,” in Verification, Model Checking, and Abstract Interpretation - 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings, 2015, pp. 117–134. Publisher's Version

, “
A counterexample-guided approach to parameter synthesis for linear hybrid automata
,” in International Workshop on Hybrid Systems: Computation and Control, 2008, pp. 187–200.Abstract 2008_hscc_paper_and_acceptance_underlined.pdf

, “
d-ira: A distributed reachability algorithm for analysis of linear hybrid automata
,” in International Workshop on Hybrid Systems: Computation and Control, 2008, pp. 618–621.Abstract 2008_hscc_paper_and_acceptance_underlined.pdf

, “
Reachability for linear hybrid automata using iterative relaxation abstraction
,” in International Workshop on Hybrid Systems: Computation and Control, 2007, pp. 287–300.Abstract 2007_hscc_underlined.pdf

, “
Model checking for fault explanation
,” in Decision and Control, 2006 45th IEEE Conference on, 2006, pp. 404–409.Abstract 2006_cdc_paper_and_acceptance_underlined.pdf

, “
Refining abstractions of hybrid systems using counterexample fragments
,” in International Workshop on Hybrid Systems: Computation and Control, 2005, pp. 242–257.Abstract 2006_hscc_underlined.pdf

, “