Abstract

file

Visible to the public Efficient Traffic Management - A Formal Methods Approach

Submitted by arcak on Mon, 02/01/2016 - 2:50pm. Contributors:

Abstract:

This project is developing a formal methods approach to meet temporal logic specifications in traffic control. Formal methods is an area of computer science that develops efficient techniques for proving the correct operation of systems, such as computer programs and digital circuits, and for designing systems that are correct by construction. We have uncovered two key structural properties of traffic networks that make them amenable to this approach.

file

Visible to the public SMARTER -Smart Manager for Adaptive and Real-Time decisions in building clustERs

Submitted by Tong Wu on Mon, 02/01/2016 - 2:50pm. Contributors:

Abstract:

Despite the current emphasis on developing green buildings, the global energy consumption issue is not being adequately addressed. In this project, we propose a new perspective on this ever-threatening issue: NetZero energy building clusters.

file

Visible to the public Efficient Control Synthesis and Learning in Distributed Cyber-Physical Systems

Submitted by Herbert Tanner on Mon, 02/01/2016 - 2:50pm. Contributors:

Abstract:

Scientific challenges: How can multiple cooperative cyber-physical systems communicate and coordinate to accomplish complex high-level tasks within unknown, dynamic and adversarial environments?

file

Visible to the public CPS: Synergy: Collaborative Research: Threat-Assessment Tools for Management-Coupled Cyber and Physical Infrastructures

Submitted by Sandip Roy on Mon, 02/01/2016 - 2:50pm. Contributors:

Abstract:

This new CPS Synergy project is concerned with Management-Coupled Cyber and Physical Infrastructures (MCCPIs), which are infrastructures whose cyber- and physical- components are coupled by their wide-area management functions. The main objective of the project is to develop a framework and tool set for threat assessment for MCCPIs which acknowledges their cyber, physical, and human elements, and to apply these tools and methods in a case study of the air traffic management system. Three broad types of threats are considered: en

file

Visible to the public Breakthrough: CPS-Security: Towards Provably Correct Distributed Attack-Resilient Control of Unmanned-Vehicle-Operator Networks

Submitted by Minghui on Mon, 02/01/2016 - 2:50pm. Contributors:

Abstract:

Inherent vulnerabilities of information and communication technology systems to cyber-attacks (e.g., malware) impose significant security risks to Cyber-Physical Systems (CPS). This is evidenced by a number of recent accidents. Noticeably, current distributed control of CPS is not really attack-resilient (ensuring task completion despite attacks). Although provable resilience would significantly lift the trustworthiness of CPS, existing defenses are rather ad-hoc and mainly focus on attack detection.

file

Visible to the public Dependable, Multi-Robot Cooperative Tasking in Uncertain and Dynamic Environments

Submitted by Hai Lin on Mon, 02/01/2016 - 2:50pm. Contributors:

Abstract:

This project focuses on fundamental theory studies so to enable a scalable, correct-by-construction formal design of multi-robot systems that can guarantee the accomplishment of high-level team missions through automatic synthesis of local coordination mechanisms and control laws.

file

Visible to the public Thermal Management of Cyber-Physical Systems

Submitted by kgshin@eecs.umich... on Mon, 02/01/2016 - 2:50pm. Contributors:

Abstract:

Modern cyber-physical systems are monitored and controlled by multi-core platforms, and thermal management of multi-core chips is critical as overheated cores thereon will suffer from exponentially decaying lifetime and unacceptable performance degradation. To meet the timing and system lifetime reliability requirements under dynamic workloads and operating environment, we need a real-time thermal management (RTM) scheme that predicts run-time temperature and actuates effective thermal control without compromising task deadlines.

file

Visible to the public Harnessing the Automotive Infoverse

Submitted by Marco Gruteser on Mon, 02/01/2016 - 2:50pm. Contributors:

Abstract:

Until now, the "cyber" component of automobiles has consisted of control algorithms and associated software for vehicular subsystems designed to achieve one or more performance, efficiency, reliability, comfort, or safety (PERCS) goals, primarily based on short-term intrinsic vehicle sensor data. However, there exist many extrinsic factors that can affect the degree to which these goals can be achieved.

file

Visible to the public Bringing the Multicore Revolution to Safety-Critical Cyber-Physical Systems

Submitted by Jim Anderson on Mon, 02/01/2016 - 2:50pm. Contributors:

Abstract:

Shared hardware resources like caches and memory introduce timing unpredictability for real-time systems. Worst-case execution time (WCET) analysis with shared hardware resources is often so pessimistic that the extra processing capacity of multicore systems is negated. We propose techniques to improve performance and schedulability for multicore systems.