2838 search results - page 6 / 568 » Verifying Controlled Components |
ICRA
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract—This paper presents a hierarchical control architecture that enables cooperative surveillance by a heterogeneous aerial robot network comprised of mothership unmanned ai...
ICRA
2006
IEEE
14 years 2 months ago
2006
IEEE
- This paper describes the development of an Adaptive Non-linear PI Torque Control for electro-rheological fluid (ERF) based variable resistance brakes that are used in compact and...
ICRA
2006
IEEE
14 years 2 months ago
2006
IEEE
— This paper proposes a motion duplication control scheme, which not only synchronizes motions between two distributed separate dynamic systems but also perfectly preserves presc...
IJCSA
2006
13 years 8 months ago
2006
This paper presents a formal approach based on Time Petri net (TPN) for the coherence control of SMIL documents. TPN model has been widely used to specify real time systems. The q...
APSEC
2005
IEEE
14 years 2 months ago
2005
IEEE
In most component models, a software component consists of a functional part and a controller part. The controller part may be extensible; however, existing component models provi...