Biblio
.
2016. Towards a Cyber Assurance Testbed for Heavy Vehicle Electronic Controls. {SAE International Journal of Commercial Vehicles}. 9:339–349.
.
2017. AquaSCALE. IEEE International Conference on Pervasive Computing and Communications.
.
2017. Towards an Integrated Approach to Localizing Failures in Community Water Networks. The 37th IEEE International Conference on Distributed Computing Systems.
.
2017. AquaSCALE. IEEE International Conference on Pervasive Computing and Communications.
.
Submitted. URL: https://sites.google.com/a/asu.edu/s-taliro/.
.
2017. Sequential design for functional calibration of computer models. Technometrics. accepted
.
2013. Assessing the Overall Sufficiency of Safety Arguments. Proceedings of the 21st Safety-critical Systems Symposium (SSS'13).
.
2012. A Safety Case Pattern for Model-Based Development Approach. Proceedings of the 4$^{th}$ NASA Formal Methods Symposium. :223–243.
.
2012. A Systematic Approach to Justifying Sufficient Confidence in Software Safety Arguments. International Conference on Computer Safety, Reliability and Security ({SAFECOMP 2012}).
.
2016. The role of strong convexity-concavity in the convergence and robustness of the saddle-point dynamics. 54th Annual Allerton Conf. on Communication, Control, and Computing (Allerton). :504-510.
.
2016. Action Classification from Motion Capture Data using Topological Data Analysis. IEEE Global Conf. on Signal and Information Processing (GlobalSIP).
.
2016. Validation of cognitive models for collaborative hybrid systems with discrete human input. {IEEE/RSJ} International Conference on Intelligent Robots and Systems. :3339–3346.
.
2017. Scalable Underapproximation for Stochastic Reach-Avoid Problem for High-Dimensional LTI Systems using Fourier Transforms. {IEEE} Conference on Decision and Control.
to appear
.
2017. An Adaptive Bayesian System for Context-Aware Data Fusion in Smart Environments. IEEE Transactions on Mobile Computing. 16:1502–1515.
.
2017. Local calibration of computer experiments. Journal of the American Statistical Association. revised and re-submitted
.
2016. Clinician-in-the-Loop Annotation of ICU Bedside Alarm Data. 2016 IEEE First International Conference on Connected Health: Applications, Systems and Engineering Technologies (CHASE). :229-237.
.
2017. On the Non-Existence of Unbiased Estimators in Constrained Estimation Problems. IEEE Transactions on Information Theory. PP:1-1.
.
Submitted. Characterizing Cascade Failures in Inter-Dependent Smart Grid Networks. IEEE Transactions on Smart Grid (Submitted in Oct 2017).
.
2017. Multiple Security Domain Nondeducibility Air Traffic Surveillance Systems. 2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE). :136-139.
.
2016. Using human intellectual tasks as guidelines to systematically model medical cyber-physical systems. 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC). :004394-004399.
.
2017. Wide-Area Damping Control using Multiple DFIG-based Wind Farms Under Stochastic Data Packet Dropouts. IEEE Transactions on Smart Grid. PP:1-1.
.
Submitted. Wide-Area Damping Control using Reduced Copy under Intermittent Observation: A Novel Performance Measure. under review in IEEE Transactions on Control Systems Technology.
.
Submitted. A New H-IRKA Approach for Model Reduction with Explicit Modal Preservation: Application on Grids with Renewable Penetration. under review in IEEE Transactions on Control Systems Technology.
.
Submitted. Wide-Area Damping Control using Reduced Copy under Intermittent Observation: A Novel Performance Measure. under review in IEEE Transactions on Control Systems Technology.
.
Submitted. A New H-IRKA Approach for Model Reduction with Explicit Modal Preservation: Application on Grids with Renewable Penetration. under review in IEEE Transactions on Control Systems Technology.