Sciweavers

17 search results - page 1 / 4
» Approximation of stationary statistical properties of dissip...
Sort
View
MOC
2010
12 years 11 months ago
Approximation of stationary statistical properties of dissipative dynamical systems: Time discretization
We consider temporal approximation of stationary statistical properties of dissipative complex dynamical systems. We demonstrate that stationary statistical properties of the time...
Xiaoming Wang
SIGMETRICS
2010
ACM
152views Hardware» more  SIGMETRICS 2010»
13 years 2 months ago
A fluid approximation for large-scale service systems
We introduce and analyze a deterministic fluid model that serves as an approximation for the Gt/GI/st + GI manyserver queueing model, which has a general time-varying arrival pro...
Yunan Liu, Ward Whitt
MOC
2002
127views more  MOC 2002»
13 years 3 months ago
The dynamical behavior of the discontinuous Galerkin method and related difference schemes
We study the dynamical behavior of the discontinuous Galerkin finite element method for initial value problems in ordinary differential equations. We make two different assumptions...
Donald J. Estep, Andrew M. Stuart
CDC
2009
IEEE
13 years 9 months ago
Dynamic practical stabilization of sampled-data linear distributed parameter systems
Abstract— In this paper, dynamic practical stability properties of infinite-dimensional sampled-data systems are discussed. A family of finite-dimensional discrete-time control...
Ying Tan, Emmanuel Trélat, Yacine Chitour, ...
ICFEM
2009
Springer
13 years 10 months ago
Approximate Model Checking of PCTL Involving Unbounded Path Properties
Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...
Samik Basu, Arka P. Ghosh, Ru He