Sciweavers

5600 search results - page 36 / 1120
» Synthesizing robust systems
Sort
View
SERA
2007
Springer
14 years 1 months ago
A Formal Approach to Test the Robustness of Embedded Systems using Behaviour Analysis
Robustness is an important feature required for embedded systems. This paper presents a methodology to test robustness of such systems. We investigate system behaviour aspects. We...
Antoine Rollet, Fares Saad-Khorchef
ICMCS
2005
IEEE
162views Multimedia» more  ICMCS 2005»
14 years 1 months ago
Free viewpoint video synthesis and presentation from multiple sporting videos
This paper introduces two kinds of free viewpoint observation systems for sporting events captured with uncalibrated multiple cameras in a stadium. In the first system (Viewpoint...
Naho Inamoto, Hideo Saito
CDC
2010
IEEE
126views Control Systems» more  CDC 2010»
13 years 2 months ago
Distance measures for linear systems with multiplicative and inverse multiplicative uncertainty characterisation
Abstract--Input multiplicative and output inverse multiplicative uncertainty characterisations are common in the robust control literature. We present specialised distance measures...
Sönke Engelken, Alexander Lanzon, Sourav Patr...
ICCV
2003
IEEE
14 years 9 months ago
Two-Frame Wide Baseline Matching
This paper describes a novel approach to automatically recover corresponding feature points and epipolar geometry over two wide baseline frames. Our contributions consist of sever...
Jiangjian Xiao, Mubarak Shah
AUTOMATICA
2006
98views more  AUTOMATICA 2006»
13 years 7 months ago
Robust stabilization of nonlinear cascaded systems
This paper considers the problem of robust stabilization for an uncertain nonlinear system which is a cascaded interconnection of two subsystems. Both of the subsystems are allowe...
Weizhou Su, Minyue Fu