Synthetic biology aims at engineering synthetic circuits with pre-defined target functions. From a systems (model-based) perspective, the following problems are of central importance: (1) given the model of a biomolecular circuit, elucidate whether it is capable of a certain behavior/functionality; and (2) starting from a pre-defined required functionality and a library of biological parts, find the biomolecular circuit that, built as a combination of such parts, achieves the desired behavior. These two problems, framed, respectively, as nonlinear analysis and automated design problems, are tackled here by efficient optimization methods. We illustrate these methods with case studies considering the analysis and design of biocircuits capable of bistability (bistable switches). Bistability is of particular interest in the context of systems and synthetic biology because it endows cells with the capacity to make decisions.
Keywords: Automated design; Bistability; Cell decision making; Global optimization; Mixed integer nonlinear programming; Multiobjective optimization; Synthetic biology.