A new method to screen antibiotic combinations is demonstrated,which takes advantage of the logic-signal output of genetically engineered drug-resistant E.coli strains expressing different fluorescent proteins.Thirty-...A new method to screen antibiotic combinations is demonstrated,which takes advantage of the logic-signal output of genetically engineered drug-resistant E.coli strains expressing different fluorescent proteins.Thirty-six antibiotic combinations for nine antibiotics were investigated.The operation of different logic gates can reveal the susceptibility,resistance,or synergistic effect of the antibiotic combinations in a rapid(7–8 h versus 24–28 h for typical growth-based assays),simple,quantitative and high-throughput manner.This logic-signal-based output patterns provide the basis for novel and reliable screening of antibiotic combinations and help us to both gain insight into the mechanisms of multi-drug action.展开更多
In safety-critical systems,it is desirable to automatically synthesize controllers for complex tasks with guaranteed safety and correctness.Although much progress has been made through controller synthesis from tempor...In safety-critical systems,it is desirable to automatically synthesize controllers for complex tasks with guaranteed safety and correctness.Although much progress has been made through controller synthesis from temporal logic speci-cations,existing approaches generally require conservative assumptions and do not scale well with system dimensionality.We propose a scalable,provably complete algorithm that synthesizes continuous trajectories for hybrid systems to satisfy temporal logic speci-cations.Speci-cally,we harness highly e±cient Boolean satis-ability(SAT)and Linear Programming(LP)solvers to-nd trajectories that satisfy nonconvex Signal Temporal Logic(STL)speci-cations for a class of high dimensional hybrid systems.The proposed design algorithms are proven sound and complete,and are validated in simulation experiments.展开更多
基金financially supported by the National Natural Science Foundation of China(21203213)the Major Research Plan of China(2013CB932800,2012CB932600)
文摘A new method to screen antibiotic combinations is demonstrated,which takes advantage of the logic-signal output of genetically engineered drug-resistant E.coli strains expressing different fluorescent proteins.Thirty-six antibiotic combinations for nine antibiotics were investigated.The operation of different logic gates can reveal the susceptibility,resistance,or synergistic effect of the antibiotic combinations in a rapid(7–8 h versus 24–28 h for typical growth-based assays),simple,quantitative and high-throughput manner.This logic-signal-based output patterns provide the basis for novel and reliable screening of antibiotic combinations and help us to both gain insight into the mechanisms of multi-drug action.
基金support of the National Science Foundation(Grant No.IIS-1724070,CNS-1830335,IIS-2007949)is gratefully acknowledged.
文摘In safety-critical systems,it is desirable to automatically synthesize controllers for complex tasks with guaranteed safety and correctness.Although much progress has been made through controller synthesis from temporal logic speci-cations,existing approaches generally require conservative assumptions and do not scale well with system dimensionality.We propose a scalable,provably complete algorithm that synthesizes continuous trajectories for hybrid systems to satisfy temporal logic speci-cations.Speci-cally,we harness highly e±cient Boolean satis-ability(SAT)and Linear Programming(LP)solvers to-nd trajectories that satisfy nonconvex Signal Temporal Logic(STL)speci-cations for a class of high dimensional hybrid systems.The proposed design algorithms are proven sound and complete,and are validated in simulation experiments.
