Many practical barriers continue to exist for a blind individual who strives to lead an independent and active life, despite decades of development of assistive technologies. This project addresses the following two most prominent challenges: (1) disparity in information-sharing among people with visual impairment and its limited understanding by the research community; and (2) lack of methods and tools for effectively addressing the disparity. The central idea is to engage visually-impaired people and their families and friends to directly contribute to a joint endeavor of enhancing information flow, increasing awareness, and improving efficiency of assistive practices, through employing social media and participatory Web. The research is focused on designing computational methodologies and developing tools that are necessary for building cyber-physical systems for a domain where the tight intertwining of physical and cyber systems plus active participation of the human users are the key to attaining the otherwise unlikely capabilities for improving the quality of living for people with special needs. The key approach is to develop a blind-specific cyber-physical system that supports social-media-based crowdsourcing. This enables visually-impaired people to form loosely-connected groups, actively contribute their information and knowledge, and ask/answer unique questions of special needs. Such a system has specific features required: i) blind-friendly (both the cyber components and the physical components); ii) able to provide constantly-updated information, as opposed to just static websites); iii) able to support the users? real-time query for information when mobile iv) able to provide information that is important to the users? daily living, and v) supports expandability and scalability of the CPS, e.g., being able to bridge to other existing social network sites or to expand the virtual community. Specific approaches include automatic direction inquiry, instant call-in/text-in system, community-specific data mining, information retrieval and behavior modeling, all aiming at providing the most useful information for the target user. Aiming at bridging a significant knowledge gap in addressing the challenge of disparity in information-sharing for people with special needs in the age of social media, the project contributes to the development of a deeper understanding of the principles and methodologies in building new cyber-physical systems that promote and support active participation of users of the system, which is especially important for special-need groups such as the visually impaired, the elderly, etc. The significant impact of the work on the society lies in its potential in empowering special-need groups to pursue active and independent living in the information era. The work?s immediate impact on education is two-fold: supporting the visually-impaired students in independent learning and study as well as training students to work on emerging domains of tightly-intertwined cyber and physical systems.

A CPS is a system in which computer-based (cyber) technology is combined with all kinds of physical systems, such as planes and robotic-surgeons. CPSs require integration (in industry and academia) of different types of knowledge from many different domains. CPSs are built from often inaccurate, undependable components, and operate in harsh and unpredictable environments. The cyber domain, interfaces, and the physical domain are tightly interwoven and networked (distributed) and hence cannot be designed and optimized individually. The goal of this project is to create a general CPS design-science that makes the design of every CPS simpler, faster, and more dependable, while at the same time reducing the cost and the required expertise level. This project gives rise to a unified theory that can allow for specification, modeling, design, optimization, and verification of CPSs on different levels of design abstraction and different steps of projection, even across boundaries between varied technologies. The project does bridge the gap between the continuous-time physical domain and the discrete timed cyber system. This project has a broad and profound impact in scientific, engineering, industrial, and academic communities. By enabling a fundamentally efficient design of CPSs, the most limiting bottleneck in design technology is eliminated, paving the way for many new applications and jobs with significant economic and social impact. This project contributes to the on-line educational endeavors currently underway, allowing cross education in different disciplines of complex CPS and speeding up development of new CPS programs in engineering and computer science.

This project addresses the impact of the integration of renewable intermittent generation in a power grid. This includes the consideration of sophisticated sensing, communication, and actuation capabilities on the system's reliability, price volatility, and economic and environmental efficiency. Without careful crafting of its architecture, the future smart grid may suffer from a decrease in reliability. Volatility of prices may increase, and the source of high prices may be more difficult to identify because of undetectable strategic policies. This project addresses these challenges by relying on the following components: (a) the development of tractable cross-layer models; physical, cyber, and economic, that capture the fundamental tradeoffs between reliability, price volatility, and economic and environmental efficiency, (b) the development of computational tools for quantifying the value of information on decision making at various levels, (c) the development of tools for performing distributed robust control design at the distribution level in the presence of information constraints, (d) the development of dynamic economic models that can address the real-time impact of consumer's feedback on future electricity markets, and finally (e) the development of cross-layer design principles and metrics that address critical architectural issues of the future grid. This project promotes modernization of the grid by reducing the system-level barriers for integration of new technologies, including the integration of new renewable energy resources. Understanding fundamental limits of performance is indispensable to policymakers that are currently engaged in revamping the infrastructure of our energy system. It is critical that we ensure that the transition to a smarter electricity infrastructure does not jeopardize the reliability of our electricity supply twenty years down the road. The educational efforts and outreach activities will provide multidisciplinary training for students in engineering, economics, and mathematics, and will raise awareness about the exciting research challenges required to create a sustainable energy future.

Robotic devices are excellent candidates for delivering repetitive and intensive practice that can restore functional use of the upper limbs, even years after a stroke. Rehabilitation of the wrist and hand in particular are critical for recovery of function, since hands are the primary interface with the world. However, robotic devices that focus on hand rehabilitation are limited due to excessive cost, complexity, or limited functionality. A design and control strategy for such devices that bridges this gap is critical. The goals of the research effort are to analyze the properties and role of passive dynamics, defined by joint stiffness and damping, in the human hand and wrist during grasping and manipulation, and then mimic such properties in a wrist-hand exoskeleton for stroke rehabilitation. The project will culminate with device testing in collaboration with rehabilitation clinicians. A significant problem in robotic rehabilitation is how to provide assisted movement to the multiple degrees of freedom of the hand in order to restore motor coordination and function, with a system that is practical for deployment in a clinical environment. Armed with a clearer understanding of the mechanisms underlying passive dynamics and control of systems exhibiting such behavior, this project will inform the design of more effective wrist/hand rehabilitation devices that are feasible for clinical use. In addition, the proposed project will create a unique interdisciplinary environment enabling education, training, and co-advising of graduate students, undergraduate research, and significant and targeted outreach activities to underrepresented groups in science and engineering.

This project develops a framework for design automation of cyber-physical systems to augment human interaction with complex systems that integrate across computational and physical environments. As a design driver, the project develops a Body/Brain Computer Interface (BBCI) for the population of functionally locked-in individuals, who are unable to interact with the physical world through movement and speech. The BBCI will enable communication with other humans through expressive language generation and interaction with the environment through robotic manipulators. Utilizing advances in system-level design, this project develops a holistic framework for design and implementation of heterogeneous human-in-the-loop cyber-physical systems composed of physically distributed, networked components. It will advance BBCI technology by incorporating context aware inference and learning of task-specific human intent estimation in applications involving semi-autonomous robotic actuators and an efficient wireless communication framework. The results of this project are expected to significantly speed up the design of complex cyber-physical systems. By accelerating the path from idea to prototype, this work shortens the time frame of and cost of development for assistive technology to improve the quality-of-life for functionally locked-in individuals. This project establishes an open prototyping platform and a design framework for rapid exploration of other novel human-in-the-loop applications. The open platform will foster undergraduate involvement in cyber-physical systems research, building confidence and expertise. In addition, new activities at the Museum of Science in Boston will engage visitors to experiment with systematic design principles in context of a brain computer interface application, while offering learning opportunities about basic brain functions.

The CrAVES project seeks to lay down intellectual foundations for credible autocoding of embedded systems, by which graphical control system specifications that satisfy given open-loop and closed-loop properties are automatically transformed into source code guaranteed to satisfy the same properties. The goal is that the correctness of these codes can be easily and independently verified by dedicated proof checking systems. During the autocoding process, the properties of control system specifications are transformed into proven assertions explicitly written in the resulting source code. Thus CrAVES aims at transforming the extensive safety and reliability analyses conducted by control system engineers, such as those based on Lyapunov theory, into rigorous, embedded analyses of the corresponding software implementations. CrAVES comes as a useful complement to current static software analysis methods, which it leverages to develop independent verification systems. Computers and computer programs used to manage documents and spreadsheets. They now also interact with physical artifacts (airplanes, power plants, automobile brakes and robotic surgeons), to create Cyber-Physical Systems. Software means complexity and bugs - bugs which can cause real tragedy, far beyond the frozen screens we associate with system crashes on our current PCs. Software autocoding is becoming the de facto recommended practice for many safety-critical applications. CrAVES aims to evolve this towards higher standards of quality and reduced design times and costs. Rigorous, mathematical arguments supporting safety-critical functionalities are the cornerstone of CrAVES. Collaborative programs involving high-school teachers will encourage the transmission of this message to STEM education in high-schools through university programs designed for that purpose.

Holonic Multi-Agent Control of Intelligent Power Distribution Systems This project will demonstrate a Holonic Multiagent System Architecture capable of adaptively controlling future electrical power distribution systems (PDS), 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 multiagent principles to support adaptive PDS. It will produce new analytical insights to quantify the impact of information delay, quality and flow on the design and analysis of the PDS architecture. Finally, it will develop a novel approach to automating PDS with high penetration of distributed renewable resources for higher efficiency, reliability, security, and resiliency. The complex nature of future PDS will require them to adapt reactively and proactively to normal and anomalous modes of operation. The architecture produced by this project will be capable of optimizing performance and maintaining the system within operating limits during normal and minor events, such as cloud cover that reduces solar panels output. The architecture will also allow the operation of a distribution system as an island in emergencies, such as hurricanes/earthquakes, grid failures, or terrorist acts. The project will inspire future engineers via a simulation that will allow students to inject faults, failures, and weather events to see how an intelligent PDS will respond. These activities will combine cyber- and physical expertise, thus creating a workforce prepared for tomorrow?s cyber-physical system challenges. Existing university programs will be used to involve under-represented minorities and U.S. veterans in the project.

The national transmission networks that deliver high voltage electric power underpin our society and are central to the ongoing transformation of the American energy infrastructure. Transmission networks are very large and complicated engineering systems, and "keeping the lights on" as the transformation of the American energy infrastructure proceeds is a fundamental engineering challenge involving both the physical aspects of the equipment and the cyber aspects of the controls, communications, and computers that run the system. The project develops new principles of cyber-physical engineering by focusing on instabilities of electric power networks that can cause blackouts. It proposes novel approaches to analyze these instabilities and to design cyber-physical control methods to monitor, detect, and mitigate them. The controls must perform robustly in the presence of variability and uncertainty in electric generation, loads, communications, and equipment status, and during abnormal states caused by natural faults or malicious attacks. The research produces cyber-physical engineering methodologies that specifically help to mitigate power system blackouts and more generally show the way forward in designing robust cyber-physical systems in environments characterized by rich dynamics and uncertainty. Education and outreach efforts involve students at high school, undergraduate, and graduate levels, as well as dissemination of results to the public and the engineering and applied science communities in industry, government and universities.

Cyber-physical systems regulating critical infrastructures, such as electrical grids and water networks, are increasingly geographically distributed, necessitating communication between remote sensors, actuators and controllers. The combination of networked computational and physical subsystems leads to new security vulnerabilities that adversaries can exploit with devastating consequences. A synchronized attack on the interdependent network components and physical plants can create complex and new security vulnerabilities that cannot be addressed by securing the constituent systems individually. This project takes a holistic view by utilizing the properties of physical systems to design new secure protocols and architectures for cyber-physical systems (CPS) through a unified conceptual framework, which uses models for the physical system and the communication/computation network to define precise attack models and vulnerabilities. These mathematical models are used to design algorithms and protocols with provable operational security guarantees, thus enabling the design of more trustworthy architectures and components. The algorithms, protocols, and architectures are validated on CPS testbeds targeting building, automobile, and smart-grid applications. Additionally, the research is being integrated into the curriculum via the creation of novel coursework combining the underlying control, information theory, cryptography, and embedded system concepts. By improving the protection of critical cyber-physical infrastructure against emerging threats, this research is expected to provide direct socio-economic benefits, ranging from individual organizations to a national scale. The inter-disciplinary team of this project will integrate teaching and curriculum development with the research, contributing to the training of a new generation of engineers well versed in the design of trustworthy cyber-physical systems.

Robotic devices are excellent candidates for delivering repetitive and intensive practice that can restore functional use of the upper limbs, even years after a stroke. Rehabilitation of the wrist and hand in particular are critical for recovery of function, since hands are the primary interface with the world. However, robotic devices that focus on hand rehabilitation are limited due to excessive cost, complexity, or limited functionality. A design and control strategy for such devices that bridges this gap is critical. The goals of the research effort are to analyze the properties and role of passive dynamics, defined by joint stiffness and damping, in the human hand and wrist during grasping and manipulation, and then mimic such properties in a wrist-hand exoskeleton for stroke rehabilitation. The project will culminate with device testing in collaboration with rehabilitation clinicians. A significant problem in robotic rehabilitation is how to provide assisted movement to the multiple degrees of freedom of the hand in order to restore motor coordination and function, with a system that is practical for deployment in a clinical environment. Armed with a clearer understanding of the mechanisms underlying passive dynamics and control of systems exhibiting such behavior, this project will inform the design of more effective wrist/hand rehabilitation devices that are feasible for clinical use. In addition, the proposed project will create a unique interdisciplinary environment enabling education, training, and co-advising of graduate students, undergraduate research, and significant and targeted outreach activities to underrepresented groups in science and engineering.