663 search results - page 10 / 133 » Synthesis of Self-Testable Controllers |
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
— In modern robust control, control synthesis may be cast as an interpolation problem where the interpolant relates to robustness and performance criteria. In particular, robustn...
CCE
2007
14 years 11 months ago
2007
In this paper, we analyze the dynamics of integrated process networks featuring large recycle streams and small purge streams. We consider a prototype network comprising of a reac...
107
click to vote
DAC
2011
ACM
13 years 11 months ago
2011
ACM
We present a high-level synthesis technique that takes as input two orthogonal descriptions: (a) a behavioral architectural contract between the implementation and the user, and (...
104
click to vote
CONCUR
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Control synthesis is slowly transcending its traditional application domain within engineering to find interesting and useful applications in computer science. Synthesis...
110
Voted
ICCAD
1994
IEEE
15 years 3 months ago
1994
IEEE
We examine the implications of a new hazard-free combinational logic synthesis method [8], which generates multiplexor trees from binary decision diagrams (BDDs) -- representation...