4693 search results - page 582 / 939 » Verifying Hybrid Systems |
163
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract-- Formation control experiments are performed using two robots, each equipped with a camera. When both robots are fully informed of the reference velocity, a decentralized...
179
Voted
ENTCS
2010
15 years 7 months ago
2010
In component-based software engineering, reconfiguration describes structural changes to the architecture of a component system. For stateful components, not only structural but a...
151
click to vote
ENGL
2008
15 years 6 months ago
2008
The strength of Micro Systems Technology (MST) is the ability to fabricate a large number of small devices economically. However such devices tend to have errors caused by the vari...
177
click to vote
AMC
2006
15 years 6 months ago
2006
ct 9 A new discrete-velocity method for the numerical solution of large eddy simulation (LES) is presented based on relax10 ation type formulation. The discrete-velocity equations ...
163
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
A navigation functions' based methodology, established in our previous work for centralized multiple robot navigation, is extended to address the problem of decentralized nav...