Testing

A technical operation or procedure that consists of determination of one or more characteristics of a given product, process or service according to a specified procedure.
file

Visible to the public A CPS Approach to Robot Design

Abstract:

Analytically predicting the behavior of physical systems is generally not possible. For example, the three dimensional nature of physical systems makes it provably impossible to express closed--form analytical solutions even simple systems. This limitation makes experimentation the primary modality for designing new cyber--physical systems.

file

Visible to the public Design & Development of a Cybernetic Rehabilitative Hand-Wrist Exoskeleton

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. However, robotic devices that focus on hand rehabilitation are limited due to excessive cost, complexity, or limited functionality.

file

Visible to the public Trustworthy Composition of Dynamic App-Centric Architectures for Medical Application Platforms

Abstract:

Medical devices are typically developed as stand-alone units. Current industrial Verification and Validation (V&V) tech- niques primarily target stand-alone systems. Moreover, the US Food and Drug Administration's (FDA) regulatory clearance processes are designed to approve such devices that are integrated by a single manufacturer with complete control over all components.

file

Visible to the public Methodologies for Engineering with Plug-and-Learn Components: Synthesis and Analysis Across Abstraction Layers

Abstract:

Effective engineering of complex devices often depends on the ability to encapsulate responsibility for tasks into modular components with specific responsibilities and clearly defined lines of communication. Under such conditions, one can determine what components or lines of communication are at fault for poor system performance because the system can be checked against modularized model specifications.

file

Visible to the public Digital Control of Hybrid Systems via Simulation and Bisimulation

Abstract:

A hybrid system is a dynamical model that describes the coupled evolution of both continuous- valued variables and discrete patterns. A prime example of such a system is a power electronic circuit, where the semiconductor transistors behave as ideal switches whose switching actions effectively change the circuit topology (i.e., the discrete pattern) that in turn defines the dynamics of currents and voltages (i.e., the continuous variables) and hence the switching actions.