Semantic search

From MurrayWiki
Jump to: navigation, search

[Edit query]| Show embed code


Previous     Results 51 – 70    Next        (20 | 50 | 100 | 250 | 500)

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)


Previous     Results 51 – 70    Next        (20 | 50 | 100 | 250 | 500)