This project demonstrates the synergistic use of a cyber-physical infrastructure consisting of smart-phone devices; cloud computing, wireless communication, and intelligent transportation systems to manage vehicles in the complex urban network -- through the use of traffic controls, route advisories and road pricing -- to jointly optimize drivers' mobility and the sustainability goals of reducing energy usage and improving air quality. The system developed, MIDAS-CPS, proactively manages the interacting traffic demand and the available transportation supply. A key element of MIDAS-CPS is the data collection and display device PICT that collects each participating driver's vehicle position, forward images from the vehicle's dashboard, and communication time stamps, and then displays visualizations of predicted queues ahead, relevant road prices, and route advisories. Given the increasing congestion in most of the urban areas, and the rising costs of constructing traffic control facilities and implementing highway hardware, MIDAS-CPS could revolutionize the way traffic is managed on the urban network since all computing is done via clouds and the drivers instantly get in-vehicle advisories with graphical visualizations of predicted conditions. It is anticipated this would lead to improved road safety and lesser drive stress, besides the designed benefits on the environment, energy consumption, congestion mitigation, and driver mobility. This multidisciplinary project is at the cutting edge in several areas: real-time image processing, real-time traffic prediction and supply/demand management, and cloud computing. Its educational impacts include enhancements of curricula and laboratory experiences at participating universities, workforce development, and student diversity.

This project demonstrates the synergistic use of a cyber-physical infrastructure consisting of smart-phone devices; cloud computing, wireless communication, and intelligent transportation systems to manage vehicles in the complex urban network ? through the use of traffic controls, route advisories and road pricing ? to jointly optimize drivers? mobility and the sustainability goals of reducing energy usage and improving air quality. The system developed, MIDAS-CPS, proactively manages the interacting traffic demand and the available transportation supply. A key element of MIDAS-CPS is the data collection and display device PICT that collects each participating driver?s vehicle position, forward images from the vehicle?s dashboard, and communication time stamps, and then displays visualizations of predicted queues ahead, relevant road prices, and route advisories. Given the increasing congestion in most of the urban areas, and the rising costs of constructing traffic control facilities and implementing highway hardware, MIDAS-CPS could revolutionize the way traffic is managed on the urban network since all computing is done via clouds and the drivers instantly get in-vehicle advisories with graphical visualizations of predicted conditions. It is anticipated this would lead to improved road safety and lesser drive stress, besides the designed benefits on the environment, energy consumption, congestion mitigation, and driver mobility. This multidisciplinary project is at the cutting edge in several areas: real-time image processing, real-time traffic prediction and supply/demand management, and cloud computing. Its educational impacts include enhancements of curricula and laboratory experiences at participating universities, workforce development, and student diversity. Additional information on the project is available at http://midas-cps.mobicloud.asu.edu/.

This project aims to achieve key technology, infrastructure, and regulatory science advances for next generation medical systems based on the concept of medical application platforms (MAPs). A MAP is a safety/security-critical real-time computing platform for: (a) integrating heterogeneous devices and medical IT systems, (b) hosting application programs ("apps") that provide medical utility through the ability to both acquire information and update/control integrated devices, IT systems, and displays. The project will develop formal architectural and behavioral specification languages for defining MAPs, with a focus on techniques that enable compositional reasoning about MAP component interoperability and safety. These formal languages will include an extensible property language to enable the specification of real-time, quality-of-service, and attributes specific to medical contexts that can be leveraged by code generation, testing, and verification tools. The project will work closely with a synergistic team of clinicians, device industry partners, regulators, and medical device interoperability and safety standard organizations to develop an open source MAP innovation platform to enable key stakeholders within the nation's health care ecosphere to identify, prototype, and evaluate solutions to key technology and regulatory challenges that must be overcome to develop a commodity market of regulated MAP components. Because MAPs provide pre-built certified infrastructure and building blocks for rapidly developing multi-device medical applications, this research has the potential to usher in a new paradigm of medical system that significantly increases the pace of innovation, lowers development costs, enables new functionality by aggregating multiple devices into a system of systems, and achieves greater system safety.

Large-scale critical infrastructure systems, including energy and transportation networks, comprise millions of individual elements (human, software and hardware) whose actions may be inconsequential in isolation but profoundly important in aggregate. The focus of this project is on the coordination of these elements via ubiquitous sensing, communications, computation, and control, with an emphasis on the electric grid. The project integrates ideas from economics and behavioral science into frameworks grounded in control theory and power systems. Our central construct is that of a ?resource cluster,? a collection of distributed resources (ex: solar PV, storage, deferrable loads) that can be coordinated to efficiently and reliably offer services (ex: power delivery) in the face of uncertainty (ex: PV output, consumer behavior). Three topic areas form the core of the project: (a) the theoretical foundations for the ?cluster manager? concept and complementary tools to characterize the capabilities of a resource cluster; (b) centralized resource coordination strategies that span multiple time scales via innovations in stochastic optimal control theory; and (c) decentralized coordination strategies based on cluster manager incentives and built upon foundations of non-cooperative dynamic game theory. These innovations will improve the operation of infrastructure systems via a cyber-physical-social approach to the problem of resource allocation in complex infrastructures. By transforming the role of humans from passive resource recipients to active participants in the electric power system, the project will facilitate energy security for the nation, and climate change mitigation. The project will also engage K-12 students through lab-visits and lectures; address the undergraduate demand for power systems training through curricular innovations at the intersection of cyber-systems engineering and physical power systems; and equip graduate students with the multi-disciplinary training in power systems, communications, control, optimization and economics to become leaders in innovation.

Multicore platforms have the potential of revolutionizing the capabilities of embedded cyber-physical systems. Unfortunately, when such systems have safety-critical components, multicore platforms are rarely used. The reason is a lack of predictability associated with hardware components such as caches, memory controllers, etc., that are shared among cores. With current technology, very conservative estimates concerning the usage of these shared resources must be made, to certify that overuse violations do not occur at runtime. The resulting over-provisioning can be significant, easily negating the processing power of any additional cores. The goal of this project is to resolve this multicore "predictability problem" by developing allocation mechanisms that enable shared hardware resources to be controlled in a predictable way. The research agenda in this project includes fundamental research on relevant real-time resource allocation problems, prototyping efforts involving real-time operating systems and middleware, and experimental evaluations of improvements enabled by the developed mechanisms in timing analysis tools (which are used to determine task execution-time budgets). Addressing the "predictability problem" associated with multicore platforms would be a breakthrough result for safety-critical, cyber-physical systems in domains such as avionics and automobiles. When using multicore platforms to host highly-critical workloads in these domains, the current state of the art is to obviate the predictability problem by turning off all but one core. Unless a more intelligent solution can be found, such domains will not benefit from savings in size, weight, and power (SWaP) and gains in functionality that multicore platforms afford. Broader impacts include joint research with industry colleagues on supporting real-time workloads in unmanned air vehicles, the development of publicly-available open-source software that can be used by other institutions for research and teaching purposes, and the development of a new course on cyber-physical systems.

Cyber physical systems (CPSs) are merging into major mobile systems of our society, such as public transportation, supply chains, and taxi networks. Past researchers have accumulated significant knowledge for designing cyber physical systems, such as for military surveillance, infrastructure protection, scientific exploration, and smart environments, but primarily in relatively stationary settings, i.e., where spatial and mobility diversity is limited. Differently, mobile CPSs interact with phenomena of interest at different locations and environments, and where the context information (e.g., network availability and connectivity) about these physical locations might not be available. This unique feature calls for new solutions to seamlessly integrate mobile computing with the physical world, including dynamic access to multiple wireless technologies. The required solutions are addressed by (i) creating a network control architecture based on novel predictive hierarchical control and that accounts for characteristics of wireless communication, (ii) developing formal network control models based on in-situ network system identification and cross-layer optimization, and (iii) designing and implementing a reference implementation on a small scale wireless and vehicular test-bed based on law enforcement vehicles. The results can improve all mobile transportation systems such as future taxi control and dispatch systems. In this application advantages are: (i) reducing time for drivers to find customers; (ii) reducing time for passengers to wait; (iii) avoiding and preventing traffic congestion; (iv) reducing gas consumption and operating cost; (v) improving driver and vehicle safety, and (vi) enforcing municipal regulation. Class modules developed on mobile computing and CPS will be used at the four participating Universities and then be made available via the Web.

This project designs algorithms for the integration of plug-in hybrid electric vehicles (PEVs) into the power grid. Specifically, the project will formulate and solve optimization problems critical to various entities in the PEV ecosystem -- PEV owners, commercial charging station owners, aggregators, and distribution companies -- at the distribution / retail level. Charging at both commercial charging stations and at residences will be considered, for both the case when PEVs only function as loads, and the case when they can also function as sources, equipped with vehicle-to-home (V2H) or vehicle-to-grid (V2G) energy reinjection capability. The focus of the project is on distributed decision making by various individual players to achieve analytical system-level performance guarantees. Electrification of the transportation market offers revenue growth for utility companies and automobile manufacturers, lower operational costs for consumers, and benefits to the environment. By addressing problems that will arise as PEVs impose extra load on the grid, and by solving challenges that currently impede the use of PEVs as distributed storage resources, this research will directly impact the society. The design principles gained will also be applicable to other cyber-physical infrastructural systems. A close collaboration with industrial partners will ground the research in real problems and ensure quick dissemination of results to the marketplace. A strong educational component will integrate the proposed research into the classroom to allow better training of both undergraduate and graduate students. The details of the project will be provided at http://ee.nd.edu/faculty/vgupta/research/funding/cps_pev.html

Wireless sensor-actuator networks (WSAN) are systems consisting of numerous sensing and actuation devices that interact with the environment and coordinate their activities over a wireless communication network. This project studies "resilience" in WSANs. A resilient system is one that maintains an active awareness of surrounding threats and reacts to those threats in a manner that returns the system to operational normalcy in finite time. This project's approach to resilient WSANs rests on two fundamental trends. One trend uses machine-to-machine (M2M) communication networks that promise wireless networking with greater peak bit-rates and reliability than previously possible. The other trend comes from recent ideas that use quantization and event-triggered feedback in a unified manner to reduce bit rates required by real-time control systems. This project will evaluate and demonstrate this integrated control/communication approach to resilience on a multi-robotic testbed consisting of unmanned ground vehicles. The testbed will integrate M2M communication hardware/software with a multi-robot control architecture addressing task coordination and platform stabilization. This project broadens its impact through organizations and programs on and around the Notre Dame campus that facilitate industrial engagement and technology transfer. The project will engage undergraduate and graduate students to support the project's testbed and algorithm development. The project will augment and re-organize Notre Dame's Cyber-Physical System (CPS) curriculum by integrating the results of this project into courses.

This project explores balancing performance considerations and power consumption in cyber-physical systems, through algorithms that switch among different modes of operation (e.g., low-power/high-power, on/off, or mobile/static) in response to environmental conditions. The main theoretical contribution is a computational, hybrid optimal control framework that is connected to a number of relevant target applications where physical modeling, control design, and software architectures all constitute important components. The fundamental research in this program advances state-of-the-art along four different dimensions, namely (1) real-time, hybrid optimal control algorithms for power management, (2) power-management in mobile sensor networks, (3) distributed power-aware architectures for infrastructure management, and (4) power-management in embedded multi-core processors. The expected outcome, which is to enable low-power devices to be deployed in a more effective manner, has implications on a number of application domains, including distributed sensor and communication networks, and intelligent and efficient buildings. The team represents both a research university (Georgia Institute of Technology) and an undergraduate teaching university (York College of Pennsylvania) in order to ensure that the educational components are far-reaching and cut across traditional educational boundaries. The project involves novel, inductive-based learning modules, where graduate students team with undergraduate researchers.

Autonomous navigation in unknown and dynamic environments has been a major challenge for synthetic mobile robotic agents. On the other hand, insects can easily solve such complex navigational problems and demonstrate remarkably stable and optimized locomotion skills in almost any environment. This project aims to develop a mobile sensor network where insects are used as mobile biological-robotic (biobotic) nodes. Insects, in fact, build a "natural" sensor network through the use of their biological sensing organs and release of chemical, mechanical and optical cues to communicate the information to the rest of the group. In the scope of this project, a novel cyber-physical communication network will be established among the individual insect in addition to the aforementioned natural one. For this, insects will be equipped with synthetic electronic sensors to sense additional cues, neuromuscular stimulation systems to direct the control of the insect and microcontrollers with radios to establish an RF link between the insects. This novel network will enable operation of insect biobots in complicated and uncertain dynamic environments for applications such as environmental sensing and search-and-rescue operations after natural disasters. The unique interdisciplinary nature of this project will help engineers to reach to younger generations and train them to be able to look at engineering problems from a cyberphysical systems point of view. Planned activities include development of lab modules and demos by undergraduate and graduate students to teach K-12 students and their teachers through our on-going collaborations with educational partners. These demos will also be instrumental during nation level efforts to promote graduate education to underrepresented minority students.