Sciweavers

1954 search results - page 19 / 391
» Modelling Coordination in Biological Systems
Sort
View
CDC
2010
IEEE
131views Control Systems» more  CDC 2010»
14 years 1 months ago
State estimation of two-time scale multiple models with unmeasurable premise variables. Application to biological reactors
— This paper deals with the state estimation of nonlinear systems. The systems under study are characterized by two-time scale models. The state estimation is performed by design...
Anca Maria Nagy-Kiss, Benoît Marx, Gilles Mo...
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 1 months ago
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination
Abstract. The design of controllers for hybridsystemsi.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
Rajeev Alur, Joel M. Esposito, M. Kim, Vijay Kumar...
JCP
2008
121views more  JCP 2008»
14 years 9 months ago
Towards Design Space Exploration for Biological Systems
For both embedded systems and biological cell systems, design is a feature that defines their identity. The assembly of different components in designs of both systems can vary wid...
Simon Polstra, Tessa E. Pronk, Andy D. Pimentel, T...
FUIN
2010
136views more  FUIN 2010»
14 years 7 months ago
Modeling Biology using Generic Reactive Animation
Abstract. Complex biological systems involve incorporated behaviors of numerous processes, mechanisms and objects. However, experimental analysis, by its nature, divides biological...
Yaki Setty, Irun R. Cohen, David Harel
BMCBI
2005
98views more  BMCBI 2005»
14 years 9 months ago
Iterative approach to model identification of biological networks
Background: Recent advances in molecular biology techniques provide an opportunity for developing detailed mathematical models of biological processes. An iterative scheme is intr...
Kapil G. Gadkar, Rudiyanto Gunawan, Francis J. Doy...