Sciweavers

1537 search results - page 219 / 308
» On sets not belonging to algebras
Sort
View
ENTCS
2007
108views more  ENTCS 2007»
13 years 9 months ago
Remarks on Testing Probabilistic Processes
We develop a general testing scenario for probabilistic processes, giving rise to two theories: probabilistic may testing and probabilistic must testing. These are applied to a si...
Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy,...
IMAMCI
2007
70views more  IMAMCI 2007»
13 years 9 months ago
On the geometry of stability regions of Smith predictors subject to delay uncertainty
In this paper, we present a geometric method for describing the effects of the delay induced uncertainty on the stability of a standard Smith Predictor control scheme. The method...
Constantin-Irinel Morarescu, Silviu-Iulian Nicules...
AR
2005
145views more  AR 2005»
13 years 9 months ago
Distinguishability and identifiability testing of contact state models
An important component of compliant motion control is the estimation of contact states during task execution. This paper addresses two fundamental questions that must be answered w...
Thomas Debus, Pierre E. Dupont, Robert D. Howe
AUTOMATICA
2005
121views more  AUTOMATICA 2005»
13 years 9 months ago
Robust state observer and control design using command-to-state mapping
In this paper, by introducing the concept of command-to-state/output mapping, it is shown that the state of an uncertain nonlinear system can robustly be estimated if command-to-s...
Zhihua Qu
TSP
2008
114views more  TSP 2008»
13 years 8 months ago
Zero-Forcing Precoding and Generalized Inverses
Abstract--We consider the problem of linear zero-forcing precoding design and discuss its relation to the theory of generalized inverses in linear algebra. Special attention is giv...
Ami Wiesel, Yonina C. Eldar, Shlomo Shamai