Effective response and adaptation to the physical world, and rigorous management of such behaviors through programmable computational means, are mandatory features of cyber physical systems (CPS). However, achieving such capabilities across diverse application requirements surpasses the current state of the art in system platforms and tools. Current computational platforms and tools often treat physical properties individually and in isolation from other cyber and physical attributes. They do not adequately support the expression, integration, and enforcement of system properties that span cyber and physical domains. This results in inefficient use of both cyber and physical resources, and in lower system effectiveness overall. This work investigates novel approaches to these important problems, based on modularizing and integrating diverse cyber-physical concerns that cross-cut physical, hardware, instruction set, kernel, library, and application abstractions. The three major thrusts of this research are 1) establishing foundational models for expressing, analyzing, enforcing, and measuring different conjoined cyber-physical properties, 2) conducting a fundamental re-examination of system development tools and platforms to identify how different application concerns that cut across them can be modularized as cyber-physical system aspects, and 3) developing prototype demonstrations of our results to evaluate further those advances in the state of the art in aspect-oriented techniques for CPS, to help assess the feasibility of broader application of the approach. The broader impact of this work will be through dissemination of academic papers, and open platforms and tools that afford unprecedented integration of cyber-physical properties.

The objective of this research is to develop an atomic force microscope based cyber-physical system that can enable automated, robust and efficient assembly of nanoscale components such as nanoparticles, carbon nanotubes, nanowires and DNAs into nanodevices. The proposed approach is based on the premise that automated, robust and efficient nanoassembly can be achieved through tip based pushing in an atomic force microscope with intermittent local scanning of nanoscale components. In particular, in order to resolve temporally and spatially continuous movement of nanoscale components under tip pushing, we propose the combination of intermittent local scanning and interval non-uniform rational B-spline based isogeometric analysis in this research. Successful completion of this research would lead to foundational theories and algorithmic infrastructures for effective integration of physical operations (pushing and scanning) and computation (planning and simulation) for robust, efficient and automated nanoassembly. The resulting theories and algorithms will also be applicable to a broader set of cyber physical systems. If successful, this research will lead to leap progress in nanoscale assembly, from prototype demonstration to large-scale manufacturing. Through its integrated research, education and outreach activities, this project will provide advanced knowledge in cyber-physical systems and nanoassembly for students from high schools to graduate schools and will increase domestic students? interest in science and engineering and therefore strengthen our competitiveness in the global workforce.

The objective of this research is to develop new foundations of composition in heterogeneous systems, to apply these foundations in a new generation of tools for system integration, and to validate the results in experiments using automotive and avionics System-of-Systems experimental platforms. The approach exploits simplification strategies: develop theories, methods, and tools to assist in inter-layer decoupling. The research program has three focus areas: (1) theory of compositionality in heterogeneous systems, (2) tools and tool architectures for system integration, and (3) systems/experimental research. The project develops and deploys theories and methods for inter-layer decoupling that prevent or decrease the formation of intractable system-wide interdependences and maintain compositionality at each layer for carefully selected, essential system properties. Compositionality in tools is sought by exploring semantic foundations for model-based design. Systems/experimental research is conducted in collaboration with General Motors Global R&D (GM) and focuses on electric car platforms. The project is contributing to the cost effective development and deployment of many safety and security-critical cyber-physical systems, ranging from medical devices to transportation, to defense and avionics. The participating institutions seek to complement the conventional curriculum in systems science with one that admits computation as a primary concept. The curriculum changes will be aggressively promoted through a process of workshops and textbook preparation.

The objective of this research is to develop an atomic force microscope based cyber-physical system that can enable automated, robust and efficient assembly of nanoscale components such as nanoparticles, carbon nanotubes, nanowires and DNAs into nanodevices. The approach in this project is based on the premise that automated, robust and efficient nanoassembly can be achieved through tip based pushing in an atomic force microscope with intermittent local scanning of nanoscale components. In particular, in order to resolve temporally and spatially continuous movement of nanoscale components under tip pushing, the research is exploring the combination of intermittent local scanning and interval non-uniform rational B-spline based isogeometric analysis in this research. Successful completion of this research is expected to lead to foundational theories and algorithmic infrastructures for effective integration of physical operations (pushing and scanning) and computation (planning and simulation) for robust, efficient and automated nanoassembly. The resulting theories and algorithms will also be applicable to a broader set of cyber physical systems. If successful, this research will lead to leap progress in nanoscale assembly, from prototype demonstration to large-scale manufacturing. Through its integrated research, education and outreach activities, this project is providing experiences and understanding in cyber-physical systems and nanoassembly for students from high schools to graduate schools. The goal is to increase interest in science and engineering among domestic students and therefore strengthen our competitiveness in the global workforce.

The objective of the research is to develop tools for comprehensive design and optimization of air traffic flow management capabilities at multiple spatial and temporal resolutions: a national airspace-wide scale and one-day time horizon (strategic time-frame); and at a regional scale (of one or a few Centers) and a two-hour time horizon (tactical time-frame). The approach is to develop a suite of tools for designing complex multi-scale dynamical networks, and in turn to use these tools to comprehensively address the strategic-to-tactical traffic flow management problem. The two directions in tool development include 1) the meshed modeling/design of flow- and queueing-networks under network topology variation for cyber- and physical- resource allocation, and 2) large-scale network simulation and numerical analysis. This research will yield aggregate modeling, management design, and validation tools for multi-scale dynamical infrastructure networks, and comprehensive solutions for national-wide strategic-to-tactical traffic flow management using these tools. The broader impact of the research lies in the significant improvement in cost and equity that may be achieved by the National Airspace System customers, and in the introduction of systematic tools for infrastructure-network design that will have impact not only in transportation but in fields such as electric power network control and health-infrastructure design. The development of an Infrastructure Network Ideas Cluster will enhance inter-disciplinary collaboration on the project topics and discussion of their potential societal impact. Activities of the cluster include cross-university undergraduate research training, seminars on technological and societal-impact aspects of the project, and new course development.

The objective of the research is to develop tools for comprehensive design and optimization of air traffic flow management capabilities at multiple spatial and temporal resolutions: a national airspace-wide scale and one-day time horizon (strategic time-frame); and at a regional scale (of one or a few Centers) and a two-hour time horizon (tactical time-frame). The approach is to develop a suite of tools for designing complex multi-scale dynamical networks, and in turn to use these tools to comprehensively address the strategic-to-tactical traffic flow management problem. The two directions in tool development include 1) the meshed modeling/design of flow- and queueing-networks under network topology variation for cyber- and physical- resource allocation, and 2) large-scale network simulation and numerical analysis. This research will yield aggregate modeling, management design, and validation tools for multi-scale dynamical infrastructure networks, and comprehensive solutions for national-wide strategic-to-tactical traffic flow management using these tools. The broader impact of the research lies in the significant improvement in cost and equity that may be achieved by the National Airspace System customers, and in the introduction of systematic tools for infrastructure-network design that will have impact not only in transportation but in fields such as electric power network control and health-infrastructure design. The development of an Infrastructure Network Ideas Cluster will enhance inter-disciplinary collaboration on the project topics and discussion of their potential societal impact. Activities of the cluster include cross-university undergraduate research training, seminars on technological and societal-impact aspects of the project, and new course development.

The objective of the research is to develop tools for comprehensive design and optimization of air traffic flow management capabilities at multiple spatial and temporal resolutions: a national airspace-wide scale and one-day time horizon (strategic time-frame); and at a regional scale (of one or a few Centers) and a two-hour time horizon (tactical time-frame). The approach is to develop a suite of tools for designing complex multi-scale dynamical networks, and in turn to use these tools to comprehensively address the strategic-to-tactical traffic flow management problem. The two directions in tool development include 1) the meshed modeling/design of flow- and queueing-networks under network topology variation for cyber- and physical- resource allocation, and 2) large-scale network simulation and numerical analysis. This research will yield aggregate modeling, management design, and validation tools for multi-scale dynamical infrastructure networks, and comprehensive solutions for national-wide strategic-to-tactical traffic flow management using these tools. The broader impact of the research lies in the significant improvement in cost and equity that may be achieved by the National Airspace System customers, and in the introduction of systematic tools for infrastructure-network design that will have impact not only in transportation but in fields such as electric power network control and health-infrastructure design. The development of an Infrastructure Network Ideas Cluster will enhance inter-disciplinary collaboration on the project topics and discussion of their potential societal impact. Activities of the cluster include cross-university undergraduate research training, seminars on technological and societal-impact aspects of the project, and new course development.

Proposal Title: CPS:Medium:Collaborative Research: The Foundations of Implicit and Explicit Communication in Cyberphysical Systems Institution: University of California-Berkeley Abstract Date: 07/30/09 The objective of this research is to develop the theoretical foundations for understanding implicit and explicit communication within cyber-physical systems. The approach is two-fold: (a) developing new information-theoretic tools to reveal the essential nature of implicit communication in a manner analogous to (and compatible with) classical network information theory; (b) viewing the wireless ecosystem itself as a cyber-physical system in which spectrum is the physical substrate that is manipulated by heterogeneous interacting cyber-systems that must be certified to meet safety and performance objectives. The intellectual merit of this project comes from the transformative technical approaches being developed. The key to understanding implicit communication is a conceptual breakthrough in attacking the unsolved 40-year-old Witsenhausen counterexample by using an approximate-optimality paradigm combined with new ideas from sphere-packing and cognitive radio channels. These techniques open up radically new mathematical avenues to attack distributed-control problems that have long been considered fundamentally intractable. They guide the development of nonlinear control strategies that are provably orders-of-magnitude better than the best linear strategies. The keys to understanding explicit communication in cyber-physical systems are new approaches to active learning, detection, and estimation in distributed environments that combine worst-case and probabilistic elements. Beyond the many diverse applications (the Internet, the smart grid, intelligent transportation, etc.) of heterogeneous cyber-physical systems themselves, this research reaches out to wireless policy: allowing the principled formulation of government regulations for next-generation networks. Graduate students (including female ones) and postdoctoral scholars will be trained and research results incorporated into both the undergraduate and graduate curricula. NATIONAL SCIENCE FOUNDATION Proposal Abstract Proposal:0932410 PI Name:Sahai, Anant Printed from

The objective of this research is to study the formal design and verification of advanced vehicle dynamics control systems. The approach is to consider the vehicle-driver-road system as a cyber-physical system (CPS) by focusing on three critical components: (i) the tire-road interaction; (ii) the driver-vehicle interaction; and (iii) the controller design and validation. Methods for quantifying and estimating the uncertainty of the road friction coefficient by using self-powered wireless sensors embedded in the tire are developed for considering tire-road interaction. Tools for real-time identification of nominal driver behavior and uncertainty bounds by using in-vehicle cameras and body wireless sensors are developed for considering driver-vehicle interaction. A predictive hybrid supervisory control scheme will guarantee that the vehicle performs safely for all possible uncertainty levels. In particular, for controller design and validation, the CPS autonomy level is continuously adapted as a function of human and environment conditions and their uncertainty bounds quantified by considering tire-road and driver-vehicle interaction. High confidence is critical in all human operated and supervised cyber-physical systems. These include environmental monitoring, telesurgery, power networks, and any transportation CPS. When human and environment uncertainty bounds can be predicted, safety can be robustly guaranteed by a proper controller design and validation. This avoids lengthy and expensive trial and error design procedures and drastically increases their confidence level. Graduate, undergraduate and underrepresented engineering students benefit from this project through classroom instruction, involvement in the research and substantial interaction with industrial partners from the fields of tires, vehicle active safety, and wireless sensors.