Sciweavers

2171 search results - page 151 / 435
» Cooperative Validation in Distributed Control Systems Design
Sort
View
133
Voted
ISORC
2000
IEEE
15 years 6 months ago
Experimentation in CPU Control with Real-Time Java
This paper describes experiences in using an O.O. language (Java) in designing, prototyping and evaluating a CPU manager. QoS Animator facilitates the execution of object oriented...
Gerasimos Xydas, Jerome Tassel
ENTCS
2006
141views more  ENTCS 2006»
15 years 1 months ago
Verification of Distributed Hierarchical Components
Components allow to design applications in a modular way by enforcing a strong separation of concerns. In distributed systems this separation of concerns have to be composed with ...
Tomás Barros, Ludovic Henrio, Eric Madelain...
ICRA
2002
IEEE
115views Robotics» more  ICRA 2002»
15 years 6 months ago
Coordination of Multiple Mobile Robots in an Object Carrying Task using Implicit Communication
Abstract — This paper addresses the problem of coordinating multiple mobile robots in a tightly coupled task by means of implicit communication. This approach allows the developm...
Guilherme A. S. Pereira, Bruno S. Pimentel, Luiz C...
118
Voted
IEICET
2006
79views more  IEICET 2006»
15 years 1 months ago
Synthesis of Nonautonomous Systems with Specified Limit Cycles
Abstract--This paper deals with a synthesis of a nonautonomous system with a stable limit cycle. By extending Green's method, by which arbitrary periodic solutions can be desi...
Atsuko Ohno, Toshimitsu Ushio, Masakazu Adachi
CDC
2010
IEEE
130views Control Systems» more  CDC 2010»
14 years 8 months ago
Decomposability of global tasks for multi-agent systems
Abstract-- Multi-agent system is a rapidly developing research area with strong support from both civilian and military applications. One of the essential problems in multi-agent s...
Mohammad Karimadini, Hai Lin 0002