2607 search results - page 45 / 522 » Complete Functional Synthesis |
147
Voted
EMSOFT
2011
Springer
14 years 2 months ago
2011
Springer
Given a multi-modal dynamical system, optimal switching logic synthesis involves generating conditions for switching between the system modes such that the resulting hybrid system...
163
Voted
CDC
2010
IEEE
14 years 9 months ago
2010
IEEE
This paper considers the synthesis of infinity norm Lyapunov functions for discrete-time linear systems. A proper conic partition of the state-space is employed to construct a fini...
112
click to vote
AAAI
1990
15 years 3 months ago
1990
We present a strategy for restricting the application of the inference rule paramodulation. The strategy applies to problems in first-order logic with equality and is designed to ...
107
Voted
CDES
2008
15 years 4 months ago
2008
In this paper an algorithm is proposed for the synthesis and exact minimization of ESCT (Exclusive or Sum of Complex Terms) expressions for Boolean functions of up to seven comple...
114
Voted
INTEGRATION
2008
15 years 2 months ago
2008
In this paper an efficient algorithm for the synthesis and exact minimization of ESCT(Exclusive or Sum of Complex Terms) expressions for Boolean functions of at most six variables...