850 search results - page 2 / 170 » Modeling synchronous systems in BIP |
SSS
2010
Springer
13 years 3 months ago
2010
Springer
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
TC
2008
13 years 5 months ago
2008
We provide an algebraic formalization of connectors in the BIP component framework. A connector relates a set of typed ports. Types are used to describe different modes of synchron...
FORTE
2008
13 years 6 months ago
2008
The paper studies a distributed implementation method for the BIP (Behavior, Interaction, Priority) component framework for modeling heterogeneous systems. BIP offers two powerful ...
ECAI
2008
Springer
13 years 7 months ago
2008
Springer
Abstract-- Autonomous robots are complex systems that require the interaction/cooperation of numerous heterogeneous software components. Nowadays, robots are critical systems and m...
ICRA
2007
IEEE
13 years 11 months ago
2007
IEEE
— Legged robots are by nature strongly non-linear, high-dimensional systems whose full complexity permits neither tractable mathematical analysis nor comprehensive numerical stud...