2013

file

Visible to the public Networked Sensor Swarm of Underwater Drifters

Submitted by Curt Schurgers on Wed, 10/23/2013 - 3:21pm. Contributors:

Abstract:

Although coastal waters play a crucial part in the ecosystem and economy, detailed monitoring of these areas has been difficult. This multi-institutional project presents a novel technology, where a large number of autonomous underwater vehicles organize themselves as a swarm, forming a dense four-dimensional spatio-temporal sampling system.

file

Visible to the public ActionWebs

Submitted by Claire Tomlin on Wed, 10/23/2013 - 1:46pm. Contributors:

Abstract:

The objective of this research is to develop a theory of "ActionWebs", that is, networked embedded sensor-rich systems, which can be tasked to coordinate multiple decision- makers. The approach is to first identify models of ActionWebs using stochastic hybrid systems, an interlinking of continuous dynamical physical models with discrete state representations of interconnection and computation. Second, algorithms will be designed for tasking individual sensors, based on information objectives for the entire system.

file

Visible to the public Driver-in-the-Loop Cyber-Transportation Systems

Submitted by Chunming Qiao on Wed, 10/23/2013 - 1:41pm. Contributors:

Abstract:

This project has two closely related objectives. The first is to design and evaluate new Cyber Transportation System (CTS) architectures, protocols and applications for improved traffic safety and traffic operations. The second is to design and develop an integrated traffic-driving-networking simulator. The project takes a multi-disciplinary approach that combines cyber technologies, transportation engineering and human factors.

file

Visible to the public A Cyber-Physical Infrastructure for the "Smart City"

Submitted by Christos Cassandras on Wed, 10/23/2013 - 1:24pm. Contributors:

Abstract:

The project aims to establish a Cyber-Physical Infrastructure for urban environments and address fundamental problems that involve data collection, resource allocation, real-time decision making, safety, and security.

file

Visible to the public Physically Informed Assertions for CPS Development and Debugging

Submitted by chr1s77 on Wed, 10/23/2013 - 1:10pm. Contributors:

Abstract:

This project's objective is to enable assertion--driven development and debugging cyber-- physical systems (CPS). As opposed to traditional uses of assertions in software engineering, CPS demand a tight coupling of the cyber with the physical, including in system validation. This project will use mathematical models of key physical attributes to guide creation of assertions, to identify inconsistent or infeasible assertions, and to localize potential causes for CPS failures.

file

Visible to the public Cyber-Physical Systems Virtual Organization

Submitted by Chris.vanBuskirk on Wed, 10/23/2013 - 12:39pm. Contributor:

Abstract:

The Cyber Physical Systems Virtual Organization (CPS-VO) is a broad community of interest for CPS researchers, practitioners and policy makers. The CPS-VO includes institutions from academy and industry, and people who work on a wide range of related disciplines with different approaches, methods, tools and experimental platforms. These entities are all interconnected and evolve driven by a shared goal, to advance our knowledge in the science and engineering of CPS.

file

Visible to the public Cyber-Physical Co-Design of Wireless Monitoring and Control for Civil Infrastructure

Submitted by chenyang.lu on Wed, 10/23/2013 - 12:35pm. Contributors:

Abstract:

We are developing advanced distributed monitoring and control systems for civil infrastructure. The approach employs cyber-physical co-design of wireless sensor-actuator networks and structural monitoring and control algorithms. The unified cyber-physical system architecture provides reusable middleware services for developing hierarchical structural monitoring and control systems.

file

Visible to the public Fault Diagnosis and Prognosis in a Network of Embedded Systems in Automotive Vehicles

Submitted by pattipati on Wed, 10/23/2013 - 12:23pm. Contributors:

Abstract:

The relentless competition among automotive companies and increasing demands from customers for driver assistance functions and dynamically-controlled safety systems in vehicles are creating mounting time-to-market pressures and, consequently, shortened development times. With the increased vehicle complexity and shortened development times, guaranteeing hardware-software integrity and, hence, vehicle performance has become a salient issue.

file

Visible to the public Trust and Certification of Autonomous Systems

Submitted by Brian.Hulbert on Wed, 10/23/2013 - 12:20pm. Contributor:

Abstract:

As technology pushes automation to greater degrees of autonomy, the verification and validation burden becomes more cost and time prohibitive. It has been well established that, as stated in AF Technology Horizons 2010, "It is possible to develop systems having high levels of autonomy, but it is the lack of suitable V&V methods that prevents all but relatively low levels of autonomy from being certified for use." This increased move towards further levels of autonomy has brought the certification need to a national level.

file

Visible to the public Mutually Stabilized Correction in Physical Demonstration

Submitted by Brenna on Wed, 10/23/2013 - 12:12pm. Contributors:

Abstract:

How much should a person be allowed to interact with a controlled machine? If that machine is easily destabilized, and if the controller operating it is essential to its operation, the answer may be that the person should not be allowed any control authority at all. Using a combination of techniques coming from machine learning, optimal control, and formal verification, the proposed work focuses on a computable notion of trust that allows the embedded system to assess the safety of instruction.