Sciweavers

6239 search results - page 911 / 1248
» From Zinc to Design Model
Sort
View
AUTOMATICA
2002
124views more  AUTOMATICA 2002»
15 years 6 months ago
Stabilizing underwater vehicle motion using internal rotors
As a case study of a particular control methodology and as a practical contribution in the area of underwater vehicle control, we consider the problem of stabilizing an underwater...
Craig A. Woolsey, Naomi Ehrich Leonard
CORR
2004
Springer
191views Education» more  CORR 2004»
15 years 6 months ago
Artificial Intelligence and Systems Theory: Applied to Cooperative Robots
- This paper describes an approach to the design of a population of cooperative robots based on concepts borrowed from Systems Theory and Artificial Intelligence The research has b...
Pedro U. Lima, Luís M. M. Custódio
ASE
1999
126views more  ASE 1999»
15 years 6 months ago
Behaviour Analysis of Distributed Systems Using the Tracta Approach
Behaviour analysis should form an integral part of the software development process. This is particularly important in the design of concurrent and distributed systems, where comp...
Dimitra Giannakopoulou, Jeff Kramer, Shing-Chi Che...
CAD
1999
Springer
15 years 6 months ago
Set-combinations of the mixed-dimension cellular objects of the Djinn API
This paper is concerned with the mathematics and formal specification of "set-like" operations for the mixed dimension cellular objects of the Djinn Application Programm...
Alan E. Middleditch, Chris Reade, Abel J. P. Gomes
JAL
2002
71views more  JAL 2002»
15 years 6 months ago
A primal-dual schema based approximation algorithm for the element connectivity problem
The element connectivity problem falls in the category of survivable network design problems { it is intermediate to the versions that ask for edge-disjoint and vertex-disjoint pa...
Kamal Jain, Ion I. Mandoiu, Vijay V. Vazirani, Dav...