Abstract: The objective of this research is an injection of new modeling techniques into the area of Cyber-Physical Systems (CPSs). The approach is to design new architectures for domain- specific modeling tools in order to permit feedback from analysis, validation, and verification engines to influence how CPSs are designed. This project outlines new research into the integration of existing, heterogeneous modeling languages in order to address problems in CPS design, rather than a single language used to design any CPS.

Abstract: With the increasing popularity of mobile computing, cyber physical systems are merging into major mobile systems of our society, such as public transportation, supply chain systems, and taxi networks. Researchers have accumulated abundant knowledge for designing cyber physical systems, such as military surveillance, infrastructure protection, scientific exploration, and smart environments, mostly in relatively stationary settings, i.e., where spatial diversity is limited.

Abstract: Body sensor networks (BSN) are emerging cyber-physical systems that promise to improve the quality of life through improved health, augmented sensing and actuation for the disabled, independent living for the elderly, and reduced healthcare costs. However, the physical nature of BSNs introduces several new challenges. The human body, especially in the context of medical conditions, is a highly dynamic and unpredictable physical environment that creates constantly changing demands on sensing, actuation, and quality of service (QoS).

Abstract: Medical devices are typically developed as stand-alone units. Current industrial Verification and Validation (V&V) tech- niques primarily target stand-alone systems. Moreover, the US Food and Drug Administration’s (FDA) regulatory clearance processes are designed to approve such devices that are integrated by a single manufacturer with complete control over all components.

Abstract: This grant provides funding for establishing the scientific foundations of a product innovation process that can engage a vastly larger pool of talent to generate new ideas and to create new cyber-physical products. The primary objective is to address fundamental issues pertaining to natural interfaces, behavioral modeling and secure knowledge sharing, with particular emphasis on their integration.

Abstract: Cyber Physical Systems (CPSs) integrate physical devices (e.g., sensors, cameras) with cyber components to form a situation-aware analytical system. The overall research objective of the project is to reveal cross-cutting fundamental scientific and engineering principles that underpin the integration of cyber and physical elements across all application sectors. Here we provide an overview of our recent research achievements:

Abstract: Despite their importance within the energy sector, buildings have not kept pace with technological improvements and particularly  the evolution of intelligent features. A primary obstacle  in enabling intelligent buildings is their highly distributed and diverse nature.

Abstract: A hybrid system is a dynamical model that describes the coupled evolution of both continuous‐ valued variables and discrete patterns. A prime example of such a system is a power electronic circuit, where the semiconductor transistors behave as ideal switches whose switching actions effectively change the circuit topology (i.e., the discrete pattern) that in turn defines the dynamics of currents and voltages (i.e., the continuous variables) and hence the switching actions.