Abstract: The aims of this project are to contribute the fundamental physical and algorithmic building blocks of a novel cyber-­‐physical two-­‐way communication platform designed to enable accurate training and monitoring of canines. The project efforts lie at the intersection of computer science, electrical engineering, and veterinary behavior.

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: The goals of this project include the development of real-time control for human-machine co-control of highly dynamic and potentially dangerous systems. The work focuses on formalizing the automated assessment of trust, primarily focusing on the degree to which a computer should trust a human operator. We are focusing on two experimental tasks: a) a crane operation task, where control in automation settings requires a highly skilled operator, and b) rehabilitation and training tasks.

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.

Abstract: The project will demonstrate a Holonic Multi-agent 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 multi-agent principles to support adaptive PDS.

Abstract: This project focuses on the formal design of semi-autonomous automotive Cyber Physical Systems (CPS). Rather than disconnecting the driver from the vehicle, the goal is to obtain a vehicle where the degree of autonomy is continuously changed in real-time as a function of certified uncertainty ranges in driver behavior and environment reconstruction.

Abstract: We propose a dual expert algorithm (DEA) to assist a mobile robot in learning a person’s preference of moving direction when the human encounters the robot in a typical hallway. When in use in hospital and office environments, a mobile robot will routinely encounter people who are not its primary user. These people need to feel comfortable around the robot for its implementation to be a success.

Abstract: Wireless sensor-actuator networks (WSAN) are systems consisting of numerous sensing and actuation devices that interact with the environment and coordinate their activities over a wireless communication network. WSANs represent an important class of cyber-physical system (CPS) found in our national civil infrastructure. This project addresses the issue of resilience in WSANs.

Abstract: The aim of this project is to lay down the foundations of a novel approach to real-time control of networked cyber-physical systems (CPS) that leverages their cooperative  nature. Most networked controllers  are not implementable over embedded digital computer systems because they rely on continuous time or synchronous executions that are costly to enforce.