Showing cs.ETShow all
2 papers · 1 filter
cs.ET2019
Population-Induced Phase Transitions and the Verification of Chemical Reaction Networks
James I. Lathrop, Jack H. Lutz, Robyn R. Lutz +2
We show that very simple molecular systems, modeled as chemical reaction networks, can have behaviors that exhibit dramatic phase transitions at certain population thresholds. More…
cs.ET2017
Runtime Fault Detection in Programmed Molecular Systems
Samuel J. Ellis, Titus H. Klinge, James I. Lathrop +4
Watchdog timers are devices that are commonly used to monitor the health of safety-critical hardware and software systems. Their primary function is to raise an alarm if the monito…