Georgia Institute of Technology

file

Visible to the public Frontier: Correct-by-Design Control Software Synthesis for Highly Dynamic Systems

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.

file

Visible to the public A CPS Approach to Robot Design

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).

file

Visible to the public Credible Autocoding and Verification of Embedded Software (CrAVES)

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.

file

Visible to the public Secure, Open-Access Multi-Robot 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.

file

Visible to the public Learning to Walk - Optimal Gait Synthesis and Online Learning for Terrain-Aware Legged Locomotion

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.).

file

Visible to the public Programming and Execution Environment for Geo-Distributed Latency-Sensitive Applications

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.

file

Visible to the public Converting Multi-Axis Machine Tools into Subtractive 3D Printers by using Intelligent Discrete Geometry Data Structures

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.