5600 search results - page 100 / 1120 » Synthesizing robust systems |
SIGOPSE
2000
ACM
14 years 7 days ago
2000
ACM
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
RTSS
2009
IEEE
14 years 2 months ago
2009
IEEE
—This paper proposes a framework for determining the correctness and robustness of simulations of hybrid systems. The focus is on simulations generated from model-based design en...
ISCAS
2002
IEEE
14 years 24 days ago
2002
IEEE
This paper aims to design robust correlation-based watermarking methods for images. We rst present a model of watermark embedding and extracting processes and carry out their ana...
CDC
2009
IEEE
14 years 18 days ago
2009
IEEE
— This paper presents a sufficient condition that establishes closed loop stability for linear time invariant dynamical systems with transfer functions that are analytic in the ...