Sciweavers

53 search results - page 6 / 11
» Controlled synchronization via nonlinear integral coupling
Sort
View
CDC
2009
IEEE
176views Control Systems» more  CDC 2009»
14 years 11 days ago
Dynamics of a 3D elastic string pendulum
— This paper presents an analytical model and a geometric numerical integrator for a rigid body connected to an elastic string, acting under a gravitational potential. Since the ...
Taeyoung Lee, Melvin Leok, N. Harris McClamroch
AMC
2008
92views more  AMC 2008»
13 years 7 months ago
Bifurcation of nontrivial periodic solutions for an impulsively controlled pest management model
In this paper, we investigate the existence of nontrivial periodic solutions for an integrated pest management model which is impulsively controlled by means of biological and che...
Paul Georgescu, Hong Zhang, Lansun Chen
FMCO
2003
Springer
114views Formal Methods» more  FMCO 2003»
14 years 26 days ago
Synchronous Closing and Flow Analysis for Model Checking Timed Systems
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
Natalia Ioustinova, Natalia Sidorova, Martin Steff...
AUTOMATICA
2005
87views more  AUTOMATICA 2005»
13 years 7 months ago
Plasma vertical stabilization with actuation constraints in the DIII-D tokamak
In the advanced tokamak (AT) operating mode of the DIII-D tokamak, an integrated multivariable controller takes into account highly coupled influences of plasma equilibrium shape,...
Eugenio Schuster, M. L. Walker, D. A. Humphreys, M...
STEP
2005
IEEE
14 years 1 months ago
Using Metamodels in Service Interoperability
Interoperability in service oriented environments is heavily inuenced by the view that the cooperating services have on their data. e term service for the abstract contract concl...
Andreas Winter, Jürgen Ebert