Hafner, M. ; Lu, J. ; Petrov, T. ; Koeppl, H. (2011)
Rational design of robust biomolecular circuits: From specification to parameters.
In: Analysis and Design of Biomolecular Circuits
Buchkapitel, Bibliographie
Kurzbeschreibung (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.
| Typ des Eintrags: | Buchkapitel |
|---|---|
| Erschienen: | 2011 |
| Autor(en): | Hafner, M. ; Lu, J. ; Petrov, T. ; Koeppl, H. |
| Art des Eintrags: | Bibliographie |
| Titel: | Rational design of robust biomolecular circuits: From specification to parameters |
| Sprache: | Englisch |
| Publikationsjahr: | 2011 |
| Ort: | New York, NY |
| Verlag: | Springer |
| Buchtitel: | Analysis and Design of Biomolecular Circuits |
| URL / URN: | http://link.springer.com/chapter/10.1007/978-1-4419-6766-4_1... |
| Zugehörige Links: | |
| Kurzbeschreibung (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. |
| Fachbereich(e)/-gebiet(e): | 18 Fachbereich Elektrotechnik und Informationstechnik 18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Nachrichtentechnik > Bioinspirierte Kommunikationssysteme 18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Nachrichtentechnik |
| Hinterlegungsdatum: | 04 Apr 2014 13:04 |
| Letzte Änderung: | 23 Sep 2021 14:32 |
| PPN: | |
| Zugehörige Links: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum