Biblio
Filters: First Letter Of Last Name is A [Clear All Filters]
.
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 Systematic Approach to Justifying Sufficient Confidence in Software Safety Arguments. International Conference on Computer Safety, Reliability and Security ({SAFECOMP 2012}).
.
2012. A Safety Case Pattern for Model-Based Development Approach. Proceedings of the 4$^{th}$ NASA Formal Methods Symposium. :223–243.
.
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).
.
2017. Scalable Underapproximation for Stochastic Reach-Avoid Problem for High-Dimensional LTI Systems using Fourier Transforms. {IEEE} Conference on Decision and Control.
to appear
.
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. 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.
.
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. 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.
.
2017. A Comparative Study on Wide-Area Damping Controllers using Multiple DFIG-based Wind Farms under Intermittent Observations. 2017 IEEE Power and Energy Society General Meeting (PESGM). :1-5.
.
2016. An approach for wide-area damping control using multiple DFIG-based wind farm to deal with communication dropouts. 2016 IEEE Power Energy Society Innovative Smart Grid Technologies Conference (ISGT). :1-5.
.
2016. Data packet-drop-resilient wide-area damping control using DFIG-based wind farm. 2016 North American Power Symposium (NAPS). :1-6.
.
2016. Modeling adequacy for studying power oscillation damping in grids with wind farms and networked control systems (NCS). 2016 IEEE Power and Energy Society General Meeting (PESGM). :1-5.
.
Submitted. Wide-Area Damping Control using Reduced Copy under Intermittent Observation: A Novel Performance Measure. under review in IEEE Transactions on Control Systems Technology.
.
2017. Wide-Area Damping Control using Multiple DFIG-based Wind Farms Under Stochastic Data Packet Dropouts. IEEE Transactions on Smart Grid. PP:1-1.
.
2016. High-Level Modeling for Computer-Aided Clinical Trials of Medical Devices. IEEE International High Level Design Validation and Test Workshop (HLDVT). :85-92.