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.

The objective of this research is to develop a trustworthy and high-performance neural-machine interface (NMI) that accurately determines a user?s locomotion mode in real-time for neural-controlled artificial legs. The proposed approach is to design the NMI by integrating a new pattern recognition strategy with a high-performance computing embedded system. This project tackles the challenges of accurate interpretation of information from the neuromuscular system, a physical system, using appropriate computation in a cyber system to process the information in real-time. The neural-machine interface consists of multiple sensors that reliably monitor the neural and mechanical information and a set of new algorithms that can fuse and coordinate the highly dynamic information for accurate identification of user intent. The algorithm is to be implemented on a high-performance graphic processing unit (GPU) to meet real-time requirements. This project has the potential to enable the design of neural-controlled artificial legs and may initiate a new direction for research in and the design of prosthetic leg systems. Innovations in this domain have the potential to improve the quality of life of leg amputees, including soldiers with limb amputations. The proposed approaches seek to permit cyber systems to cope with physical uncertainty and dynamics, a common challenge in cyber-physical systems, and to pave a way for applying high-performance computing in biomedical engineering. Besides providing comprehensive training to undergraduate and graduate students, the investigators plan to introduce community college students to cyber-physical systems concepts in an interactive and engaging manner.

The objective of this research is to develop truly intelligent, automated driving through a new paradigm that tightly integrates probabilistic perception and deterministic planning in a formal, verifiable framework. The interdisciplinary approach utilizes three interlinked tasks. Representations develops new techniques for constructing and maintaining representations of a dynamic environment to facilitate higher-level planning. Anticipation and Motion Planning develops methods to anticipate changes in the environment and use them as part of the planning process. Verifiable Task Planning develops theory and techniques for providing probabilistic guarantees for high-level behaviors. Ingrained in the approach is the synergy between theory and experiment using an in house, fully equipped vehicle. The recent Urban Challenge showed the current brittleness of autonomous driving, where small perception mistakes would propagate into planners, causing near misses and small accidents; Fundamentally, there is a mismatch between probabilistic perception and deterministic planning, leading to "reactive" rather than "intelligent" behaviors. The proposed research directly addresses this by developing a single, unified theory of perception and planning for intelligent cyber-physical systems. Near term, this research could be used to develop advanced safety systems in cars. The elderly and physically impaired would benefit from inexpensive, advanced automation in cars. Far term, the advanced intelligence could lead to automated vehicles for applications such as cooperative search and rescue. The research program will educate students through interdisciplinary courses in computer science and mechanical engineering, and experiential learning projects. Results will be disseminated to the community including under-represented colleges and universities.

The objective of this research is to study such properties of classes of cooperative multi-agent systems as stability, performance, and robustness. Multi-agent systems such as vehicle platoons and coupled oscillators can display emergent behavior that is difficult to predict from the behavior of individual subsystems. The approach is to develop and extend the theory of fundamental design limitations to cover multi-agent systems that communicate over both physical and virtual communication links. The theory will further describe known phenomena, such as string instability, and extend the analysis to other systems, such as harmonic oscillators. The theory will be tested and validated in the Michigan Embedded Control Systems Laboratory. The intellectual merit of the proposed research will be the development of tools that delineate tradeoffs between performance and feedback properties for control systems involving mixes of human and computer agents and classes of hardware dynamics, controllers, and network topology. The contribution to system behavior of each agent's realization in hardware (constrained by Newton's laws) and realization in software and communications (subject to the constraints discovered by Shannon and Bode) will be assessed. The broader impacts of the proposed research will be a significant impact on teaching, both at the University of Michigan and at ETH Zurich. At each school, popular teaching laboratories allow over 100 students per year, from diverse backgrounds, to learn concepts from the field of embedded networked distributed control systems. New families of haptic devices will enable the research to be transferred into these teaching laboratories.