Sciweavers

6432 search results - page 416 / 1287
» Classic Mechanism Design
Sort
View
AUTOMATICA
2007
98views more  AUTOMATICA 2007»
15 years 7 months ago
LMI-based sensor fault diagnosis for nonlinear Lipschitz systems
The problem of sensor fault diagnosis in the class of nonlinear Lipschitz systems is considered. A dynamic observer structure is used with the objective to make the residual conve...
A. M. Pertew, H. J. Marquez, Q. Zhao
DCG
2007
71views more  DCG 2007»
15 years 6 months ago
Covering Spheres with Spheres
Given a sphere of any radius r in an n-dimensional Euclidean space, we study the coverings of this sphere with solid spheres of radius one. Our goal is to design a covering of the...
Ilya Dumer
PPDP
2010
Springer
15 years 5 months ago
HSS: a compiler for cascading style sheets
This article presents HSS1 , a compiler for CSS. It is first argued that generating CSS improves portability and maintainability of CSS files. This claim is supported by realist...
Manuel Serrano
SIAMAM
2010
84views more  SIAMAM 2010»
15 years 5 months ago
Multidisciplinary Free Material Optimization
We present a mathematical framework for the so-called multidisciplinary free material optimization (MDFMO) problems, a branch of structural optimization in which the full material ...
Jaroslav Haslinger, Michal Kocvara, Günter Le...
ICFEM
2009
Springer
15 years 4 months ago
A Compositional Approach on Modal Specifications for Timed Systems
Abstract. On the one hand, modal specifications are classic, convenient, and expressive mathematical objects to represent interfaces of component-based systems. On the other hand, ...
Nathalie Bertrand, Axel Legay, Sophie Pinchinat, J...