Abstract Statically indeterminate symmetric (SIS) flexure structures are with “clamped-clamped” boundary conditions. The static indeterminacy and topological symmetry significantly attenuate the parasitic motions associated statically determinate structures. Hence, SIS feature decoupled linear angular motions, improved motion accuracy, high stiffness, stability. Although have been more frequent...

Abstract. This paper proposes a spring efficiency assessment of statically spring-balanced planar serial manipulator. The admissible configurations for the static balancing manipulators without auxiliary links have been determined in past. Gravity is balanced by configuration systematically; however, also contains counter-effects between springs. Conceptually, with fewer springs, there less bur...

It is well accepted that designing and analyzing concurrent software-components are tedious tasks. Assuring the quality of such software requires formal methods, which can statically detect deadlocks. This paper presents a symbolic data ow analysis framework for detecting deadlocks in Ada programs with tasks. The symbolic data ow framework is based on symbolic evaluation { an advanced technique...

Gregory C. Walsh and Hong Ye and Linda Bushnell1 Department of Mechanical Engineering University of Maryland at College Park, MD 20742 [email protected], [email protected] Abstract In this paper we introduce a novel control network protocol, Try-Once-Discard (TOD), for networked control systems (NCS), and provide, for the rst time, an analytic proof of global exponential stability for both th...

Gradual typing enables both static and dynamic typing in the same program and makes it convenient to migrate code regions between the two typing disciplines. One goal of gradual typing is to provide all the benefits of static typing, such as efficiency, in statically-typed regions. However, this goal is elusive: the standard approach to mutable references imposes run-time overhead in statically...

Session types have made much progress at permitting programs be statically verified concordant with a specified protocol. However, it is difficult to build abstractions of, or encapsulate Session types, thus limiting their flexibility. Global session types add further constraints to communication, by permitting the order of exchanges amongst many participants to be specified. The cost is that t...