2013

file

Visible to the public Quantitative Analysis and Design of Control Networks

Submitted by pappasg on Thu, 10/24/2013 - 11:20am. Contributors:

Abstract:

Control networks are wireless substrates for industrial automation control, such as the WirelessHART and ISA100.11.a, and have fundamental differences over their sensor network counterparts as they also include actuation and the physical dynamics. Consequently, these system are fundamentally constrained by the tight coupling, and closed-loop control and actuation of physical processes.

file

Visible to the public Embedded Fault Detection for Low-Cost, Safety-Critical Systems

Submitted by gjbalas on Thu, 10/24/2013 - 9:51am. Contributors:

Abstract:

Fault tolerance is vital to ensuring the integrity and availability of safety critical systems. Current solutions are based almost exclusively on physical redundancy at all levels of the design. The use of physical redundancy, however, dramatically increases system size, complexity, weight, and power consumption.

file

Visible to the public Diagnostics and Prognostics Using Temporal Causal Models for Cyber Physical Systems – A Case of Smart Electric Grid

Submitted by gabor on Thu, 10/24/2013 - 9:37am. Contributors:

Abstract:

Motivation: Reliable and resilient operation of cyber-physical systems (CPS) of societal importance such as Smart Electric Grids is critical. Efficient models and tools to perform timely fault diagnostics and prognostics are needed for curtailing systemic failures such as power blackouts. Varying system state caused by the fluctuating power consumption, dynamic control actions, physical component degradation, and interactions with possible software anomalies make the failure analysis, prediction, and mitigation difficult.

file

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

Submitted by fmuelle on Wed, 10/23/2013 - 5:42pm. Contributors:

Abstract:

Multicore platforms have the potential of revolutionizing the capabilities of embedded cyber-physical systems but lack predictability in execution time due to shared resources. Safety-critical systems require such predictability for certification. This research aims at resolving this multicore "predictability problem.'' It will develop methods that enable to share hardware resources to be allocated and provide predictability, including support for real-time operating systems, middleware, and associated analysis tools.

file

Visible to the public Provably Safe Automotive Cyber-Physical Systems with Humans-in-the-Loop

Submitted by fborrelli on Wed, 10/23/2013 - 5:34pm. Contributors:

Abstract:

This project focuses on the formal design of semi-autonomous automotive Cyber Physical Systems (CPS). Rather than disconnecting the driver from the vehicle, the goal is to obtain a vehicle where the degree of autonomy is continuously changed in real-time as a function of certified uncertainty ranges in driver behavior and environment reconstruction.

file

Visible to the public A Novel Human Centric CPS to Improve Motor/Cognitive Assessment and Enable Adaptive Rehabilitation

Submitted by makedon on Wed, 10/23/2013 - 5:15pm. Contributors:

Abstract:

Cerebral Palsy (CP) is the most common motor disorder of central origin in childhood and affects at least 2 children per 1000 live births every year. This project will research new methods and tools in motor/cognitive assessment for small children (5-8 years old) with Cerebral Palsy.

file

Visible to the public Cyber-enabled Manufacturing Systems (CeMS)

Submitted by Felipe Lopez on Wed, 10/23/2013 - 5:10pm. Contributors:

Abstract:

Quality control in high-volume manufacturing is commonly performed using Statistics-based quality control techniques. These techniques require large data sets in order to specify acceptable variation limits. These statistics-based QC approaches are not applicable in small-lot high-value manufacturing where it is important to ensure the quality of each one of the final products. Previous model based process control used simplified representations of the actual physics of the process.

file

Visible to the public Programmable Second Skin For Re-Educating Injured Nervous Systems

Submitted by GOLDFIELD on Wed, 10/23/2013 - 5:03pm. Contributors:

Abstract:

The purpose of this grant was to develop clothing-like material with embedded sensors and synthetic muscles. When eventually worn by brain-injured individuals over one or more limbs, this clothing may be used to restore their capability for independent mobility. The material, called a "second skin", is a cyberphysical system designed as a soft robot that cooperates with the biological muscles of the body.

file

Visible to the public Cybernetic Interfaces for the Restoration of Human Movement through Functional Electrical Stimulation

Submitted by e-perreault on Wed, 10/23/2013 - 4:54pm. Contributors:

Abstract:

Functional electrical stimulation (FES) is a promising technology for activating muscles in spinal cord injured (SCI) patients. The objective of our project is to develop an intuitive user interface and control system that allows high--level tetraplegic patients to regain the use of their own arm.

file

Visible to the public Credible Autocoding and Verification of Embedded Software (CrAVES)

Submitted by feron on Wed, 10/23/2013 - 4:44pm. Contributors:

Abstract:

Today, the assembly of safety-critical software involves many distinct agents, including control engineers and software engineers. Due in part to the existing regulatory framework, little, if any, semantic information is passed from control engineers (who specify the real-time software) to software engineers (who implement the specifications). As a result, high-level, system-wide information is lost at the time of software assembly, and only during system validation do software specification and semantics re-appear.