Visible to the public Biblio

Found 293 results

Filters: First Letter Of Last Name is C  [Clear All Filters]
2018-05-14
Park, Byungkyu Brian, Chen, Yin, Hourdos, John.  2010.  Opportunities to Preventing Rear-End Vehicle Crashes: Findings from Analyzing Actual Crash Data. Transportation Research Board 89th Annual Meeting.
Park, Byungkyu, Chen, Yin, Hourdos, John.  2011.  Opportunities for preventing rear-end crashes: findings from the analysis of actual freeway crash data. Journal of Transportation Safety & Security. 3:95–107.
[Anonymous].  2016.  FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. Lecture Notes in Computer Science. 9995
Fabio Cremona, Marten Lohstroh, Stavros Tripakis, Christopher X. Brooks, Edward A. Lee.  2016.  FIDE: an FMI integrated development environment. Proceedings of the 31st Annual {ACM} Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016. :1759–1766.
[Anonymous].  2015.  Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II. Lecture Notes in Computer Science. 9207
Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa.  2015.  Automatic Completion of Distributed Protocols with Symmetry. Computer Aided Verification - 27th International Conference, {CAV} 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part {II}. :395–412.
Stavros Tripakis, Chris Shaver.  2014.  Feedback in Synchronous Relational Interfaces. From Programs to Systems. The Systems perspective in Computing - {ETAPS} Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings. :249–266.
Rajeev Alur, Milo M. K. Martin, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa.  2014.  Synthesizing Finite-State Protocols from Scenarios and Requirements. Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings. :75–91.
David Broman, Christopher X. Brooks, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter.  2013.  Determinate composition of FMUs for co-simulation. Proceedings of the International Conference on Embedded Software, {EMSOFT} 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013. :2:1–2:12.
2018-05-11
Huang, Chao, Wang, Dong, Chawla, Nitesh.  2017.  Scalable Uncertainty-Aware Truth Discovery in Big Data Social Sensing Applications for Cyber-Physical Systems. IEEE Transactions on Big Data.
F. Quivira, S. Ozel, T. Kelestemur, T. Padir, C.D. Onal, D. Erdogmus.  2018.  Grasp and Motion Planning for Prosthetic Robot Hand Using Deep Reinforcement Learning. IEEE International Conference on Robotics and Automation (ICRA) (submitted).
Ozel, Selim, Skorina, Erik H, Luo, Ming, Tao, Weijia, Chen, Fuchen, Pan, Yixiao, Onal, Cagdas D.  2016.  A composite soft bending actuation module with integrated curvature sensing. IEEE International Conference on Robotics and Automation (ICRA). :4963–4968.
Anany Dwivedi, Anand Ramakrishnan, Kunal Patel, Selim Ozel, Cagdas D. Onal.  2017.  Design, Modeling, and Validation of a Soft Magnetic 3-D Force Sensor. IEEE Sensors (submitted).
Dimitrov, Velin, Cebry, Nicholas, Onal, Cagdas, Padir, Taskin.  2015.  Towards user-centered design of a robotic prosthetic hand with EMG control interfaces. Proceedings of the 8th ACM International Conference on PErvasive Technologies Related to Assistive Environments. :14.
Cairns, Darby I., Fenton, Flavio H., Cherry, E. M..  2017.  Efficient parameterization of cardiac action potential models using a genetic algorithm. Chaos: An Interdisciplinary Journal of Nonlinear Science. 27:093922.
LaVigne, Nicholas S., Holt, Nathan, Hoffman, Matthew J., Cherry, Elizabeth M..  2017.  Effects of model error on cardiac electrical wave state reconstruction using data assimilation. Chaos: An Interdisciplinary Journal of Nonlinear Science. 27:093911.
Cherry, Elizabeth M..  2017.  Distinguishing mechanisms for alternans in cardiac cells using constant-diastolic-interval pacing. Chaos: An Interdisciplinary Journal of Nonlinear Science. 27:093902.
Cherry, E. M., Cairns, D. I., Holt, N., LaVigne, N. S., Fenton, F. H., Hoffman, M. J..  2017.  Data assimilation for cardiac electrical dynamics. Proceedings of the 5th {International} {Conference} on {Computational} and {Mathematical} {Biomedical} {Engineering}.
Gomes, Johnny M., dos Santos, Rodrigo Weber, Cherry, Elizabeth M..  2017.  Alternans promotion in cardiac electrophysiology models by delay differential equations. Chaos: An Interdisciplinary Journal of Nonlinear Science. 27:093915.
Chen, Diandian Diana, Gray, Richard A, Uzelac, Ilija, Herndon, Conner, Fenton, Flavio H.  2017.  Mechanism for amplitude alternans in electrocardiograms and the initiation of spatiotemporal chaos. Physical Review Letters. 118:168101.
Yan, J., Wan, Y., Chen, C., Hua, C., Guan, X..  2016.  Formation control of Teleoperating Cyber-Physical System subject to time delay and actuator saturation constraints. 2016 IEEE 55th Conference on Decision and Control, CDC 2016.
Yan, Jing, Xu, Ziqiang, Wan, Yan, Chen, Cailian, Luo, Xiaoyuan.  2016.  Consensus estimation-based target localization in underwater acoustic sensor networks. International Journal of Robust and Nonlinear Control. 27:1607–1627.
Yan, Jing, Wan, Yan, Luo, Xiaoyuan, Chen, Cailian, Hua, Changchun, Guan, Xinping.  2017.  Formation Control of Teleoperating Cyber-Physical Syste With Time Delay and Actuator Saturation. IEEE Transactions on Control Systems Technology. :1–10.
Chen, J., Xie, J., Gu, Y., Li, S., Fu, S., Wan, Y., Lu, K..  2017.  Long-Range and Broadband Aerial Communication using Directional Antennas (ACDA): Design and Implementation. IEEE Transactions on Vehicular Technology.
Urbina, David I, Giraldo, Jairo A, Cardenas, Alvaro A, Tippenhauer, Nils Ole, Valente, Junia, Faisal, Mustafa, Ruths, Justin, Candell, Richard, Sandberg, Henrik.  2016.  Limiting the impact of stealthy attacks on industrial control systems. Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security. :1092–1105.