Home

ISIS Publications

Export 34 results:
Sort by: Author Title [ Type (Desc)] Year
Filters: First Letter Of Last Name is Z  [Clear All Filters]
Report
Zhang, Z., E. Eyisi, X. Koutsoukos, J. Porter, G. Karsai, and J. Sztipanovits, A Co-Simulation Framework for Design of Time-Triggered Automotive Cyber Physical Systems, , pp. 39, 08/2013.  Download: TR-13-104.pdf (3.02 MB)
LeBlanc, H. J., H. Zhang, S. Sundaram, and X. Koutsoukos, Consensus of Multi-Agent Networks in the Presence of Adversaries Using Only Local Information, : Institute for Software-Integrated Systems, 06/2012.  Download: HiCoNSISISTech.pdf (1005.39 KB)
Balasubramanian, D., Z. Zhang, D. McDermet, and G. Karsai, Janalyzer: A Static Analysis Tool for Java Bytecode, , Nashville, Institute for Software Integrated Systems, 08/2017.  Download: main.pdf (261.01 KB)
Zhang, P., J. White, D. Schmidt, and T. Dennis, A Preliminary Study of Hand Hygiene Compliance Characteristics with Machine Learning Methods, , no. ISIS-16-101, Nashville, Institute for Software Integrated Systems, 11/2016.  Download: tech report.pdf (372.58 KB)
Journal Article
Zhang, Z., E. Emeka, X. Koutsoukos, J. Porter, G. Karsai, and J. Sztipanovits, "A Co-Simulation Framework for Design of Time-Triggered Automotive Cyber Physical Systems", Simulation Modelling Practice and Theory, vol. 43, 04/2014.
Koutsoukos, X., J. Kurien, and F. Zhao, "Estimation of Distributed Hybrid Systems Using Particle Filtering Methods", Hybrid Systems: Computation and Control (HSCC 2003), 2623, LNCS, pp. 298--313, 2003.  Download: Koutsoukos_X_0_0_2003_Estimation.pdf (453.76 KB)
Ji, M., Z. Zhang, G. Biswas, and N. Sarkar, "Hybrid Fault Adaptive Control of a Wheeled Mobile Robot", IEEE Transactions on Mechatronics, vol. 8, pp. 226--233, June, 2003.
Eyisi, E., Z. Zhang, X. Koutsoukos, J. Porter, G. Karsai, and J. Sztipanovits, "Model-based control design and integration of cyberphysical systems: an adaptive cruise control case study", Journal of Control Science and Engineering, vol. 2013, pp. 1-15, 01/2013. Abstract
Conference Proceedings
Zhang, P., Z. Lattmann, J. Klingler, S. Neema, and T. Bapty, "Visualization Techniques in Collaborative Domain-Specific Modeling Environment", SoutheastCon 2015, Fort Lauderdale, FL, USA, IEEE, 04/2015. Abstract
Conference Paper
Narasimhan, S., G. Biswas, G. Karsai, T. Pasternak, and F. Zhao, "Building observers to address fault isolation and control problems in hybrid dynamic systems", IEEE SMC 2000, Nashville, TN, July, 2000.  Download: Narasimhan_S_7_0_2000_Building_o.pdf (251.26 KB)
Zhang, Z., and X. Kousoukos, "Cache-Related Preemption Delay Analysis for Multi-Level Inclusive Caches", International Conference on Embedded Software (EMSOFT), Pittsburgh, PA, USA, 10/2016.  Download: PID4361635.pdf (341.45 KB)
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., and X. Kousoukos, "Generic Value-Set Analysis on Low-Level Code", The 5th Analytic Virtual Integration of Cyber-Physical Systems Workshop, Rome, Italy, 2014.  Download: avicps '14.pdf (221.36 KB)
Zhang, Z., Z. Guo, and X. Kousoukos, "Handling Write Backs in Multi-Level Cache Analysis for WCET Estimation", 25th International Conference on Real-Time Networks and Systems (RTNS), Grenoble, France, ACM, 10/2017.  Download: rtns'17.pdf (1.13 MB)
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.
Zhang, Z., and X. Kousoukos, "Improving the Precision of Abstract Interpretation Based Cache Persistence Analysis", 16th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES), Portland, OR, USA, 06/2015.  Download: Improving the Precision of Abstract Interpretation Based Cache Persistence Analysis.pdf (756.55 KB)
Potteiger, B., Z. Zhang, and X. Koutsoukos, "An Instruction Set Randomization Framework for Developing Secure and Resilience in CPS (Poster)", Symposium and Bootcamp for the Science of Security (HotSoS), Hanover, MD, 04/2017.
Potteiger, B., Z. Zhang, and X. Koutsoukos, "Integrated Data Space Randomization and Control Reconfiguration for Securing Cyber-Physical Systems", Symposium and Bootcamp for the Science of Security (HotSoS), Nashville, TN, 04/2019.
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.
Potteiger, B., Z. Zhang, and X. Koutsoukos, "Integrated Instruction Set Randomization and Control Reconfiguration for Securing Cyber-Physical Systems (accepted)", Symposium and Bootcamp on the Science of Security, Raleigh, NC, ACM, 04/2018.
Potteiger, B., Z. Zhang, and X. Koutsoukos, "Integrated Instruction Set Randomization and Control Reconfiguration for Securing Cyber-Physical Systems (Poster)", Workshop on High Confidence and Software Systems (HCSS), Annapolis, MD, 05/2018.
Potteiger, B., Z. Zhang, and X. Koutsoukos, "Integrated Moving Target Defense and Control Reconfiguration for Securing Cyber-Physical Systems (Poster)", CPS PI Meeting, Alexandria, VA, 11/2018.
Potteiger, B., Z. Zhang, and X. Koutsoukos, "Integrated Reconfigurable Control and Moving Target Defense for Secure Cyber-Physical Systems (Poster)", CPS PI Meeting, Alexandria, VA, 11/2017.
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)
Zhang, Z., and X. Kousoukos, "Modeling Time-Triggered Ethernet in SystemC/TLM for Virtual Prototyping of Cyber-Physical Systems", International Embedded Systems Symposium, Paderborn, Germany, Springer, 06/2013.
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)
Zhang, Z., and X. Kousoukos, "Precise Multi-Level Inclusive Cache Analysis for WCET Estimation", 36th IEEE Real-Time Systems Symposium (RTSS), 12/2015.  Download: PID3875999.pdf (520.11 KB)
Zhang, Z., J. Porter, X. Kousoukos, and J. Szipanovits, "A Simulation Framework for Design of Mixed Time-Event-Triggered Distributed Control Systems with SystemC/TLM", The 3rd Analytic Virtual Integration of Cyber-Physical Systems Workshop, San Juan, Puerto Rico, 12/2012.  Download: AVICPS'12.pdf (1.52 MB)
Zhang, Z., and X. Kousoukos, "Top-Down and Bottom-Up Multi-Level Cache Analysis for WCET Estimation", 21st Real-Time and Embedded Technology and Applications Symposium (RTAS), Seattle, WA, USA, 04/2015.  Download: Top-Down and Bottom-Up Multi-Level Cache Analysis for WCET Estimation.pdf (793.77 KB)