Zhang, Z., E. Eyisi, X. Koutsoukos, J. Porter, G. Karsai, and J. Sztipanovits,
"Co-Simulation Framework for Design of Time-Triggered Cyber Physical Systems",
ACM/IEEE 4th International Conference on Cyber-Physical Systems (ICCPS), Philadelphia, PA, ACM, pp. 119-128, 04/2013.
Abstract
Download: iccps'13.pdf (1.29 MB)
Zander, J., P. J. Mosterman, J. S. Kinnebrew, and G. Biswas,
"Computation of things for human protection and fulfillment",
Technologies for Homeland Security (HST), 2010 IEEE International Conference on, Waltham, MA, pp. 153 -159, 11/2010.
Abstract
Download: Zander et al - 2010 -- Computation of Things for Human Protection & Fulfillment.pdf (1.28 MB)
Zhang, Y., S. Eisele, A. Dubey, A. Laszka, and A. K. Srivastava,
"Cyber-Physical Simulation Platform for Security Assessment of the Transactive Energy Systems",
Modeling and Simulation of Cyber-Physical Energy Systems, Montreal, Canada, 2019.
Abstract
Download: MSCPES_paper__Finished_.pdf (941.1 KB)
Malloy, D., C. Biegl, J. Zakrajsek, and C. Fulton,
"Development of a Near-Real-Time Turbine Engine Testing Diagnostic System Using Feature Extraction Algorithms",
13th ISABE International Symposium on Airbreathing Engines, paper #ISABE 97-7143, Chattanooga, TN, September, 1997.
Download: Malloy_D_9_0_1997_Developmen.pdf (332.61 KB)
Narasimhan, S., F. Zhao, G. Biswas, and E. Hung,
"Fault Isolation in Hybrid Systems combining Model Based Diagnosis and Signal Processing",
4th Symposium on Fault Detection, Supervision and Safety for Technical Processes, {Budapest, Hungary}, June, 2000.", pp. 1074--1079, June, 2000.
Download: Narasimhan_S_6_0_2000_Fault_Isol.pdf (37.96 KB)
Zhang, Z., J. Porter, N. Kottenstette, X. Koutsoukos, and J. Sztipanovits,
"High Confidence Embedded Software Design: A Quadrotor Helicopter Case Study",
International Conference on Cyber-Physical Systems (ICCPS) (Work-in-Progress Session), Chicago, IL, IEEE Computer Society Press, 04/2011.
Ji, M., Z. Zhang, G. Biswas, and N. Sarkar,
"Hybrid Fault Adaptive Control of a Mobile Robot",
ASME Intl. Mechanical Engineering Congress and Exposition, New Orleans, LA, November, 2002.
Narasimhan, S., F. Zhao, G. Biswas, and E. Hung,
"An Integrated Framework for Combining Global and Local Analysis in Diagnosing Hybrid Systems",
Eleventh Intl. Workshop on Principles of Diagnosis, Morelia, Mexico, pp. 163--170, June, 2000.
Zhang, Y., Z. Guo, L. Wang, H. Xiong, and Z. Zhang,
"Integrating Cache-Related Preemption Delay into GEDF Analysis for Multiprocessor Scheduling with On-Chip Cache",
14th IEEE International Conference on Embedded Software and Systems (ICESS), Sydney, Australia, IEEE, 08/2017.
Download: 08029520.pdf (346.09 KB)
Koutsoukos, X., J. Kurien, and F. Zhao,
"Monitoring and Diagnosis of Hybrid Systems Using Particle Filtering Methods",
Proceedings of the 15th International Symposium on Mathematical Theory of Networks and Systems, MTNS 2003, Notre Dame, IN, August, 2002.
Download: Koutsoukos_X_8_0_2002_Monitoring.pdf (524.94 KB)