Abstract: The primary objective in this project is to lay the foundations of a cyber-physical infrastructure for creative design and making of realizable products by addressing fundamental barriers to participation, model- based engineering, and information sharing. The focus is on the following three aims:

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.

March 13-14, 2014 | NIST Campus | Gaithersburg, Maryland Dedicated Smart Grid Testbeds (SG TBs) are being developed by industry, academia, and government laboratories to characterize smart grid equipment and systems and validate smart grid performance and standards. At this nascent stage, much needs to be done to develop shared understanding of needs, opportunities, and approaches for integrating testbed design and operation to achieve the full potential of the evolving smart gird.

34th IEEE Real-Time Systems Symposium (RTSS) 2013 ABOUT IEEE Real-Time Systems Symposium (RTSS) is the premier conference in the area of real-time systems, presenting innovations in the field with respect to theory and practice. RTSS provides a forum for the presentation of high-quality, original research covering all aspects of real-time systems design, analysis, implementation, evaluation, and experiences. RTSS 2013 continues the trend of making RTSS an expansive and inclusive symposium, looking to embrace new and emerging areas of real-time systems research.

RTSS is the premier conference in the area of real-time comuting, presenting innovations in the field with respect to theory and practice.

This presentation conceptualizes Model-Based Design of a cyber-physical system. Three stages of a system under design at various levels of detail are depicted. The designs are captured by models that have computational semantics based on the execution engine on a host platform. The implementation as generated code executes on a target platform. Because executable, the design can be explored, tested, and verified while at various levels of detail. This enables separation of concerns and so allows raising the level of abstraction in design.