Recent developments in the area of smart structures indicate that variable geometry / stiffness truss network is of fundamental importance in designing smart transformable structures and systems for space applications. This paper presents the conceptual design and dynamic modeling of a cooperative re-configurabel dual-arm robotic structure called Dual-Arm Cam-Lock Manipulator. The Manipulator i...

Recent developments in the area of smart structures indicate that variable geometry / stiffness truss network is of fundamental importance in designing smart transformable structures and systems for space applications. This paper presents the conceptual design and dynamic modeling of a cooperative re-configurabel dual-arm robotic structure called Dual-Arm Cam-Lock Manipulator. The Manipulator i...

We sketch the principles of a type system for an object-oriented language such as Java which allows to statically ensure that an object structure is not modified by a method call, if the primary reference of that object structure is stored in a local variable of the method and this variable does not syntactically occur in the call. The object structure thus behaves like a “plain value”, say a m...

Computer based systems (CBS) are often expected to be able to handle a complex system environment. In addition, the CBS itself generally exhibits an inherent complexity. This induces the necessity to search for adequate systems design and development processes which allow to deal with both sources of complexity. The thesis discussed in this paper suggests that the systems to develop, as well as...