University of Texas at Austin

file

Visible to the public Cyber Enabled Manufacturing Systems (CeMs) for Small Lot Manufacture

Abstract:

Selective laser sintering (SLS) is an additive manufacturing technique able to rapidly create parts directly from a CAD model using a laser to selectively fuse successive layers of powder. Defects can arise in SLS parts due to incomplete fusion of the powder layers or thermal stresses introduced by large temperature gradients during the part build.

file

Visible to the public Architectural and Algorithmic Solutions for Large Scale PEV Integration into Power Grids

Abstract:

This project designs algorithms for the integration of plug-in hybrid electric vehicles (PEVs) into the power grid. Specifically, the project will formulate and solve optimization problems critical to various entities in the PEV ecosystem -- PEV owners, commercial charging station owners, aggregators, and distribution companies -- at the distribution / retail level.

file

Visible to the public Design and development of a cybernetic exoskeleton for hand-wrist rehabilitation through integration of human passive properties

Abstract:

Robotic devices are excellent candidates for delivering repetitive and intensive practice that can restore functional use of the upper limbs, even years after a stroke. Rehabilitation of the wrist and hand in particular are critical for recovery of function, since hands are the primary interface with the world.

file

Visible to the public Verification of X86 Binary-Level Programs

ABSTRACT

Verification of binary programs is required to assure their correct execution. However, correctness verification of binary programs often involves significant user expertise and time-consuming manual effort. We present an approach for automatically verifying some x86 binary programs using symbolic execution on a formal model of the x86 instruction set architecture. Our approach can reduce the work involved in the proof development process by automating the verification of program fragments and sometimes even complete subroutines.