Sciweavers

3342 search results - page 184 / 669
» Symbolic Robustness Analysis
Sort
View
IVC
1998
90views more  IVC 1998»
15 years 6 months ago
Towards robust metric reconstruction via a dynamic uncalibrated stereo head
We consider the problem of metrically reconstructing a scene viewed by a moving stereo head. The head comprises two cameras with coplanar optical axes arranged on a lateral rig, e...
Michael J. Brooks, Lourdes de Agapito, D. Q. Huynh...
CDC
2010
IEEE
106views Control Systems» more  CDC 2010»
15 years 1 months ago
On the robustness of sampled-data systems to uncertainty in continuous-time delays
Abstract--In this note, we consider the robust stability of sampleddata systems with respect to continuous-time delay. We argue that many results in the literature implicitly assum...
Igal Alterman, Leonid Mirkin
INFOCOM
2011
IEEE
14 years 10 months ago
A robust optimization approach to backup network design with random failures
—This paper presents a scheme in which a dedicated backup network is designed to provide protection from random link failures. Upon a link failure in the primary network, traffi...
Matthew Johnston, Hyang-Won Lee, Eytan Modiano
ACSD
2008
IEEE
102views Hardware» more  ACSD 2008»
16 years 1 months ago
Performing causality analysis by bounded model checking
Synchronous systems can immediately react to the inputs of their environment which may lead to so-called causality cycles between actions and their trigger conditions. Systems wit...
Klaus Schneider, Jens Brandt
174
Voted
ISSAC
2007
Springer
146views Mathematics» more  ISSAC 2007»
16 years 1 months ago
Fast and exact geometric analysis of real algebraic plane curves
An algorithm is presented for the geometric analysis of an algebraic curve f(x, y) = 0 in the real affine plane. It computes a cylindrical algebraic decomposition (CAD) of the pla...
Arno Eigenwillig, Michael Kerber, Nicola Wolpert