Sciweavers

1578 search results - page 165 / 316
» Self-healing systems - survey and synthesis
Sort
View
PR
2007
96views more  PR 2007»
13 years 7 months ago
Style-preserving English handwriting synthesis
This paper presents a novel and effective approach to synthesize English handwriting in the user’s writing style. We select the most important features that depict the handwriti...
Zhouchen Lin, Liang Wan
ISCI
2010
128views more  ISCI 2010»
13 years 6 months ago
Robust static output feedback controller synthesis using Kharitonov's theorem and evolutionary algorithms
This paper presents a simple but effective tuning strategy for robust static output feedback (SOF) controllers with minimal quadratic cost in the context of multiple parametric un...
Rosario Toscano, Patrick Lyonnet
SCS
2004
13 years 9 months ago
A Method and Tool Support for Model-based Semi-automated Failure Modes and Effects Analysis of Engineering Designs
Limitations in scope but also difficulties with the efficiency and scalability of present algorithms seem to have so far limited the industrial uptake of existing automated FMEA t...
Yiannis Papadopoulos, David Parker 0002, Christian...
DAC
2010
ACM
13 years 7 months ago
SCEMIT: a systemc error and mutation injection tool
As high-level models in C and SystemC are increasingly used for verification and even design (through high-level synthesis) of electronic systems, there is a growing need for com...
Peter Lisherness, Kwang-Ting (Tim) Cheng
HYBRID
2000
Springer
13 years 12 months ago
Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems
In this paper we describe an experimental system called d=dt for approximating reachable states for hybrid systems whose continuous dynamics is de ned by linear di erential equatio...
Eugene Asarin, Thao Dang, Oded Maler, Olivier Bour...