663 search results - page 53 / 133 » Synthesis of Self-Testable Controllers |
109
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract— Commonly, controllers for Linear ParameterVarying (LPV) systems are designed in continuous-time using a Linear Fractional Representation (LFR) of the plant. However, th...
112
Voted
NIME
2005
Springer
15 years 8 months ago
2005
Springer
In the Expression Synthesis Project (ESP), we propose a driving interface for expression synthesis. ESP aims to provide a compelling metaphor for expressive performance so as to m...
138
click to vote
EDCC
2010
Springer
15 years 7 months ago
2010
Springer
—Assurance Based Development (ABD) is a novel approach to the synergistic construction of critical software systems and their assurance arguments. In ABD, the need for assurance ...
120
click to vote
IJCSS
2007
15 years 2 months ago
2007
This paper presents a low power driven synthesis framework for the unique class of nonregenerative Boolean Read-Once Functions (BROF). A two-pronged approach is adopted, where the...
115
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
— We consider the control of impulsive systems with jumps triggered by a renewal process, that is, the intervals between jumps are independent and identically distributed. The co...