Mohammad Abdallah Alsharaiah, Sandhya Samarasinghe, Don Kulasiri
The mammalian cell cycle is a tightly regulated process driven by cyclins, their regulators. While previous Boolean models captured certain aspects of cell cycle dynamics, they suffered from incomplete coverage of key regulatory proteins and limited temporal realism. Here, we present an improved Boolean model of the mammalian cell cycle core control system. The model incorporates a complete set of 13 essential elements, including cyclins (D, E, A, B), their transcription factors (Myc, TFE, TFB), inhibitors (p27, Rb), ubiquitin-mediated degraders (SCF, CDH1, CDC20A, CDC20B). We also introduce synchronous, asynchronous updating schemes with realistic time delays for protein activation, enabling a more accurate temporal representation of cell cycle progression. Simulation results reveal two principal attractors: a stable G0 attractor, a 20-state limit cycle attractor representing realistic phase transitions of the cell cycle. Robustness, sensitivity analyses demonstrate that the system is highly resilient, while mutation studies highlight vulnerabilities-particularly that overexpression of certain regulators halts cell cycle progression more frequently than knockouts. This chapter provides detailed modeling steps, Boolean logic formulations, simulation procedures, and mutation experiments. Possible extensions of the model are also provided, along with some guidance on implementing and troubleshooting Boolean models for cell cycle analysis.