TY - GEN
T1 - Model-based design and analysis of a reconfigurable continuous-culture bioreactor (work in progress)
AU - Nguyen, Luan Viet
AU - Nelson, Eric J.
AU - Vengurlekar, Amol
AU - Zhang, Ruoshi
AU - White, Kristopher I.
AU - Salinas, Victor
AU - Johnson, Taylor T.
N1 - Publisher Copyright:
Copyright 2014 is held by the owner/author(s).
PY - 2014/4/14
Y1 - 2014/4/14
N2 - In this paper, we present a model-based design and analysis of prototype laboratory equipment used for growing bacteria under precisely controlled conditions for systems biology experiments. Continuous-culture bioreactors grow microorganisms continuously over periods as long as several months. Depending on the particular experiment, the reconfigurable continuous-culture bioreactor we model and analyze may operate as: (a) a chemostat with constant volume, (b) a turbidostat with constant bacterial concentration as observed through turbidity (optical density), or (c) a morbidostat with constant death-rate of bacteria. Such systems have interesting safety specifications such as not overowing beakers, maintaining bacterial concentrations within ranges, etc., that must be maintained over long experimental periods. We develop preliminary controller and plant models and analyze them through simulation in Simulink/Stateow (SLSF), and using reachability analysis in SpaceEx by translating the SLSF models to hybrid automata. The analysis indicates that the proposed design satisfies its regulation specifications for microorganism concentration may avoid error scenarios encountered in experiments with a prior design.
AB - In this paper, we present a model-based design and analysis of prototype laboratory equipment used for growing bacteria under precisely controlled conditions for systems biology experiments. Continuous-culture bioreactors grow microorganisms continuously over periods as long as several months. Depending on the particular experiment, the reconfigurable continuous-culture bioreactor we model and analyze may operate as: (a) a chemostat with constant volume, (b) a turbidostat with constant bacterial concentration as observed through turbidity (optical density), or (c) a morbidostat with constant death-rate of bacteria. Such systems have interesting safety specifications such as not overowing beakers, maintaining bacterial concentrations within ranges, etc., that must be maintained over long experimental periods. We develop preliminary controller and plant models and analyze them through simulation in Simulink/Stateow (SLSF), and using reachability analysis in SpaceEx by translating the SLSF models to hybrid automata. The analysis indicates that the proposed design satisfies its regulation specifications for microorganism concentration may avoid error scenarios encountered in experiments with a prior design.
KW - Hybrid systems
KW - Model-based design
KW - Simulation
KW - Verification
UR - http://www.scopus.com/inward/record.url?scp=84942318842&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84942318842&partnerID=8YFLogxK
U2 - 10.1145/2593458.2593469
DO - 10.1145/2593458.2593469
M3 - Conference contribution
AN - SCOPUS:84942318842
T3 - Proceedings of the 4th ACM Workshop on Design, Modeling and Evaluation of Cyber Physical Systems, CyPhy 2014
SP - 48
EP - 51
BT - Proceedings of the 4th ACM Workshop on Design, Modeling and Evaluation of Cyber Physical Systems, CyPhy 2014
PB - Association for Computing Machinery
T2 - 4th ACM Workshop on Design, Modeling and Evaluation of Cyber Physical Systems, CyPhy 2014
Y2 - 14 April 2014 through 17 April 2014
ER -