Designing and managing complex engineering projects over their life cycles.
file
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.
file
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.
file
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).
file
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.
file
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.
file
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.
file
Abstract:
When mechanical linkages are replaced by electronic communication and control systems, certain undesirable phenomena can arise that may be difficult to anticipate. In simple cases the lack of dissipativity in the cyber link unmasks instabilities that were present but suppressed in the system with a mechanical (physical) link. In more complex cases, there may be no simple physical equivalent to the system containing the cyber link, and a damping coefficient or dissipative element may not be identifiable.
file
Abstract:
Current methods for design and verification of cyber-physical systems (CPS) lack a unifying framework due to the complexity and heterogeneity of the constituent elements and their interactions. Heterogeneous models describe different aspects of a CPS at varying levels of abstraction and using different formal languages. This prevents engineers from detecting inconsistencies among models and reasoning at the system level to verify specifications at design time.
