Abstract: This project addresses highly dynamic Cyber-Physical Systems (CPSs) understood as systems where a computing delay of a few milliseconds or an incorrectly computed response to a disturbance can lead to catastrophic consequences. Such is the case of advanced safety systems on passenger cars, unmanned air vehicles performing critical maneuvers such as landing, or disaster and rescue response bipedal robots rushing through the rubble to collect information or save human lives.

Abstract: In many important situations, analytically predicting the behavior of physical systems is not possible. For example, the three dimensional nature of physical systems makes it provably impossible to express closed-form analytical solutions for even the simplest systems. This has made experimentation the primary modality for designing new cyber-physical systems (CPS).

Abstract: The CrAVES project seeks to lay down intellectual foundations for credible autocoding of embedded systems, by which model-level control system specifications that satisfy given open-loop and closed-loop properties are automatically transformed into source code guaranteed to satisfy the same properties. The goal is that the correctness of these codes can be easily and independently verified by dedicated proof checking systems.

Abstract: This project addresses the safety and security issues that arise when giving users remote-access to a multi-robot research test-bed, where mobile robots can coordinate their behaviors in a collaborative manner. Through a public interface, users are able to schedule, and subsequently upload, their own code and run their experiments, while being provided with the scientific data produced through the experiment.

Abstract:  The goal of the proposed research is to advance the science of cyber-physical systems by more explicitly tying sensing, perception, and computing to the optimization and control of physical systems whose properties are variable and uncertain. The CPS platform to be studied is that of a bipedal robot locomoting over granular ground material with uncertain physical properties (sand, gravel, dirt, etc.).

Abstract: Optimization algorithms used in a real-time and safety-critical context offer the potential for considerably advancing robotic and autonomous systems by improving their ability to execute complex missions.

Abstract: The ubiquitous deployment of mobile and sensor devices is creating a new environment, namely, the Internet of Things (IoT), enabling a wide range of future Situation Awareness applications. Situation awareness is both a property and an application class of cyber-physical systems, which deals with recognizing when sensed data could lead to actionable knowledge.  There are still many missing components that are required to have a rich and fully functional deployment of sensors with a continuous stream of actionable data.

Abstract: The overarching goal of this project is to develop a novel cyberphysical platform for fast and efficient, fully digital, 3-dimensional, 5-axis machining. Proposed methodology is inspired by 3D printing, which is easy to program but limited in terms of the materials that can be used, the finishing quality that can be achieved, and relatively slow printing speeds. By contrast, CNC milling can address these limitations.