Guaranteeing System-level Properties in Genetic Circuits Subject to Context Effects
Name
CDC24_InigoFinal.pdf
Description
Accepted version
Size
2.09 MB
Format
Adobe PDF
Checksum (MD5)
4e28bd7fe4a991d0b5cdaf63216f491e
Author(s)
Incer, Inigo
Pandey, Ayush
Nolan, Nicholas
Peterman, Emma L
Galloway, Kate E
Sontag, Eduardo D
Del Vecchio, Domitilla
Date Issued
December 16, 2024
Journal
2024 IEEE 63rd Conference on Decision and Control (CDC)
Publisher
IEEE
Citation
I. Incer et al., "Guaranteeing System-level Properties in Genetic Circuits Subject to Context Effects," 2024 IEEE 63rd Conference on Decision and Control (CDC), Milan, Italy, 2024, pp. 5558-5565.
Version
Author's final manuscript
Abstract
The identification of constraints on system parameters that will ensure that a system achieves desired requirements remains a challenge in synthetic biology, where components unintentionally affect one another by perturbing the cellular environment in which they operate. This paper shows how to solve this problem optimally for a class of input/output system-level specifications, and for unintended interactions due to resource sharing. Specifically, we show how to solve the problem based on the input/output properties of the subsystems and on the unintended interaction map. Our approach is based on the elimination of quantifiers in monotone properties of the system. We illustrate applications of this methodology to guaranteeing system-level performance of multiplexed and sequential biosensing and of bistable genetic circuits.
Description
2024 IEEE 63rd Conference on Decision and Control (CDC), December 16-19, 2024. MiCo, Milan, Italy
MIT Department
Massachusetts Institute of Technology. Department of Biological Engineering
Massachusetts Institute of Technology. Department of Chemical Engineering
Massachusetts Institute of Technology. Department of Mechanical Engineering
Terms of Use
Creative Commons Attribution-Noncommercial-ShareAlike
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.1109/cdc56724.2024.10886081
