The goal of this project is to develop a novel cyber-physical system (CPS) for performing multimodal image-guided robot-assisted minimally invasive surgeries (MIS). The approach is based on: (1) novel quantitative analysis of multi-contrast data, (2) control that uses this information to maneuver conformable robotic manipulators, while adjusting on-the-fly scanning parameters to acquire additional information, and (3) human-information/machine-interfacing for comprehensive appreciation of the physical environment. The intellectual merit arises from the development of: (1) a CPS that relies on "real" and "real-time" data, minimizing parametric and abstracted assumptions, extracts and matures information from a dynamic physical system (patient and robot) by combining management of data collection (at the physical sensor site) and data analysis (at the cyber site), (2) "smart sensing", to control data acquisition based on disruptive or situation altering events, (3) control coordination by interlacing sensing, control and perception, and the incorporation of steerable tools. The societal impact arises from contributions to a leap in MIS: from "keyhole" visualization (i.e., laparoscopy) to in-situ real-time image guidance, thereby enabling a wider range of MIS. This will directly benefit patients and their families (faster recovery/reduced trauma). Economic impact arises from the cost-effectiveness of MIS to the health care system, faster patient return to the workplace, and technology commercialization. The project will integrate research and education, diversity and outreach, by enhancing current and introducing new research-intensive courses in Cyber-physical Systems, Medical Imaging and Medical Robotics, and dissemination via trans-institutional collaborations, a comprehensive web site, multimedia web-seminars, and distribution to high schools.

The objective of this research is to understand mechanisms for generating natural movements of skeletal mechanisms driven by stochastically-controlled, biologically-inspired actuators. The approach is to verify the hypothesis that the variability associated with high redundancy and the stochastic nature of the actuation is key to generating natural movements. This project seeks to: (i) develop a method to model and characterize actuator array topologies; (ii) develop a method to analyze the force variability of stochastic actuator arrays; (iii) develop an analytical method to generate movements for a robot with multiple degrees of freedom by minimizing the effect of variability; and (iv) demonstrate the validity of the approach through the development of a robotic arm driven by multiple stochastic array actuators. With respect to intellectual merit, the study of inhomogeneous stochastic actuator network topologies inspired by neuromuscular systems could find the "missing links" that bridge the gap between biological natural movements and the ones in artificial systems. Potential results could impact other research areas, including robust computer networks, robust immune systems, and redundant muscle coordination. With respect to broader impacts, a new graduate-level course provides students in engineering and science with a comprehensive and multidisciplinary education in the underlying principles, cutting-edge applications, and societal impacts of biologically-inspired robotics. Outreach activities include an interactive educational program for K-12 students and a workshop for high-school students and their mentors on robot development. International collaboration with Tokyo University of Science, Japan, will be initiated.

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 develop numerical techniques for solving partial differential equations (PDE) that govern information flow in dense wireless networks. Despite the analogy of information flow in these networks to physical phenomena such as thermodynamics and fluid mechanics, many physical and protocol imposed constraints make information flow PDEs unique and different from the observed PDEs in physical phenomena. The approach is to develop a systematic method where a unified framework is capable of optimizing a broad class of objective functions on the information flow in a network of a massive number of nodes. The objective function is defined depending on desired property of the geometric paths of information. This leads to PDEs whose form varies depending on the optimization objective. Finally, numerical techniques will be developed to solve the PDEs in a network setting and in a distributed manner. The intellectual merits of this project are: developing mathematical tools that address a broad range of design objectives in large scale wireless sensor networks under a unified framework; initiating a new field on numerical analysis of information flow in dense wireless networks; and developing design tools for networking problems such as transport capacity, routing, and load balancing. The broader impacts of this research are: helping the development of next generation wireless networks; encouraging involvement of undergraduate students and underrepresented groups, and incorporating the research results into graduate level courses. Additionally, the research is interdisciplinary, bringing together sensor networking, theoretical physics, partial differential equations, and numerical optimization.

The objective of this research is to discover new fundamental principles, design methods, and technologies for realizing distributed networks of sub-cm3, ant-sized mobile micro-robots that self-organize into cooperative configurations. The approach is intrinsically interdisciplinary and organized along four main thrusts: (1) Algorithms for distributed coordination and control under severe power, communication, and mobility constraints. (2) Electronics for robot control using event-based communication and computation, ultra-low-power radio, and adaptive analog-digital integrated circuits. (3) Locomotion devices and efficient actuators using rapid-prototyping and MEMS technologies that can operate robustly under real-world conditions. (4) Integration of the algorithms, electronics, and actuators into a fleet of ant-size micro-robots. No robots at the sub-cm3 scale exist because their development faces a number of open challenges. This research will identify and determine means for solving these challenges. In addition, it will provide new solutions to outstanding questions about resource-constrained algorithms, architectures, and actuators that can be widely leveraged in other applications. The PIs will adopt a co-design philosophy that promotes cross-disciplinary research and tight collaboration. Networks of ant-sized robots are expected to be useful in disaster relief, manufacturing, warehouse management, and ecological monitoring, as well as in new unforeseen applications. In addition, the new methods and principles proposed here can be transitioned to other highly-distributed and resource-constrained engineering problems, such as air-traffic control systems. This research program will train Ph.D. students with unique skills in the design of hybrid distributed networks and it will involve undergraduate students, particularly underrepresented minorities and women.

The objective of this research is to develop technologies to improve the efficiency and safety of the road transportation infrastructure. The approach is to develop location-based vehicular services combining on-board automotive computers, in-car devices, mobile phones, and roadside monitoring/surveillance systems. The resulting vehicular Cyber Physical Systems (CPS) can reduce travel times with smart routing, save fuel and reduce carbon emissions by determining greener routes and commute times, improve safety by detecting road hazards, change driving behavior using smart tolling, and enable measurement-based insurance plans that incentivize good driving. This research develops distributed algorithms for predictive travel delay modeling, feedback-based routing, and road hazard assessment. It develops privacy-preserving protocols for capturing and analyzing data and using it for tasks such as congestion-aware tolling. It also develops a secure macro-tasking software run-time substrate to ensure that algorithms can be programmed centrally without explicitly programming each node separately, while ensuring that it is safe to run third-party code. The research focuses on re-usable methods that can benefit multiple vehicular services, and investigates which lessons learned from this vehicular CPS effort generalize to other situations. Road transportation is a grand challenge problem for modern society, which this research can help overcome. Automobile vendors, component developers, and municipal authorities have all shown interest in deployment. The education plan includes outreach to local K-12 students and a new undergraduate course on transportation from a CPS perspective, which will involve term projects using the data collected in the project

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, will receive a high bandwidth stream of sensory information, and may have multiple effectors with continuous control signals. In addition to dynamic change in the world, the properties of the cyber-physical system itself ? its sensors and effectors ? change over time. How can it cope with this complexity? The hypothesis behind this proposal is that a successful cyber-physical system will need to be a learning agent, learning the properties of its sensors, effectors, and environment from its own experience, and adapting over time. Inspired by human developmental learning, the assertion is that foundational concepts such as Space, Object, Action, etc., are essential for such a learning agent to abstract and control the complexity of its world. To bridge the gap between continuous interaction with the physical environment, and discrete symbolic descriptions that support effective planning, the agent will need multiple representations for these foundational domains, linked by abstraction relations. To achieve this, the team is developing the Object Semantic Hierarchy (OSH), which shows how a learning agent can create a hierarchy of representations for objects it interacts with. The OSH shows how the ?object abstraction? factors the uncertainty in the sensor stream into object models and object trajectories. These object models then support the creation of action models, abstracting from low-level motor signals. To ensure generality across cyber-physical systems, these methods make only very generic assumptions about the nature of the sensors, effectors, and environment. However, to provide a physical test bed for rapid evaluation and refinement of our methods, the team has designed a model laboratory robotic system to be built from off-the-shelf components, including a stereo camera, a pan-tilt-translate base, and a manipulator arm. For dissemination and replication of research results, the core system will be affordable and easily duplicated at other labs. There are plans to distribute the plans, the control software, and the software for experiments, to encourage other labs to replicate and extend the work. The same system will serve as a platform for an open-ended set of undergraduate laboratory tasks, ranging from classroom exercises, to term projects, to independent study projects. There is a preliminary design for a very inexpensive version of the model cyberphysical system that can be constructed from servo motors and pan-tilt webcams, for use in collaborating high schools and middle schools, to communicate the breadth and excitement of STEM research.

The objective of this research is the transformation from static sensing into mobile, actuated sensing in dynamic environments, with a focus on sensing in tidally forced rivers. The approach is to develop inverse modeling techniques to sense the environment, coordination algorithms to distribute sensors spatially, and software that uses the sensed environmental data to enable these coordination algorithms to adapt to new sensed conditions. This work relies on the concurrent sensing of the environment and actuation of those sensors based on sensed data. Sensing the environment is approached as a two-layer optimization problem. Since mobile sensors in dynamic environments may move even when not actuated, sensor coordination and actuation algorithms must maintain connectivity for the sensors while ensuring those sensors are appropriately located. The algorithms and software developed consider the time scales of the sensed environment, as well as the motion capabilities of the mobile sensors. This closes the loop from sensing of the environment to actuation of the devices that perform that sensing. This work is addresses a challenging problem: the management of clean water resources. Tidally forced rivers are critical elements in the water supply for millions of Californians. By involving students from underrepresented groups, this research provides a valuable opportunity for students to develop an interest in engineering and to learn first hand about the role of science and engineering in addressing environmental issues.

The objective of this research is to develop the scientific foundation for the quantitative analysis and design of control networks. Control networks are wireless substrates for industrial automation control, such as the WirelessHART and Honeywell's OneWireless, and have fundamental differences over their sensor network counterparts as they also include actuation and the physical dynamics. The approach of the project focuses on understanding cross-cutting interfaces between computing systems, control systems, sensor networks, and wireless communications using time-triggered architectures. The intellectual merit of this research is based on using time-triggered communication and computation as a unifying abstraction for understanding control networks. Time-triggered architectures enable the natural integration of communication, computation, and physical aspects of control networks as switched control systems. The time-triggered abstraction will serve for addressing the following interrelated themes: Optimal Schedules via Quantitative Automata, Quantitative Analysis and Design of Control Networks: Wireless Protocols for Optimal Control: Quantitative Trust Management for Control Networks. Various components of this research will be integrated into the PIs' RAVEN control network which is compatible with both WirelessHART and OneWireless specifications. This provides a direct path for this proposal to have immediate industrial impact. In order to increase the broader impact of this project, this project will launch the creation of a Masters' program in Embedded Systems, one of the first in the nation. The principle that guides the curriculum development of this novel program is a unified systems view of computing, communication, and control systems.

The objective of this research is to develop algorithms for wireless sensor-actuator networks (WSAN) that allow control applications and network servers to work together in maximizing control application performance subject to hard real-time service constraints. The approach is a model-based approach in which the WSAN is unfolded into a real-time fabric that captures the interaction between the network's cyber-processes and the application's physical-processes. The project's approach faces a number of challenges when they are applied to wireless control systems. This project addresses these challenges by 1) using network calculus concepts to pose a network utility maximization (NUM) problem that maximizes overall application performance subject to network capacity constraints, 2) using event-triggered message passing schemes to reduce communication overhead, 3) using nonlinear analysis methods to more precisely characterize the problem's utility functions, and 4) using anytime control concepts to assure robustness over wide variations in network connectivity. The project's impact will be broadened through interactions with industrial partner, EmNet LLC. The company will use this project's algorithms on its CSOnet system. CSOnet is a WSAN controlling combined-sewer overflows (CSO), an environmental problem faced by nearly 800 cities in the United States. The project's impact will also be broadened through educational outreach activities that develop a graduate level course on formal methods in cyber-physical systems. The project's impact will be broadened further through collaborations with colleagues working on networked control systems under the European Union's WIDE project.