261 search results - page 32 / 53 » Differential constraints |
HYBRID
2004
Springer
14 years 21 days ago
2004
Springer
Abstract. An invariant of a system is a predicate that holds for every reachable state. In this paper, we present techniques to generate invariants for hybrid systems. This is achi...
FCCM
2004
IEEE
13 years 11 months ago
2004
IEEE
This paper presents a method that offers a uniform treatment for bit-width optimisation of both fixed-point and floating-point designs. Our work utilises automatic differentiation...
AAAI
2008
13 years 9 months ago
2008
We propose an expressive auction design that allows advertisers to specify the kinds of demographics and websites they wish to target within an advertising network. The design all...
AUTOMATICA
2007
13 years 7 months ago
2007
Second order sliding modes are used to keep exactly a constraint of the second relative degree or just to avoid chattering, i.e. in the cases when the standard (first order) slidi...
JMIV
2006
13 years 7 months ago
2006
Studying large deformations with a Riemannian approach has been an efficient point of view to generate metrics between deformable objects, and to provide accurate, non ambiguous an...