104 search results - page 5 / 21 » Formal Design and Analysis of a Gear Controller |
RTSS
1999
IEEE
13 years 12 months ago
1999
IEEE
The e ective design of composite dependable and real-time protocols entails demonstrating their proof of correctness and, in practice, the e cient delivery of services. We focus o...
AAMAS
2007
Springer
13 years 7 months ago
2007
Springer
Abstract. Multiagent cooperative negotiation is a promising technique for modeling and controlling complex systems. Effective and flexible cooperative negotiations are especially...
DATE
2005
IEEE
14 years 1 months ago
2005
IEEE
Accurate timing analysis is key to efficient embedded system synthesis and integration. While industrial control software systems are developed using graphical models, such as Ma...
ISER
2004
Springer
14 years 29 days ago
2004
Springer
In this paper we present a macroscopic model for the analysis of homogeneous task-directed multi-robot systems (MRS). The model is used to compute the probability that a given MRS ...
IEEEICCI
2002
IEEE
14 years 16 days ago
2002
IEEE
There are already many projects focusing on Computer Aided Software Engineering (CASE) tools for object-oriented analysis and design. However, at this moment, there are certain li...