Sciweavers

13140 search results - page 324 / 2628
» Coupling Component Systems towards Systems of Systems
Sort
View
ICRA
2008
IEEE
129views Robotics» more  ICRA 2008»
16 years 1 months ago
Modeling of a closed loop cable-conduit transmission system
— Many surgical robots use cable-conduit pairs in a pull-pull configuration to actuate the instruments and transmit power into the patient’s body. Friction between the cable an...
Varun Agrawal, William J. Peine, Bin Yao
ETFA
2006
IEEE
16 years 24 days ago
Robust Fault Isolation Filter Design for Networked Control Systems
In this paper, the effect of network-induced delay introduced into the control loop is modelled as time-varying disturbance. Based on this model, a fault isolation filter (FIF) f...
Shanbin Li, Dominique Sauter, Christophe Aubrun
VTC
2006
IEEE
124views Communications» more  VTC 2006»
16 years 23 days ago
Iterative Partial-Cancelling MMSE Algorithms for W-CDMA MIMO-BLAST Systems
—This paper focuses on the usage of an enhanced equalization-based receiver for WCDMA (Wideband CodeDivision Multiple Access) MIMO (Multiple Input, Multiple Output) BLAST (Bell L...
João Carlos Silva, Rui Dinis, Nuno Souto, F...
ICCS
2004
Springer
16 years 4 days ago
DisCAS: A Distributed-Parallel Computer Algebra System
The DisCAS system employs and interacts with multiple ELIMINOs distributed over the Internet to achieve a distributed-parallel computing environment. ELIMINO is a computer algebra ...
Yongwei Wu, Guangwen Yang, Weimin Zheng, Dongdai L...
FM
2003
Springer
107views Formal Methods» more  FM 2003»
15 years 12 months ago
A Formal Framework for Modular Synchronous System Design
We present the formal framework for a novel approach for specifying and automatically implementing systems such as digital circuits and network protocols. The goal is to reduce the...
Maria-Cristina V. Marinescu, Martin C. Rinard