摘要:The design of dynamics according to the quantitative specifications is widespread throughout engineering, and may be important for synthetic biology. While there have been multiple instances, experimental and theoretical, of design of dynamics in biomolecular circuits, the design as per quantitative specifications is relatively less common. Here we address this issue, computationally, for the design of pulse dynamics in multiple biomolecular circuits. We map the pulse specifications of rise time, peak amplitude and decay timescale exactly to the solution of linearized dynamics of incoherent feedforward loops by exploiting the non-normal structure of these dynamics. We find that there can be an error between the pulse specifications and the pulse output of the full nonlinear model and propose a bias factor so that the output almost exactly matches the specifications. We note the degeneracy of solutions possible for a given specification and analyse how robustness to parametric perturbations can guide the choice of solutions. These results present a framework for specification-based design of biomolecular pulses that provides insight into the design process and is scalable.