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 29 days 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
ISSAC
2007
Springer
146views Mathematics» more  ISSAC 2007»
16 years 19 days 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