Harvard University

file

Visible to the public CPS: TTP Option: Synergy: Human-Machine Interaction with Mobility Enhancing Soft Exosuits

Stroke is a leading cause of long-term disability, with 80% of survivors having locomotor impairments. Individuals after stroke typically present with hemiparetic gait, characterized as slow, asymmetric, and inefficient. Our lab has been developing soft wearable cyber-physical sytems, called soft exosuits, that interface with paretic limb after stroke through soft and conformal textile-based structures to assist hemiparetic walking. Soft exosuits transmit mechanical power to human body joints via interaction between functional textiles worn on the body and Bowden cable retraction.

file

Visible to the public Human-Machine Interaction with Mobility Enhancing Soft Exosuits

Abstract:

Stroke is the major cause of disability in adults in the western world, often resulting in hemiparesis and severe mobility impairments. Recently, rigid exoskeletons have been introduced for clinic-based gait rehabilitation: these systems can apply high levels of assistance, but also introduce kinematic restrictions and significant additional mass to the patient. As such, these devices are well suited to patients with little to no residual mobility (e.g.

file

Visible to the public Human-Machine Interaction with Mobility Enhancing Soft Exosuits

Abstract:

Stroke is the leading cause of long-term disability in the US with approximately 7 million stroke survivors living in the US today and for patients with neurological disorders, it has been shown that limited gait velocity commonly results in walking that is predominantly restricted to the household. Unlike traditional exoskeletons, which contain rigid linkage elements, the vision for this work is for exosuits that use soft materials such as textiles to provide a more conformal, unobtrusive and compliant means to interface to the human body.

file

Visible to the public The Cyber-Physical Limits of Control

Abstract

As the speed of computer systems and their integration with the physical world have grown, the physical limits of control have become increasingly relevant for ensuring high confidence in software systems. In this talk, I will present exciting recent results on the physical limits in space and time for realizing optimal coordination and control in cyber-physical systems, and discuss their implications for the future of reasoning about control.

Speaker Bio

file

Visible to the public Verified Software-Based Fault Isolation

ABSTRACT

Native Client (NaCL) is a new service provided by Google's Chrome for directly executing native binary code in the context of the browser. The security of NaCL depends upon a binary checker that is meant to enforce a basic sandbox policy known as software-based fault isolation. Recently, we built a new binary checker for NaCL and verified its correctness using the Coq proof assistant: If the checker says "yes" on a binary, and the binary is loaded into a suitable context, then the binary is guaranteed to respect the sandbox.

file

Visible to the public Augustinian and Manichaean Science

Peter Louis Galison is the Pellegrino University Professor in History of Science and of Physics at

page

Visible to the public Integrating Programming Language and Operating System Information Security Mechanisms

The interaction between language-based security mechanisms and operating system security mechanisms has remained largely unexamined, and unexploited. Language-based information security uses programming language abstractions and techniques to reason about and enforce information security, and can provide strong fine-grained application-specific information security guarantees.