@inproceedings{nguyen2014cyphy,
        author          =       {Luan Viet Nguyen and Eric Nelson and Amol Vengurlekar and Ruoshi Zhang and Kristopher I White and Victor Salinas and Taylor T. Johnson},
        title           =       {Model-Based Design and Analysis of a Reconfigurable Continuous-Culture Bioreactor (Work-in-Progress)},
        year            =       {2014},
        booktitle       =       {Fourth ACM Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems (<a href="http://www.cyphy.org/">CyPhy 2014</a>)},
    address     =   {Berlin, Germany},
        month           =       apr,
        pages           =       {},
        doi     =   {10.1145/2593458.2593469},
        gsid        =   {},
        abstract    =   {In this paper, we present the 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 overflowing beakers, maintaining constant bacterial concentrations, etc., that must be maintained over long experimental periods.  We develop preliminary controller and plant models and analyze them through simulation in Simulink/Stateflow (SLSF), and using reachability analysis in SpaceEx by translating the SLSF models to hybrid automata.  The analysis indicates that the proposed controller and model satisfies its regulation specifications and avoids an error scenario encountered in experiments with a prior design (overflowing of beakers).},
        comment     =   {<a href="http://dl.acm.org/authorize?N84163">ACM Authorizer</a>},
        pdf = {http://www.taylortjohnson.com/research/nguyen2014cyphy.pdf},
}