Sciweavers

1578 search results - page 37 / 316
» Self-healing systems - survey and synthesis
Sort
View
HYBRID
2001
Springer
14 years 15 days ago
Robust Controller Synthesis for Hybrid Systems Using Modal Logic
Abstract. In this paper, we formulate and robustly solve a quite general class of hybrid controller synthesis problems. The type of controller we investigate is the switching contr...
Thomas Moor, Jennifer M. Davoren
ICCAD
1997
IEEE
162views Hardware» more  ICCAD 1997»
14 years 6 days ago
Application-driven synthesis of core-based systems
We developed a new hierarchical modular approach for synthesis of area-minimal core-based data-intensive systems. The optimization approach employs a novel global least-constraini...
Darko Kirovski, Chunho Lee, Miodrag Potkonjak, Wil...
ICASSP
2010
IEEE
13 years 6 months ago
A HMM-based speech synthesis system using a new glottal source and vocal-tract separation method
This paper introduces a HMM-based speech synthesis system which uses a new method for the Separation of Vocal-tract and LiljencrantsFant model plus Noise (SVLN). The glottal sourc...
Pierre Lanchantin, Gilles Degottex, Xavier Rodet
IPPS
2002
IEEE
14 years 28 days ago
A Performance Optimization Framework for Compilation of Tensor Contraction Expressions into Parallel Programs
This paper discusses a program synthesis system to facilitate the generation of high-performance parallel programs for a class of computations encountered in quantum chemistry and...
Gerald Baumgartner, David E. Bernholdt, Daniel Coc...
AUTOMATICA
2004
147views more  AUTOMATICA 2004»
13 years 7 months ago
Interval analysis and dioid: application to robust controller design for timed event graphs
This paper deals with feedback controller synthesis for timed event graphs in dioids, where the number of initial tokens and time delays are only known to belong to intervals. We ...
Mehdi Lhommeau, Laurent Hardouin, Bertrand Cottenc...