Abstract: This project is concerned with ensuring operational safety of complex cyber-physical systems such as automobiles, aircraft, and medical devices. Modern development techniques for such systems rely on independent implementation of safety features in software and subsequent integration of these  features within system platform architectures. The current trend in developing these systems, driven by the need to reduce cost and energy consumption, is to share computational resources between  different features.

Abstract: The objective of this research is to develop the theory, hardware and computational infrastructure that will enable automatically transforming user-defined, high-level tasks into correct, low-level perception informed control and configurations for modular robots.

Abstract: This project is concerned with ensuring operational safety of complex cyber-physical systems such as automobiles, aircraft, and medical devices. Modern development techniques for such systems rely on independent implementation of safety features in software and subsequent integration of these  features within system platform architectures . The current trend in developing these systems, driven by the need to reduce cost and energy consumption, is to share computational resources between  different features .

Abstract: The main goal of this project is to design algorithms and architectures for large scale integration of electrical vehicles in power grids. In particular the following topics will be explored:

Abstract:  This research is focused on the co-design of platform and control of Cyber-Physical Systems (CPS). Limited and shared resources among several control and non-control applications in CPS introduce delays in transmitted messages, which in turn can degrade system performance or even cause instabilities. While a worst-case delay based design can accommodate such delays, they often are pessimistic and lead to an overdesign as worst case delays happen infrequently.

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: Formal design and analysis of embedded control software relies on mathematical models of dynamical systems, and such models can be hard to obtain. In this paper, we focus on automatic construction of piecewise affine models from input-output data.

Abstract: Modern cyber-physical applications appearing in, e.g., industrial and building automation, often utilize wireless communication to transfer information between sensors, controllers, and actuators. The wireless devices used to carry out the communication, however, are characterized by resource constraints, e.g., limited battery power resources for transmission. To achieve a desirable balance between control application performance and resource utilization, efficient resource management mechanisms are necessary.

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, health and wellness, and taxi networks. Mobile CPSs interact with phenomena of interest at different locations and environments, and where the context information (e.g., network availability and connectivity) about these physical locations might not be available.