Semantic search
From MurrayWiki
2017d_dfm17-isrr
- Parallelizing Synthesis from Temporal Logic Specifications by Identifying Equicontrollable States
- Sumanth Dathathri, Ioannis Filippidis and Richard M. Murray
- Submitted, 2017 International Symposium on Robotics Research (ISRR)
2017c_dagm17-ijca
- Learning-Based Abstractions for Nonlinear Constraint Solving
- Sumanth Dathathri, Nikos Arechiga, Sicun Gao, and Richard M. Murray
- 2017 International Joint Conference on Artificial Intelligence (IJCAI)
2017b_ren+17-cdc
- Population regulation in microbial consortia using dual feedback control
- Xinying Ren, Ania-Ariadna Baetica, Anandh Swaminathan, Richard M. Murray
- Submitted, 2017 Conference on Decision and Control (CDC)
2017b_fm17-cdc
- Hiding variables when decomposing specifications into GR(1) contracts
- Ioannis Filippidis and Richard M. Murray
- Submitted, 2017 Conference on Decision and Control (CDC)
2017b_dm17-cdc
- Decomposing GR(1) Games with Singleton Liveness Guarantees for Efficient Synthesis
- Sumanth Dathathri and Richard M. Murray
- 2017 Conference on Decision and Control (CDC)
2017a_phm17-seed
- Engineering pulsatile communication in bacterial consortia
- James Parkin, Victoria Hsiao, Richard M Murray
- Submitted, 2017 Synthetic Biology: Engineering, Evolution and Design (SEED) Conference
2017a_sm17-seed
- Repressing Integrase attachment site operation with CRISPR-Cas9 in E. coli
- Andrey Shur and Richard M Murray
- Submitted, 2017 Synthetic Engineering: Engineering, Evolution and Design (SEED) Conference
2017a_shm17-seed
- Quantitative Modeling of Integrase Dynamics Using a Novel Python Toolbox for Parameter Inference in Synthetic Biology
- Anandh Swaminathan, Victoria Hsiao, Richard M Murray
- 2017 Synthetic Biology: Engineering, Evolution, and Design (SEED) Conference
2016x_dlS+16-acssynbio
- Engineering Transcriptional Regulator Effector Specificity Using Computational Design and In Vitro Rapid Prototyping: Developing a Vanillin Sensor
- E. L. de los Santos, J. T. Meyerowitz, S. L. Mayo, R. M. Murray
- ACS Synthetic Biology. 5(4):287-95, 2016
2016l_bae+17-qbio
- A Bayesian approach to inferring chemical signal timing and amplitude in a temporal logic gate using the cell population distributional response
- Ania-Ariadna Baetica, Thomas Anthony Catanach, Victoria Hsiao, Richard Murray, James Beck
- 2017 Winter q-bio Conference
2016k_gm16-cdc
- Quantifying Resource Competition and its Effects in the TX-TL System
- Andras Gyorgy and Richard M. Murray
- 2016 Conference on Decision and Control (CDC)
2016i_yeu+17-biorxiv
- The Effect of Compositional Context on Synthetic Gene Networks
- Enoch Yeung, Aaron J Dy, Kyle B Martin, Andrew H Ng, Domitilla Del Vecchio, James L Beck, James J. Collins, Richard M Murray
- Submitted, Cell Systems (bioRxiv preprint)
2016h_ari+17-hscc
- Fast Automatic Verification of Large-Scale Systems with Lookup Tables
- Nikos Arichega, Sumanth Dathathri, Shashank Vernekar, Sicun Gao, Shin’Ichi Shiraishi, Richard M. Murray
- Submitted, 2017 ACM International Conference on Hybrid Systems: Computation and Control (HSCC)
2016g_dlm17-iccps
- Enhancing tolerance to unexpected jumps in GR(1) games
- Sumanth Dathathri, Scott C. Livingston and Richard M. Murray
- 2017 Int'l Conference on Cyberphysical Systems (ICCPS)
2016f_gom17-acc
- Connected Cruise Control Design Using Probabilistic Model Checking
- Jin I. Ge, Gabor Orosz and Richard M. Murray
- Submitted, 2017 American Control Conference (ACC)
2016e_fil+16-msc
- Control design for hybrid systems with TuLiP: The temporal logic planning toolbox
- Ioannis Filippidis, Sumanth Dathathri, Scott C. Livingston, Necmiye Ozay, Richard M. Murray
- 2016 IEEE Conference on Control Applications (CCA)
2016d_hsi+16-msb
- A population-based temporal logic gate for timing and recording chemical events
- Victoria Hsiao, Yutaka Hori, Paul W.K. Rothemund, Richard M. Murray
- Molecular Systems Biology, 12: 869, 2016
2016c_ccom16-ssci
- Synthesis of Control Protocols for Switched Electrical Power Systems for Commercial Applications with Safety Specifications
- Benson Christalin, Michele Colledanchise, Petter Ogren, Richard M. Murray
- 2016 IEEE Symposium on Computational Intelligence in Control and Automation
2016b_hcm16-seed
- Design and application of stationary phase combinatorial promoters
- Victoria Hsiao, Aileen Cheng and Richard M. Murray
- Submitted, 2016 Synthetic Biology: Engineering, Evolution and Design (SEED) Conference
2016b_ahhm16-seed
- The role of single occupancy effects on integrase dynamics in a cell-free system
- Georgios Artavanis, Victoria Hsiao, Clarmyra A. Hayes, Richard M. Murray
- 2016 Synthetic Biology: Engineering, Evolution and Design (SEED) Conference (17 May 2016)
