2940 search results - page 12 / 588 » Relational Parametricity and Control |
JOTA
2010
14 years 4 months ago
2010
We consider multi-objective convex optimal control problems. First we state a relationship between the (weakly or properly) efficient set of the multi-objective problem and the sol...
JVCA
2000
14 years 9 months ago
2000
This paper presents a virtual sculpting method for interactive 3D object deformation. The method is based on the use of an electronic glove. A parametric control hand surface defi...
JDCTA
2008
14 years 9 months ago
2008
Urbanization and industrialization with minimal focus on environmental pollution has resulted in rapid degradation of natural environment. A fresh look at the pollution control st...
AUTOMATICA
2000
14 years 9 months ago
2000
This paper is concerned with the characterization of all nonlinear stabilizing controllers. Observer based kernel representations are introduced to avoid the difficulty which occu...
CAV
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. Happen-before causal partial orders have been widely used in concurrent program verification and testing. This paper presents a parametric approach to happen-before causa...