In this paper, the problem of determining if a population of mobile robots is able to travel from an initial con guration to a target con guration is addressed. This problem is related with the controllability of the automaton describing the system. To solve the problem, the concept of navigation automaton is introduced, allowing a simpli cation in the analysis of controllability. A set of illu...

Foundational work from logic and category theory is applied to the practical problem of constructing complex engineering systems from their component parts. System connguration involves keeping the history of system construction and is carried out by applying combinators to recursively deened system components. The results of connguration are represented precisely by constructing diagrams in a ...

Trajectory tracking and connguration stabilization for the VTOL aircraft (vertical take oo and landing) in the literature has been only considered for the case of slight or zero input coupling. In this paper, our main contribution is to address global connguration stabilization for the VTOL aircraft with a strong input coupling using a smooth static state feedback.

As reuse of software components becomes more commonplace, being able to understand, manipulate and reason about software system architectures acquires new importance. Although commercial software development environments have addressed many of the issues of con guration management, there is still a need for visual formalisms that can aid in representing and manipulating architectures of softwar...

In this paper, the problem of determining if a population of mobile robots is able to travel from an initial con guration to a target con guration is addressed. This problem is related with the controllability of the automaton describing the system. To solve the problem, the concept of navigation automaton is introduced, allowing a simpli cation in the analysis of controllability. A set of illu...

This paper introduces a new approach to the conceptual design of mechanical systems from qualitative speciications of behaviour. The power of the approach stems from the integration of techniques in qualitative physics and constraint programming. We illustrate the approach with an eeective kinematic synthesis method that reasons with qualitative representations of connguration spaces using cons...

Con gurations of vebranes, twobranes and fourbranes in type IIA string theory, which give (1+1) dimensional supersymmetric gauge theories in the low energy limit, are constructed. It is shown that these brane con gurations are equivalent to a certain class of matrix string theories. This opens up an avenue for the investigation of matrix string dynamics via the geometry of brane con gurations i...

Con guration and coordination are central issues in the design and implementation of middleware systems and are one of the reasons why building such systems is more di cult and complex than constructing stand alone sequential programs Through con guration the structure of the system is established which elements it contains where they are located and how they are interconnected Coordination is ...

The synthesis of dynamically recon gurable systems poses some new challenges for high-level synthesis tools. In this paper, we deal with the task of module allocation as this step has a direct in uence on the performance of the dynamically recon gurable design. We propose a con guration bundling driven module allocation technique that can be used for component clustering. The basic idea is to g...

As reuse of software components becomes more commonplace, being able to understand, manipulate and reason about software system architectures acquires new importance. Although commercial software development environments have addressed many of the issues of con guration management, there is still a need for visual formalisms that can aid in representing and manipulating architectures of softwar...