Sciweavers

4666 search results - page 299 / 934
» Equations on Timed Languages
Sort
View
CCE
2004
15 years 6 months ago
A decomposition method for synthesizing complex column configurations using tray-by-tray GDP models
This paper describes an optimization procedure for the synthesis of complex distillation configurations. A superstructure based on the Reversible Distillation Sequence Model (RDSM...
Mariana Barttfeld, Pío A. Aguirre, Ignacio ...
CORR
2004
Springer
142views Education» more  CORR 2004»
15 years 6 months ago
Modeling and Validating Hybrid Systems Using VDM and Mathematica
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...
Bernhard K. Aichernig, Reinhold Kainhofer
AR
2007
103views more  AR 2007»
15 years 6 months ago
Stability of autonomous vehicle path tracking with pure delays in the control loop
This paper presents a new method to analyze the stability of a general class of mobile robot path tracking algorithms taking into account explicitly the computation and communicat...
Guillermo Heredia, Aníbal Ollero
CN
2002
112views more  CN 2002»
15 years 6 months ago
State-dependent M/G/1 type queueing analysis for congestion control in data networks
Abstract--We study in this paper a TCP-like linear-increase multiplicative-decrease flow control mechanism. We consider congestion signals that arrive in batches according to a Poi...
Eitan Altman, Konstantin Avrachenkov, Chadi Baraka...
SIAMAM
2002
72views more  SIAMAM 2002»
15 years 6 months ago
Desorption Overshoot in Polymer-Penetrant Systems: Asymptotic and Computational Results
Many practically relevant polymers undergoing desorption change from the rubbery (saturated) to the glassy (nearly dry) state. The dynamics of such systems cannot be described by t...
David A. Edwards, Richard A. Cairncross