Synthetic biology is a research field that combines the investigative nature of biology with
the constructive nature of engineering. Efforts in synthetic biology have largely focused on …

As the amount of biological data in the public domain grows, so does the range of modeling
and analysis techniques employed in systems biology. In recent years, a number of …

In control theory, complex models of physical processes, such as systems of differential or
difference equations, are usually checked against simple specifications, such as stability …

The ability to generate microorganisms that can produce biofuels similar to petroleum-based
transportation fuels would allow the use of existing engines and infrastructure and would …

Synthetic gene circuits are designed to program new biological behaviour, dynamics and
logic control. For all but the simplest synthetic phenotypes, this requires a structured …

Setting the standard in synthetic biology | Nature Biotechnology Skip to main content Thank
you for visiting nature.com. You are using a browser version with limited support for CSS. To …

We consider the problem of synthesising rate parameters for stochastic biochemical
networks so that a given time-bounded CSL property is guaranteed to hold, or, in the case of …

Stochastic models such as Continuous-Time Markov Chains (CTMC) and Stochastic Hybrid
Automata (SHA) are powerful formalisms to model and to reason about the dynamics of …

Motivation: Robustness is the capacity of a system to maintain a function in the face of
perturbations. It is essential for the correct functioning of natural and engineered biological …

For many performance-critical control systems, an accurate (simple) model is not available
in practice. Thus, designing controllers with formal performance guarantees is challenging …