Sciweavers

2044 search results - page 3 / 409
» System theory for numerical analysis
Sort
View
QEST
2007
IEEE
15 years 9 months ago
Probabilistic Model Checking Modulo Theories
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
Björn Wachter, Lijun Zhang, Holger Hermanns
126
Voted
HYBRID
2004
Springer
15 years 9 months ago
A Numerical Technique for Stability Analysis of Linear Switched Systems
Christos A. Yfoulis, Robert Shorten
147
Voted
ECAL
1995
Springer
15 years 7 months ago
Elements of a Theory of Simulation
Arti cial Life and the more general area of Complex Systems does not have a uni ed theoretical framework although most theoretical work in these areas is based on simulation. This ...
Steen Rasmussen, Christopher L. Barrett
120
Voted
BMCBI
2008
97views more  BMCBI 2008»
15 years 3 months ago
Quantitative analysis of numerical solvers for oscillatory biomolecular system models
Background: This article provides guidelines for selecting optimal numerical solvers for biomolecular system models. Because various parameters of the same system could have drast...
Chang F. Quo, May D. Wang
123
Voted
CDC
2008
IEEE
143views Control Systems» more  CDC 2008»
15 years 10 months ago
On the use of numerical methods for analysis and control of nonlinear convective systems
Abstract— A common approach to designing feedback controllers for nonlinear partial differential equations (PDEs) is to linearize the system about an equilibrium and use the line...
Edward Allen, John A. Burns, David S. Gilliam