Theoretical aspects of cyber-physical systems.
Event
ACC2010
ACC2010 -- American Control Conference
Submitted by Christopher Buskirk on April 16th, 2012
Event
CompCPS-2010
CompCPS-2010 -- The First Australasian Workshop on Computation in Cyber-Physical Systems
Sydney, Australia
http://www.prokopenko.net/CompCPS-2010.html
Submitted by Anonymous on April 16th, 2012
Event
MobiCPS 2010
MobiCPS 2010 - The 1st IEEE International Workshop on Mobile Cyber-Physical Systems
The MobiCPS workshop is an international forum for researchers and practitioners to present innovative ideas and results on all aspects of mobile cyber-physical systems, including theoretical foundations, techniques and methods, tools and platforms, prototypes, and practical applications. Besides research papers, this workshop will feature Invited Talks and a Panel Discussion session.
Submitted by Anonymous on April 16th, 2012
Announcement
High-Assurance Cyber Military Systems (HACMS)
Synopsis:
The goal of the High-Assurance Cyber Military Systems (HACMS) program is to create technology for the construction of high-assurance, cyber-physical systems, where high assurance is defined to mean functionally correct and satisfying appropriate safety and security properties. Achieving this goal requires a fundamentally different approach from what the software community has taken to date. HACMS will adopt a clean-slate, formal methods–based approach that enables semi-automated code synthesis from executable, formal specifications.
Submitted by Katie Dey on February 28th, 2012
Announcement
NSF Announces Updated CPS Solicitation
Cyber-physical systems (CPS) are engineered systems that are built from and depend upon the synergy of computational and physical components.
Submitted by Anonymous on February 27th, 2012
Growing demands on our civil infrastructure have heightened the need for smart structural components and systems whose behavior and performance can be controlled under a variety of loading scenarios such as high winds and earthquakes. However, due to the sheer size, scale and cost of most civil engineering structures, design and testing of such smart structures needs to be conducted using a hybrid cyber-physical approach where the infrastructure system in question, for example a bridge, is studied by coupling a small number of physical components with a numerical model of the rest of the structure. Undoubtedly, the success of such a hybrid approach, especially for dynamic real-time applications, hinges on effective integration of the cyber and physical components of the system. This project provides the essential building blocks and a computational integration platform to enable real-time hybrid testing of civil engineering structures.
Design and development of physical components, multi-level numerical models, and real-time control algorithms will be conducted at Purdue University. Washington University will provide an adaptive, configurable concurrency platform and communication mechanisms that meet the strict scheduling constraints of real-time cyber-physical systems. The two institutions will collaboratively design a prototype system and conduct extensive testing to validate the integration of the various components and evaluate system performance. Specifications, software, benchmarks, and data developed during the course of this project will be made freely available to the cyber-physical research community. In addition to directly advancing the state-of-the-art in real-time hybrid testing, this research will also impact the areas of avionics, automotive design, smart grids for distributed power transmission and similar applications in other domains.
Award Number
Display Videos in Hero
Off
Co-PIs
Shirley Dyke
Institution
Purdue University
Lead PI
Arun Prakash
Performance Period
-
Sponsor
National Science Foundation
Lead PI (text)
Arun Prakash
Submitted by Arun Prakash on December 15th, 2011
Growing demands on our civil infrastructure have heightened the need for smart structural components and systems whose behavior and performance can be controlled under a variety of loading scenarios such as high winds and earthquakes. However, due to the sheer size, scale and cost of most civil engineering structures, design and testing of such smart structures needs to be conducted using a hybrid cyber-physical approach where the infrastructure system in question, for example a bridge, is studied by coupling a small number of physical components with a numerical model of the rest of the structure. Undoubtedly, the success of such a hybrid approach, especially for dynamic real-time applications, hinges on effective integration of the cyber and physical components of the system. This project provides the essential building blocks and a computational integration platform to enable real-time hybrid testing of civil engineering structures.
Design and development of physical components, multi-level numerical models, and real-time control algorithms will be conducted at Purdue University. Washington University will provide an adaptive, configurable concurrency platform and communication mechanisms that meet the strict scheduling constraints of real-time cyber-physical systems. The two institutions will collaboratively design a prototype system and conduct extensive testing to validate the integration of the various components and evaluate system performance. Specifications, software, benchmarks, and data developed during the course of this project will be made freely available to the cyber-physical research community. In addition to directly advancing the state-of-the-art in real-time hybrid testing, this research will also impact the areas of avionics, automotive design, smart grids for distributed power transmission and similar applications in other domains.
Award Number
Display Videos in Hero
Off
Co-PIs
Chenyang Lu
Kunal Agrawal
Institution
Washington University
Lead PI
Christopher Gill
Performance Period
-
Sponsor
National Science Foundation
Lead PI (text)
Christopher Gill
Submitted by Christopher Gill on December 15th, 2011
This NSF grant supports the First PI Meeting and Workshop on Cyber-Physical Systems (CPS), held at the Westin Arlington Gateway hotel, in Arlington, VA on Aug 10-12, 2010. The purpose of this meeting is to provide a forum for scientific interaction among a wide range of stakeholders in academia, industry and federal agencies; to review new developments in CPS foundations; to identify new, emerging applications; and to discuss technology gaps and barriers. The program of the meeting includes presentations from projects funded by NSF under the Cyber-Physical Systems program, government and industry panels, and topical discussion groups.
Award Number
Display Videos in Hero
Off
Institution
Vanderbilt University
Lead PI
Gabor Karsai
Performance Period
-
Sponsor
National Science Foundation
Lead PI (text)
Gabor Karsai
Submitted by Gabor Karsai on December 6th, 2011
This workshop on Mathematical Foundations of Open Systems explores new research directions towards a logical/mathematical foundation for modeling the behavior of dynamic open systems that evolve over time through self-organization, regulation, and adaptation to changing environments and structures. Such a framework should provide a unified approach for obtaining an advanced understanding of natural systems, the ability to fix and modify them, and to design cyber-physical systems (CPS) in principled ways using new notions of control and coordination. The workshop, held May 23-25, 2010, Philadelphia, PA, is supported by the NSF and other agency members of the interagency coordinating group on High Confidence Software and Systems.
Award Number
Display Videos in Hero
Off
Institution
University of Pennsylvania
Lead PI
Harvey Rubin
Performance Period
-
Sponsor
National Science Foundation
Lead PI (text)
Harvey Rubin
Submitted by Harvey Rubin on December 6th, 2011
This award supports the first Summer School on Cyber-Physical Systems, held at the Georgia Institute of Technology, Atlanta, Georgia, June 22-25, 2009. NSF funds support outreach and enable the participation of US graduate students and early career faculty in this international event.
Cyber Physical Systems (CPS) are systems that rely on a tight integration of computation, communication, and controls, for their operation and interaction with the physical environment in which they are deployed. Such systems must be able to operate safely, dependably, securely, efficiently and in real-time, in potentially highly uncertain or unstructured environments. CPS are expected to have great technical, economic and societal impacts in the near future.
The objective of the Georgia Tech Summer School on Cyber-Physical Systems is to establish a forum for intellectual exchange on CPS science and technology for researchers from industry and academia. The format of the Summer School is a five-day meeting, organized around the different aspects of Cyber Physical Systems. The topical areas covered include: formal methods, distributed embedded systems, networked control systems, embedded software, scheduling, platforms, and applications.
Award Number
Display Videos in Hero
Off
Co-PIs
Magnus Egerstedt
Institution
Georgia Tech Research Corporation
Lead PI
Marilyn Wolf
Performance Period
-
Sponsor
National Science Foundation
Lead PI (text)
Wolf, Marilyn
Submitted by Marilyn Wolf on December 6th, 2011