Sciweavers

4985 search results - page 70 / 997
» Observation of String-Rewriting Systems
Sort
View
MEMOCODE
2008
IEEE
14 years 4 months ago
From Data to Events: Checking Properties on the Control of a System
We present a component-based description language for heterogeneous systems composed of several data flow processing components and a unique eventbased controller. Descriptions a...
Christophe Jacquet, Frédéric Boulang...
RTCSA
2006
IEEE
14 years 4 months ago
Strengthening Property Preservation in Concurrent Real-Time Systems
To build a “correct” implementation from a model of a concurrent real-time system, it is important to understand the relation between the properties of the model and of its co...
Oana Florescu, Jinfeng Huang, Jeroen Voeten, Henk ...
ICNSC
2008
IEEE
14 years 4 months ago
Robust Variance Constrained Filter Design for Systems with Non-Gaussian Noises
In this paper, a variance constrained filtering problem is considered for systems with both non-Gaussian noises and polytopic uncertainty. A novel filter is developed to estimate t...
Fuwen Yang, Yongmin Li, Xiaohui Liu
AUTOMATICA
2007
98views more  AUTOMATICA 2007»
13 years 10 months ago
LMI-based sensor fault diagnosis for nonlinear Lipschitz systems
The problem of sensor fault diagnosis in the class of nonlinear Lipschitz systems is considered. A dynamic observer structure is used with the objective to make the residual conve...
A. M. Pertew, H. J. Marquez, Q. Zhao
ISER
2000
Springer
133views Robotics» more  ISER 2000»
14 years 1 months ago
Merging Gaussian Distributions for Object Localization in Multi-robot Systems
: We present a method for representing, communicating, and fusing distributed, noisy, and uncertain observations of an object by multiple robots. The approach relies on re-paramete...
Ashley W. Stroupe, Martin C. Martin, Tucker R. Bal...