The ability to include models as submodels inside other models.
James McLurkin Submitted by James McLurkin on November 12th, 2013
Abstract: The tight integration of physical and information processes in CPS necessitates the development of a new systems science, which is simultaneously computational and physical. Dynamics, modeling, feedback, and control are central issues in CPS research. The unique challenges in CPS integration emerge from the heterogeneity of components and interactions.
Xenofon  Koutsoukos Submitted by Xenofon Koutsoukos on October 29th, 2013
Abstract: Recent years have seen medical devices go from being monolithic to a collection of integrated systems. Modern medical device systems have thus become a distinct class of cyber-physical systems called Medical Cyber Physical Systems (MCPS), featuring complex and close interaction of sophisticated treatment algorithms with the physical aspects of the system, and especially the patient whose safety is of the utmost concern. The goal of this project is to develop a new paradigm for the design and implementation of safe, secure, and reliable MCPS, which includes:
Insup Lee Submitted by Insup Lee on October 24th, 2013
Abstract: The project pursues two major goals addressing the verification of cyber-physical systems. Firstly, one goal of this project is to develop theory, practice, and applications of verification techniques for distributed hybrid systems with flexible system structures that can change by reconfiguring the system.
Andre Platzer Submitted by Andre Platzer on October 23rd, 2013

 

This talk is part of the Triangle Computer Science Distinguished Lecturer Series

Abstract:

Cyber-physical systems (CPS) represent a tight integration of computing and communications with the physics and real-time dynamics of engineered systems.  They will revolutionize many sectors including transportation, critical infrastructures, manufacturing, healthcare and medical devices, aerospace and defense.   In this talk, we will present some grand challenges that can be met by advances in cyber-physical systems.   This will be followed by a detailed description of 3 areas of CPS research projects that the speaker is working on: (1) Planetary-scale sensor-actuator networks with applications to the smart grid, (2) Smart Surveillance systems, and (3) Autonomous Driving Systems.   Current status of each project will be complemented by a description of research challenges that need to be addressed.   These systems will hopefully offer insights into why the integration of engineering and computer science into a master discipline that can enrich both domains while yielding significant, perhaps even revolutionary, practical benefits.

Short Bio:

Dr. Raj Rajkumar is a Professor of Electrical and Computer Engineering, and Robotics Institute at Carnegie Mellon University.  He also serves as a Co-Director for the General Motors-Carnegie Mellon Vehicular Information Technology Collaborative Research Lab, Co-Director of the General Motors-Carnegie Mellon Autonomous Driving Collaborative Research Lab and as a Director of the Real-Time and Multimedia Systems Laboratory at Carnegie Mellon University.  He has served as General Chair and/or Program Chair of multiple conferences including the IEEE Real-Time Systems Symposium, the IEEE Real-Time Technologies and Applications Symposium, the ACM/SPIE Symposium on Multimedia Computing and Networks, International Symposium on International Symposium on Vehicular Computing Systems and the International Conference on Networked Sensing Systems. He has chaired or co-chaired 5 NSF-sponsored workshops targeting a national research initiative on cyber-physical systems.  He is also currently serving as the Chair of the IEEE Technical Committee on Real-Time Systems. He obtained his M.S. and Ph.D. degrees from Carnegie Mellon University in 1986 and 1989 respectively.   He has given several keynote talks and has 4 Best Paper Awards.  Dr. Rajkumar's research interests include all aspects of embedded real-time systems.  Some of his current research projects include FireFly wireless networks, resource kernels for guaranteed enforcement of throughput, timeliness and power-consumption in real-time operating systems, vehicular networks, and methodologies for model-based design and development.

Contributor(s)
Raj Rajkumar
Remote Video
Ragunathan  Rajkumar Submitted by Ragunathan Rajkumar on August 14th, 2013
File
Y2 Report
Mark Yampolskiy Submitted by Mark Yampolskiy on July 22nd, 2013
Mark Yampolskiy Submitted by Mark Yampolskiy on July 22nd, 2013
File
Y1 Report
Mark Yampolskiy Submitted by Mark Yampolskiy on July 22nd, 2013
An abstract describing one facet of our research.
Ivan Ruchkin Submitted by Ivan Ruchkin on October 11th, 2012
Abstract
Janos Sztipanovits Submitted by Janos Sztipanovits on October 6th, 2012
Subscribe to Composition