The paper presents a description of the dynamics two mobile robots cooperating in transport bulky load form beam. purpose modeling such system was to obtain mathematical model an appropriate form. Lagrange equations second type were used describe dynamics, followed by projection method, which allowed for elimination multipliers. Thanks this approach, unknown dry friction forces at contact point...

Many organizations are working to deploy cooperative information systems (CIS). Typically a single entity controls all of the cooperating systems. Recently, however, more attention has been focused on systems that require a new level of coordination and cooperation — systems which are not wholly controlled by any single entity. We describe one particular case — an information marketplace. consi...

Automated reasoning systems such as theorem provers often employ interaction or cooperation with further reasoning software. Whereas in most cases the concrete choice of cooperating software is, to some extent, irrelevant, these systems are nevertheless often rigid in practice due to compatibility issues. In order to support more flexible cooperation schemes, a machine-readable description form...

In this paper, precedence constraint combination formalisms defined in the software domain are used to define the behavior of hardware systems. Specifically, AND-join and various types of OR-join semantics are used to describe hardware systems composed of concurrent, cooperating hardware components. It is shown that synthesizable VHDL specifications can be created that model the semantics of th...

There is a proliferation of “smart” devices for industrial and commercial systems employing embedded processor, sensors, logic, and communications. Along with benefits provided such as enhanced control and diagnostics, there is a commensurate increase in system complexity and the need to effectively manage real time dynamic system components. A framework for managing complex, dynamic, coupled e...

Autonomous cooperating logistics processes are characterized by the ability of intelligent logistics objects to process information, and to render and to execute decisions on their own. In order to do so, these objects need to be able to access data relevant to the decisions to be made. Due to the highly dynamic and heterogeneous nature of the relevant data sources in systems supporting autonom...

Billions of devices are expected to be online by 2020. These will not only provide information by monitoring the real-world, but create complex collaborations in order to provide sophisticated value-added services. Slowly, we are witnessing the emergence of Cooperating Objects in the Internet of Things, which will rapidly change the way we design, develop and realize cyber-physical dependent ap...

Stochastic Process Algebras have been introduced to enable compositional performance analysis of parallel and distributed systems. As with other high level modelling formalisms, state space explosion is a frequently observed problem, especially if the system consists of many cooperating components. However, if the components are identical replicas of each others, the state space can be reduced ...

0