Applications of CPS technologies used in the planning, functional design, operation and management of facilities for any mode of transportation in order to provide for the safe, efficient, rapid, comfortable, convenient, economical, and environmentally compatible movement of people and goods.
Strategic decision-making for physical-world infrastructures is rapidly transitioning toward a pervasively cyber-enabled paradigm, in which human stakeholders and automation leverage the cyber-infrastructure at large (including on-line data sources, cloud computing, and handheld devices). This changing paradigm is leading to tight coupling of the cyber- infrastructure with multiple physical- world infrastructures, including air transportation and electric power systems. These management-coupled cyber- and physical- infrastructures (MCCPIs) are subject to complex threats from natural and sentient adversaries, which can enact complex propagative impacts across networked physical-, cyber-, and human elements.
We propose here to develop a modeling framework and tool suite for threat assessment for MCCPIs. The proposed modeling framework for MCCPIs has three aspects: 1) a tractable moment-linear modeling paradigm for the hybrid, stochastic, and multi-layer dynamics of MCCPIs; 2) models for sentient and natural adversaries, that capture their measurement and actuation capabilities in the cyber- and physical- worlds, intelligence, and trust-level; and 3) formal definitions for information security and vulnerability. The attendant tool suite will provide situational awareness of the propagative impacts of threats. Specifically, three functionalities termed Target, Feature, and Defend will be developed, which exploit topological characteristics of an MCCPI to evaluate and mitigate threat impacts. We will then pursue analyses that tie special infrastructure-network features to security/vulnerability. As a central case study, the framework and tools will be used for threat assessment and risk analysis of strategic air traffic management. Three canonical types of threats will be addressed: environmental-to-physical threats, cyber-physical co-threats, and human-in-the-loop threats. This case study will include development and deployment of software decision aids for managing man-made disturbances to the air traffic system.
This is a continuing grant of Award # 1544863
Off
University of Texas at Arlington
-
National Science Foundation
![Yan Wan](/sites/cps-vo.org/files/profile_images/picture-183.jpg)
Event
ISORC 2018
IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC 2018)
IEEE ISORC was founded in 1998 (with its first meeting in Kyoto, Japan) to address research into the application of real-time object-oriented distributed technology. Since then, ISORC has continually evolved to meet the latest challenges faced by researchers and practitioners in the real-time domain, with an emphasis on object-, component- and service- oriented systems and solutions..
This project pursues a smart cyber-physical approach for improving the electric rail infrastructure in the United States and other nations. We will develop a distributed coordination of pricing and energy utilization even while ensuring end-to-end time schedule constraints for the overall rail infrastructure. We will ensure this distributed coordination through transactive control, a judicious design of dynamic pricing in a cyber-physical system that utilizes the computational and communication infrastructure and accommodates the physical constraints of the underlying train service. The project is synergistic in that it builds upon the expertise of the electric-train infrastructure and coordination at UIC and that of transactive control on the part of MIT. We will validate the approach through collaboration with engineers in the Southeastern Pennsylvania Transport Authority, where significant modernization efforts are underway to improve their electric-train system. The project also involves strong international collaboration which will also enable validation of the technologies.
This project will formulate a multi-scale transitive control strategy for minimization of price and energy utilization in a geographically-dispersed railway grid with broader implications for evolving smart and micro grids. The transactions evolve over different temporal scales ranging from day-ahead offline transaction between the power grid and the railway system operators yielding price optimality to real-time optimal transaction among the trains or the area control centers (ACC). All of these transactions are carried out while meeting system constraints ranging from end-to-end time-scheduling, power-quality, and capacity. Our research focuses on fundamental issues encompassing integration of information, control, and power, including event-driven packet arrival from source to destination nodes while ensuring hard relative deadlines and optimal sampling and sensing; and formulation of network concave utility function for allocating finite communication-network capacity among control loops. The project develops optimization approaches that can be similarly applied across multiple application domains.
Off
Massachusetts Institute of Technology
-
National Science Foundation
Event
CRTS 2017
The 10th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems
In conjunction with RTSS'2017 conference
Background:
Large safety-critical real-time systems are typically created through the integration of multiple components that are developed mostly independently from each other.
Event
ICCPS 2018
9th ACM/IEEE International Conference on Cyber-Physical Systems
April 11-13, 2018 | Porto, Portugal | http://iccps.acm.org/2018
part of CPSWeek 2018
Overview.
Event
CyPhy'17
Seventh Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy'17)
Held in conjunction with ESWEEK 2017
Event
PACRIM '17
2017 IEEE Pacific Rim Conference on Communications, Computers and Signal Processing
Established in 1987, the Pacific Rim Conference on Communications, Computers and Signal Processing (PacRim) is the premier IEEE biennial event in the Pacific Northwest. In 2017, it will be held at the Engineering Computer Science building at the University of Victoria, Victoria, B.C., Canada, from August 21 to August 23.
Event
SASO 2017
11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO)
SASO is part of FAS*, a common umbrella for two closely related but independent conferences (SASO and ICCAC) with shared events including workshops, tutorials, doctoral symposia, etc.
Event
CPS Summer School 2017
CPS Summer School 2017
Designing Cyber-Physical Systems – From concepts to implementation
Multi-objective Methodologies and Tools for Self-healing and Adaptive Systems
Porto Conte Ricerche, Alghero - Sardinia - Italy | September 25-30, 2017 | http://www.cpsschool.eu
Event
ERTS² 2018
Embedded Real Time Software and Systems ( ERTS² 2018)
The ERTS2 congress created by the late Jean-Claude Laprie in 2002 is a unique European cross sector event on Embedded Software and Systems, a platform for top-level scientists with representatives from universities, research centres, agencies and industries. The previous editions gathered more than 100 talks, 500 participants and 60 exhibitors. ERTS2 is both: