Sciweavers

2044 search results - page 6 / 409
» System theory for numerical analysis
Sort
View
LICS
2003
IEEE
14 years 19 days ago
Model checking for probability and time: from theory to practice
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
Marta Z. Kwiatkowska
CDC
2010
IEEE
110views Control Systems» more  CDC 2010»
13 years 2 months ago
Multi-step-ahead multivariate predictors: A comparative analysis
Abstract-- The focus of this article is to undertake a comparative analysis of multi-step-ahead linear multivariate predictors. The approach considered for the estimation will be b...
Marzia Cescon, Rolf Johansson
LISP
2008
101views more  LISP 2008»
13 years 7 months ago
Flow-sensitive type systems and the ambient calculus
The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code. Numerous analyses have been developed for numerous va...
Torben Amtoft
JSCIC
2008
71views more  JSCIC 2008»
13 years 7 months ago
Numerical and Statistical Methods for the Coarse-Graining of Many-Particle Stochastic Systems
In this article we discuss recent work on coarse-graining methods for microscopic stochastic lattice systems. We emphasize the numerical analysis of the schemes, focusing on error ...
Markos A. Katsoulakis, Petr Plechác, Luc Re...
CDC
2008
IEEE
129views Control Systems» more  CDC 2008»
13 years 9 months ago
Optimal control of a fedbatch fermentation process: Numerical methods, sufficient conditions and sensitivity analysis
Bang-bang and singular optimal controls in a fedbatch fermentation process are computed for a range of time horizons. Numerical algorithms for determining the optimal control struc...
Adam Korytowski, Maciej Szymkat, Helmut Maurer, Ge...