Show simple item record

dc.contributor.authorYordanov, Boyanen_US
dc.contributor.authorBelta, Calinen_US
dc.coverage.spatialOrlando, FLen_US
dc.date.accessioned2018-07-18T12:00:43Z
dc.date.available2018-07-18T12:00:43Z
dc.date.issued2011-01-01
dc.identifierhttp://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000303506205079&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=6e74115fe3da270499c3d65c9b17d654
dc.identifier.citationBoyan Yordanov, Calin Belta. 2011. "A Formal Verification Approach to the Design of Synthetic Gene Networks." 2011 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC), pp. 4873 - 4878 (6).
dc.identifier.issn0743-1546
dc.identifier.urihttps://hdl.handle.net/2144/29965
dc.description.abstractThe design of genetic networks with specific functions is one of the major goals of synthetic biology. However, constructing biological devices that work “as required” remains challenging, while the cost of uncovering flawed designs experimentally is large. To address this issue, we propose a fully automated framework that allows the correctness of synthetic gene networks to be formally verified in silico from rich, high level functional specifications. Given a device, we automatically construct a mathematical model from experimental data characterizing the parts it is composed of. The specific model structure guarantees that all experimental observations are captured and allows us to construct finite abstractions through polyhedral operations. The correctness of the model with respect to temporal logic specifications can then be verified automatically using methods inspired by model checking. Overall, our procedure is conservative but it can filter through a large number of potential device designs and select few that satisfy the specification, to be implemented and tested further experimentally. As illustration, our methods are applied to the design of a simple synthetic gene network.en_US
dc.description.sponsorshipThis work was supported by NSF grant CNS-0834260. (CNS-0834260 - NSF)en_US
dc.format.extent4873 - 4878 (6)en_US
dc.languageEnglish
dc.publisherIEEEen_US
dc.relation.ispartof2011 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC)
dc.subjectScience & technologyen_US
dc.subjectTechnologyen_US
dc.subjectAutomation & control systemsen_US
dc.subjectRegulatory networksen_US
dc.subjectEscherichia colien_US
dc.subjectSimulationen_US
dc.titleA formal verification approach to the design of synthetic gene networksen_US
dc.typeArticleen_US
dc.identifier.doi10.1109/CDC.2011.6160969
pubs.elements-sourceweb-of-scienceen_US
pubs.notesEmbargo: Not knownen_US
pubs.organisational-groupBoston Universityen_US
pubs.organisational-groupBoston University, College of Engineeringen_US
pubs.organisational-groupBoston University, College of Engineering, Department of Mechanical Engineeringen_US
pubs.publication-statusPublisheden_US


This item appears in the following Collection(s)

Show simple item record