4516 search results - page 73 / 904 » Automated System Design for Availability |
CDC
2009
IEEE
15 years 2 months ago
2009
IEEE
— Output-based feedback control of LPV systems is an important problem, as in practice it is rarely the case that the full state variable is available for feedback. In this paper...
FMCO
2009
Springer
14 years 7 months ago
2009
Springer
Formal modelling is indispensable for engineering highly dependable systems. However, a wider acceptance of formal methods is hindered by their insufficient usability and scalabili...
CHI
2007
ACM
15 years 10 months ago
2007
ACM
Today many workers spend too much of their time translating their co-workers' requests into structures that information systems can understand. This paper presents the novel ...
105
click to vote
GECCO
2006
Springer
15 years 1 months ago
2006
Springer
An automated design synthesis system based on a multi-objective genetic algorithm (MOGA) has been developed for the optimization of surface-micromachined MEMS devices. A hierarchi...
116
click to vote
DATE
2007
IEEE
15 years 4 months ago
2007
IEEE
Solid frameworks and toolkits for design and analysis of embedded systems are of high importance, since they enable early reasoning about critical properties of a system. This pap...