....................................... 5 Vi presenterar en ny metod för utformningen av en syntetisk biologisk krets vars beteende specificeras i termer av signal temporal logik (STL) formler. Vi visar först hur man karakteriserar med STL-formler in-/utgångsbeteendet hos biologiska moduler som mimmar de klassiska logiska portarna (AND, NOT, OR). Därför tillhandahåller vi de regioner i parameterutrymmet för vilka dessa specifikationer är uppfyllda. Med tanke på en STL-specifikation av den målkrets som ska utformas och nätverken av dess komponenter, föreslår vi en metod för att begränsa beteendet hos varje modul, och därefter identifiera den delmängd av parameterutrymmet där dessa begränsningar är uppfyllda, vilket också ger ett mått på robustheten för målkretsens konstruktion. Detta tillvägagångssätt, som utnyttjar de senaste resultaten av den kvantitativa semantiken av Signal Temporal Logic, illustreras genom en syntes av ett biologiskt genomförande av en halv-adder.
I REF föreslog författarna ett nytt tillvägagångssätt, baserat på robusthetsgrad, för utformningen av en syntetisk biologisk krets vars beteende specificeras i formler för signaltidslogik (STL).
A temporal logic approach to modular design of synthetic biological circuits
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Mathematics', 'Computer Science', 'Biology']}