Biblio
Filters: First Letter Of Last Name is Z [Clear All Filters]
.
2013. Heart-on-a-Chip: A Closed-loop Testing Platform for Implantable Pacemakers. Third Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy'13).
.
2014. Safety-critical Medical Device Development using the UPP2SF Model Translation Tool. ACM Transactions on Embedded Computing. 13},foo number = {4s
.
2012. From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study. Real-Time and Embedded Technology and Applications Symposium (RTAS), 2012 IEEE 18th. :173-184.
.
2012. Cyber-Physical Modeling of Implantable Cardiac Medical Devices. Proceedings of the IEEE. 100:122-137.
.
2011. Model-based Closed-loop Testing of Implantable Pacemakers. Proceedings of the 2$^{nd}$ International Conference on Cyber-Physical Systems (ICCPS).
.
2011. Modeling cardiac pacemaker malfunctions with the Virtual Heart Model. 2011 Annual International Conference of the IEEE Engineering in Medicine and Biology Society. :263-266.
.
2017. A finite state machine based automated driving controller and its stochastic optimization. Proceedings of ASME Dynamic Systems and Control Conference.
.
2017. Game theory based traffic modeling for calibration of automated driving algorithms. Proceedings of Workshop on Development, Testing and Verification of ADAS and ADF.
.
2017. Game Theoretic Modeling of Driver and Vehicle Interactions for Verification and Validation of Autonomous Vehicle Control Systems. IEEE Transactions on Control Systems Technology.
.
2016. Hierarchical reasoning game theory based approach for evaluation and testing of autonomous vehicle control systems. Proceedings of 55th IEEE Conference on Decision and Control. :727–733.
.
2017. An approach to cyber-physical vulnerability assessment for intelligent manufacturing systems. Journal of Manufacturing Systems. 43, Part 2:339-351.
.
2016. Cyber-physical vulnerability assessment in manufacturing systems. 44th North American Manufacturing Research Conference, NAMRC 44, June 27-July 1, 2016, Blacksburg, Virginia, United States. 5:1060-1074.
.
2017. Urban underground infrastructure mapping and assessment. Sensors and Smart Structures Technologies for Civil, Mechanical, and Aerospace Systems 2017. 10168:101680M.
.
2017. Buried nonmetallic object detection using bistatic ground penetrating radar with variable antenna elevation angle and height. Nondestructive Characterization and Monitoring of Advanced Materials, Aerospace, and Civil Infrastructure 2017. 10169:1016908.
.
2017. Rough ground surface clutter removal in air-coupled ground penetrating radar data using low-rank and sparse representation. Nondestructive Characterization and Monitoring of Advanced Materials, Aerospace, and Civil Infrastructure 2017. 10169:1016904.
.
2018. Modular Reinforcement Learning with Discounting. In preparation for submission to eLife.
.
2018. Visual Attention Guided Deep Imitation Learning. Under review by AAAI 2018.
.
2018. Probabilistic Model Checking of Partially Controlled Multi-agent Systems. Under review by AAAI 2018.
.
2017. Modeling Multi-Objective Behavior through Modular Inverse Reinforcement Learning with Discount Factors. Abstract in Journal of Vision.
.
2017. Attention Guided Deep Imitation Learning. Cognitive Computational Neuroscience (CCN).
.
2016. Deploying Fourier coefficients to unravel soybean canopy diversity. Frontiers in plant science. 7
.
2015. Browsing the Web of Things with Summon. Proceedings of the 13th ACM Conference on Embedded Networked Sensor Systems. :481–482.
.
2016. Towards Plug-n-Play Numerical Control for Reconfigurable Manufacturing Systems. 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA). :1-8.
.
2017. Synthesis of Error-Recovery Protocols for Micro-Electrode-Dot-Array Digital Microfluidic Biochips. ACM Trans. Embed. Comput. Syst.. 16:127:1–127:22.
.
2017. Cyber-Physical Manufacturing Systems (CPMS). Proceedings of 5th International Conference on Advanced Manufacturing Engineering and Technologies: NEWTECH 2017. :199–214.