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.

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.

Abstract: Telerobotic systems, such as those used in rescue operations, remotely-operated vehicles or the next-generation robotic surgery, human operators interact with robots through a communi- cation network.

Abstract: Transforming the traditional, single-vehicle-based safety and efficiency control, next-generation vehicles are expected to form platoons for optimizing roadway usage and fuel efficiency while ensuring transportation safety. Two basic enablers of vehicle platooning are vehicular wireless networking and platoon control.

Abstract: Scientific challenges: How can multiple cooperative cyber-physical systems communicate and coor- dinate to accomplish complex high-level tasks within unknown, dynamic and adversarial environments?

Abstract: The objective of this study is to develop a high-performance and robust neural-machine interface (NMI) for artificial legs, which can accurately and reliably identify user intent in real-time.

Abstract: Motivation: Energy infrastructure is a critical underpinning of modern society. To ensure its reliable operation, a nation-­‐wide or continent-­‐wide situational awareness system is essential to provide high-­‐resolution understanding of the system dynamics such that proper actions can be taken in real-­‐time in response to power system disturbances and to avoid cascading blackouts. The power grid represents a typical highly dynamic cyber-­‐physical system (CPS).

Abstract: Our overarching goal is to develop a framework for design automation of cyber‐physical systems that augment human‐in‐the‐loop inference and interaction by complex systems operating at the interface of computation and physical environment.

Abstract: Control networks are wireless substrates for industrial automation control, such as the WirelessHART and ISA100.11.a, and have fundamental differences over their sensor network counterparts as they also include actuation and the physical dynamics. Consequently, these system are fundamentally constrained by the tight coupling, and closed-loop control and actuation of physical processes.

Abstract: Multicore platforms have the potential of revolutionizing the capabilities of embedded cyber-physical systems but lack predictability in execution time due to shared resources. Safety-critical systems require such predictability for certification. This research aims at resolving this multicore "predictability problem.'' It will develop methods that enable to share hardware resources to be allocated and provide predictability, including support for real-time operating systems, middleware, and associated analysis tools.