Sciweavers

234 search results - page 7 / 47
» From MIN model to ordinary differential equations
Sort
View
PODC
2004
ACM
15 years 3 months ago
On the design of distributed protocols from differential equations
We propose a framework to translate certain subclasses of differential equation systems into distributed protocols that are practical. The synthesized protocols are state machine...
Indranil Gupta
CORR
2010
Springer
127views Education» more  CORR 2010»
14 years 10 months ago
Mean field for Markov Decision Processes: from Discrete to Continuous Optimization
We study the convergence of Markov Decision Processes made of a large number of objects to optimization problems on ordinary differential equations (ODE). We show that the optimal...
Nicolas Gast, Bruno Gaujal, Jean-Yves Le Boudec
CAV
2010
Springer
227views Hardware» more  CAV 2010»
14 years 8 months ago
Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
Alexandre Donzé

Book
1702views
16 years 8 months ago
Numerical Methods with Applications
"Mathematical models are an integral part in solving engineering problems. Many times, these mathematical models are derived from engineering and science principles, while at ...
Autar K Kaw, Egwu E Kalu
AMC
2008
94views more  AMC 2008»
14 years 10 months ago
Modeling and inversion of net ecological exchange data using an Ito stochastic differential equation approach
A system of stochastic differential equations is studied describing a compartmental carbon transfer model that includes uncertainties arising in the model from environmental and p...
Luther White, Yiqi Luo