Sciweavers

2639 search results - page 411 / 528
» Biological Systems as Reactive Systems
Sort
View
SCL
2008
113views more  SCL 2008»
15 years 4 months ago
Modular design of nonlinear observers for state and disturbance estimation
This work studies the problem of design of nonlinear observers in the presence of exogenous disturbances. In particular, the present work proposes a systematic design method for no...
Costas Kravaris, Georgios Savoglidis
AMC
2005
95views more  AMC 2005»
15 years 4 months ago
Detection and continuation of a border collision bifurcation in a forest fire model
The behavior of the simplest forest fire model is studied in this paper through bifurcation analysis. The model is a second-order continuous-time impact model where vegetational g...
Fabio Dercole, Stefano Maggi
TASE
2008
IEEE
15 years 4 months ago
Perspectives in Probabilistic Verification
Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabi...
Joost-Pieter Katoen
BMCBI
2005
88views more  BMCBI 2005»
15 years 4 months ago
Using large-scale perturbations in gene network reconstruction
Background: Recent analysis of the yeast gene network shows that most genes have few inputs, indicating that enumerative gene reconstruction methods are both useful and computatio...
Thomas MacCarthy, Andrew Pomiankowski, Robert Seym...
CCE
2005
15 years 4 months ago
Numerical simulation of stochastic gene circuits
Armed with increasingly fast supercomputers and greater knowledge of the molecular mechanisms of gene expression, it is now practical to numerically simulate complex networks of r...
Howard Salis, Yiannis N. Kaznessis