5600 search results - page 100 / 1120 » Synthesizing robust systems |
SIGOPSE
2000
ACM
15 years 7 months ago
2000
ACM
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
131
Voted
RTSS
2009
IEEE
15 years 10 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...
117
click to vote
ISCAS
2002
IEEE
15 years 8 months 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...
120
click to vote
CDC
2009
IEEE
15 years 8 months 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 ...