Sciweavers

563 search results - page 65 / 113
» constraints 2002
Sort
View
RC
2002
96views more  RC 2002»
13 years 7 months ago
Verification of Invertibility of Complicated Functions over Large Domains
A new method to decide the invertibility of a given high-dimensional function over a domain is presented. The problem arises in the field of verified solution of differential algeb...
Jens Hoefkens, Martin Berz
RE
2002
Springer
13 years 7 months ago
Requirements Engineering in the Health Care Domain
There are many different approaches to elicit requirements each having its strengths and weaknesses. Hence, some approaches may be ore suitable to one domain then another. Moreove...
Luiz Marcio Cysneiros
ROBOTICA
2002
72views more  ROBOTICA 2002»
13 years 7 months ago
Point-to-Point trajectory planning of flexible redundant robot manipulators using genetic algorithms
: The paper focuses on the problem of point-to-point trajectory planning for flexible redundant robot manipulators (FRM) in joint space. Compared with irredundant flexible manipula...
Shigang Yue, Dominik Henrich, W. L. Xu, S. K. Tso
SIAMCO
2002
128views more  SIAMCO 2002»
13 years 7 months ago
Generalized Solutions in Nonlinear Stochastic Control Problems
An optimal stochastic control problem is considered for systems with unbounded controls satisfying an integral constraint. It is shown that there exists an optimal control within t...
F. Dufour, Boris M. Miller
SIAMJO
2002
99views more  SIAMJO 2002»
13 years 7 months ago
On the Calmness of a Class of Multifunctions
The paper deals with the calmness of a class of multifunctions in finite dimensions. Its first part is devoted to various conditions for calmness, which are derived in terms of cod...
René Henrion, Abderrahim Jourani, Jir&iacut...