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.

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.

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.

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.

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.

Abstract: The physical environment of a cyber-physical system is unboundedly complex, changing continuously in time and space. An embodied cyber- physical system, embedded in the physical world, receives a high bandwidth stream of sensory information, and sends continuous control signals. Traditional embedded systems restrict the environment or the attributes considered relevant, and depend on human supervision.

Abstract: 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.

Abstract: The objective of this NSF-CPS Synergy proposal is to develop a distributed algorithmic framework, supported by a highly fault-tolerant software system, for executing critical transmission-level operations of the North American power grid using gigantic volumes of Synchrophasor data.

Abstract: The project will demonstrate a holonic multi-agent system architecture (HMSA) capable of adaptively controlling future electrical power distribution systems, which are expected to include a large number of renewable power generators, energy storage devices, and advanced metering and control devices. The project will produce a general, extensible, and secure cyber architecture based on holonic multi-agent principles to support adaptive PDS.

Abstract: The project pursues two major goals addressing the verification of cyber-physical systems. Firstly, one goal of this project is to develop theory, practice, and applications of verification techniques for distributed hybrid systems with flexible system structures that can change by reconfiguring the system.