TU Darmstadt / ULB / TUbiblio

Rational design of robust biomolecular circuits: From specification to parameters

Hafner, M. and Lu, J. and Petrov, T. and Koeppl, H. (2011):
Rational design of robust biomolecular circuits: From specification to parameters.
In: Analysis and Design of Biomolecular Circuits, New York, NY, Springer, pp. 253-281, [Online-Edition: http://link.springer.com/chapter/10.1007/978-1-4419-6766-4_1...],
[Book Section]

Abstract

Despite the early success stories synthetic biology, the development of larger, more complex synthetic systems necessitates the use of appropriate design methodologies. In particular, the integration of smaller circuits in order to perform complex tasks remains one of the most important challenges faced in synthetic biology. We propose here a methodology to determine the region in the parameter space where a given dynamical model works as desired. It is based on the inverse problem of finding parameter sets that exhibit the specified behavior for a defined topology. The main issue we face is that such inverse mapping is highly expansive and suffers from instability: small changes in the specified dynamic property could lead to large deviations in the parameters for the identified models. To solve this issue, we discuss regularized maps complemented by local analysis. With a stabilized inversion map, small neighborhoods in the property space are mapped to small neighborhoods in the parameter space, thereby finding parameter vectors that are robust to the problem specification. To specify dynamic circuit properties we discuss Linear Temporal Logic (LTL). We apply these concepts to two models of the cyanobacterial circadian oscillation.

Item Type: Book Section
Erschienen: 2011
Creators: Hafner, M. and Lu, J. and Petrov, T. and Koeppl, H.
Title: Rational design of robust biomolecular circuits: From specification to parameters
Language: English
Abstract:

Despite the early success stories synthetic biology, the development of larger, more complex synthetic systems necessitates the use of appropriate design methodologies. In particular, the integration of smaller circuits in order to perform complex tasks remains one of the most important challenges faced in synthetic biology. We propose here a methodology to determine the region in the parameter space where a given dynamical model works as desired. It is based on the inverse problem of finding parameter sets that exhibit the specified behavior for a defined topology. The main issue we face is that such inverse mapping is highly expansive and suffers from instability: small changes in the specified dynamic property could lead to large deviations in the parameters for the identified models. To solve this issue, we discuss regularized maps complemented by local analysis. With a stabilized inversion map, small neighborhoods in the property space are mapped to small neighborhoods in the parameter space, thereby finding parameter vectors that are robust to the problem specification. To specify dynamic circuit properties we discuss Linear Temporal Logic (LTL). We apply these concepts to two models of the cyanobacterial circadian oscillation.

Title of Book: Analysis and Design of Biomolecular Circuits
Place of Publication: New York, NY
Publisher: Springer
Divisions: 18 Department of Electrical Engineering and Information Technology > Institute for Telecommunications > Bioinspired Communication Systems
18 Department of Electrical Engineering and Information Technology
18 Department of Electrical Engineering and Information Technology > Institute for Telecommunications
Date Deposited: 04 Apr 2014 13:04
Official URL: http://link.springer.com/chapter/10.1007/978-1-4419-6766-4_1...
Related URLs:
Export:

Optionen (nur für Redakteure)

View Item View Item