663 search results - page 47 / 133 » Synthesis of Self-Testable Controllers |
115
click to vote
LATIN
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We introduce distributed games over asynchronous transition systems to model a distributed controller synthesis problem. A game involves two teams and is not turn-based: ...
133
click to vote
ATVA
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Controlling concurrent systems to impose some global invariant is an undecidable problem. One can gain decidability at the expense of reducing concurrency. Even under thi...
107
click to vote
AUTOMATICA
2007
15 years 2 months ago
2007
We develop necessary and sufficient conditions for quadratic stabilizability of linear networked control systems by dynamic output feedback and communication protocols. These cond...
105
click to vote
IESS
2007
Springer
15 years 8 months ago
2007
Springer
: Much effort in RTL design has been devoted to developing “push-button” types of tools. However, given the highly complex nature, and lack of control on RTL design, push-butt...
121
click to vote
TVLSI
2008
15 years 1 months ago
2008
Much effort in register transfer level (RTL) design has been devoted to developing "push-button" types of tools. However, given the highly complex nature, and lack of con...