A closed-loop control system drives progression of the coupled stalked and swarmer cell cycles of the bacterium Caulobacter crescentus in a near-mechanical step-like fashion. The cell-cycle control has a cyclical genetic circuit composed of four regulatory proteins with tight coupling to processive chromosome replication and cell division subsystems. We report a hybrid simulation of the coupled cell-cycle control system, including asymmetric cell division and responses to external starvation signals, that replicates mRNA and protein concentration patterns and is consistent with observed mutant phenotypes. An asynchronous sequential digital circuit model equivalent to the validated simulation model was created. Formal model-checking analysis of the digital circuit showed that the cell-cycle control is robust to intrinsic stochastic variations in reaction rates and nutrient supply, and that it reliably stops and restarts to accommodate nutrient starvation. Model checking also showed that mechanisms involving methylationstate changes in regulatory promoter regions during DNA replication increase the robustness of the cell-cycle control. The hybrid cell-cycle simulation implementation is inherently extensible and provides a promising approach for development of whole-cell behavioral models that can replicate the observed functionality of the cell and its responses to changing environmental conditions. Caulobacter ͉ model ͉ regulatory circuit ͉ hybrid system ͉ symbolic model checking T he identification of regulatory pathways controlling the cell cycle of the bacterium Caulobacter crescentus has progressed to the point that an experimentally based system-level characterization of the cell-cycle control circuit is available. Aspects of the cyclical circuit that drives progression of the C. crescentus cell cycle are described in recent papers (1-5). Recent findings have identified novel mechanisms providing signals that tightly integrate the biochemical and genetic components of the core cell-cycle circuit with the 3D topology of the cell (4, 6, 7) and DNA replication (8).Many of the regulatory mechanisms and pathways in the C. crescentus cell-cycle circuit operate very rapidly so that they approximate discrete switching elements, whereas others, e.g., the transcriptional regulatory networks, operate relatively slowly. This suggested use of hybrid control analysis methods (9-13) to simulate this cell-cycle control system and formal analysis methods to analyze its properties. Hybrid control systems, by definition, include both continuous and discrete regulatory mechanisms (9). We constructed a hybrid control system simulation model and derived an equivalent asynchronous discrete circuit model from the simulation model. The analysis showed that the cell-cycle control is robust and that DNA methylation-based cell-cycle regulatory mechanisms (8) enhance robustness of the cell cycle.C. crescentus always divides asymmetrically, producing morphologically distinct daughters (Fig. 1A), so it is a model system not only for bacte...