1902 search results - page 123 / 381 » Differential Dynamic Logics |
165
click to vote
FMLDO
1999
Springer
15 years 11 months ago
1999
Springer
In this article we extend previous work on the development of logical foundations for the specification of the dynamics of databases. In particular, we deal with two problems. Fir...
140
click to vote
ACMDIS
1997
ACM
15 years 11 months ago
1997
ACM
The design of tailorable systems is an important issue for fields of application which are characterized by differentiation and dynamics. We show how tailorability can be combined...
168
click to vote
ENGL
2008
15 years 6 months ago
2008
This paper proposes a robust suppression sliding mode controller design for uncertain Duffing-Holmes chaotic systems. A form of time-varying second-order differential equation is o...
168
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
This paper introduces the normalized and signed gradient dynamical systems associated with a differentiable function. Extending recent results on nonsmooth stability analysis, we ...
159
click to vote
IJBC
2006
15 years 6 months ago
2006
We consider the effect of random variation in the material parameters in a model for machine tool vibrations, specifically regenerative chatter. We show that fluctuations in these...