Search by property
From MurrayWiki
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- Robust Model Predictive Control with a Safety Mode: Applied to Small-Body Proximity Operations + (17 May 2016 13:33:39)
- Optimal nonlinear guidance with inner-loop feedback for hypersonic re-entry + (17 May 2016 13:35:44)
- A Robust Nonlinear Model Predictive Control Algorithm with a Safety Mode + (17 May 2016 13:36:49)
- Linear models for control of cavity flow oscillations + (17 May 2016 13:38:23)
- Model-Based Control of Cavity Oscillations, Part I: Experiments + (17 May 2016 14:45:50)
- Resource usage and gene circuit performance characterization in a cell-free âbreadboardâ + (17 May 2016 15:17:21)
- Biomolecular resource utilization in elementary cell-free gene circuits + (17 May 2016 15:17:58)
- User:Vhsiao + (17 May 2016 19:54:02)
- Characterization of minimum inducer separation time for a two-input integrase-based event detector + (18 May 2016 02:11:08)
- Interfacing TuLiP with the JPL Statechart Autocoder: Initial progress toward synthesis of flight software from formal specifications + (19 May 2016 12:54:18)
- JPL SR&D15 + (19 May 2016 12:54:54)
- Design Space Exploration of the Violacein Pathway in Escherichia coli Based Cell-Free System + (19 May 2016 13:02:44)
- Decentralized Multi-Agent Optimization via Dual Decomposition + (20 May 2016 08:17:38)
- Model Predictive Control for an Uncertain Smart Thermal Grid + (28 May 2016 22:03:24)
- Robust Model Predictive Control for Signal Temporal Logic Synthesis + (28 May 2016 22:12:07)
- Stochastic Gene Expression in Single Gene Oscillator Variants + (28 May 2016 23:25:18)
- Group Schedule, Spring 2016 + (6 June 2016 01:39:13)
- Backtracking temporal logic synthesis for uncertain environments + (6 June 2016 16:51:11)
- Category:Biocircuits projects + (10 June 2016 04:50:17)
- ICyPhy: Industrial Cyber-Physical Systems + (10 June 2016 04:54:29)
- A population-based temporal logic gate for timing and recording chemical events + (10 June 2016 05:02:58)
- Synergistic dual positive feedback loops established by molecular sequestration generate robust bimodal response + (10 June 2016 05:15:42)
- Reverse Engineering Combination Therapies for Evolutionary Dynamics of Disease: An Hinfty Approach + (10 June 2016 05:18:40)
- Population diversification in a yeast metabolic program promotes anticipation of environmental shifts + (10 June 2016 05:18:55)
- Design and Implementation of a Biomolecular Circuit for Tracking Protein Concentration + (10 June 2016 05:19:12)
- A hovercraft robot that uses insect-inspired visual autocorrelation for motion control in a corridor + (10 June 2016 05:19:24)
- Bioligically Inspired Feedback Design for Drosophila Flight + (10 June 2016 05:19:37)
- Design and implementation of a synthetic biomolecular concentration tracker + (10 June 2016 05:21:19)
- Design and application of stationary phase combinatorial promoters + (10 June 2016 05:52:05)
- Engineering Transcriptional Regulator Effector Specificity using Computational Design and In Vitro Rapid Prototyping: Developing a Vanillin Sensor + (10 June 2016 05:52:24)
- Characterizing and Prototyping Genetic Networks with Cell-Free Transcription-Translation Reactions + (10 June 2016 05:57:16)
- Category:NCS projects + (10 June 2016 06:00:57)
- A Contract-Based Methodology for Aircraft Electric Power System Design + (10 June 2016 06:06:44)
- Symbolic construction of GR(1) contracts for systems with full information + (10 June 2016 06:06:52)
- Cross-entropy Temporal Logic Motion Planning + (10 June 2016 06:07:00)
- Reactive Synthesis from Signal Temporal Logic Specifications + (10 June 2016 06:07:10)
- Model Predictive Control for Signal Temporal Logic Specifications + (10 June 2016 06:08:16)
- Property:Current project + (10 June 2016 22:36:27)
- Property:First name + (10 June 2016 22:36:29)
- Property:Last name + (10 June 2016 22:36:29)
- Category:Group member + (10 June 2016 22:36:38)
- Property:Type + (10 June 2016 22:43:12)
- Property:Department + (10 June 2016 23:09:23)
- Property:Other projects + (11 June 2016 01:35:51)
- Synthesis of Control Protocols for Autonomous Systems + (11 June 2016 05:12:33)
- Property:Support + (11 June 2016 11:43:27)
- Property:Agency + (11 June 2016 11:43:37)
- Property:Title + (11 June 2016 11:43:49)
- Property:Reports + (11 June 2016 11:44:06)
- Category:Project + (11 June 2016 11:44:27)
- Projects + (11 June 2016 12:20:53)
- User:Murray + (11 June 2016 12:51:36)
- Molecular Programming Project + (11 June 2016 19:11:52)
- Property:Graduated + (11 June 2016 20:16:59)
- Property:Previous positions + (11 June 2016 20:37:15)
- Enoch Yeung + (11 June 2016 20:37:47)
- Nancy Cao + (11 June 2016 20:38:25)
- Ivan Papusha + (11 June 2016 20:44:59)
- Miki Yun + (11 June 2016 20:47:29)
- An analytical approach to bistable biological circuit discrimination using real algebraic geometry + (11 June 2016 20:57:52)
- Rapid in vitro engineering of 16 two-input logic gates + (11 June 2016 20:58:49)
- Finding stationary solutions to the chemical master equation by gluing state spaces at one or two states recursively + (11 June 2016 21:01:35)
- Design of a Toolbox of RNA Thermometers + (11 June 2016 21:02:00)
- Synthetic logic circuits using RNA aptamer against T7 RNA polymerase + (11 June 2016 21:02:32)
- Synthetic circuit for exact adaptation and fold-change detection + (11 June 2016 21:02:45)
- Sergei Avedisov, June 2016 + (13 June 2016 17:33:05)
- Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems + (19 June 2016 15:08:26)
- File:CIDAR.png + (22 June 2016 02:21:34)
- Moclo + (29 June 2016 19:14:40)
- Aug 2016 meeting schedule + (4 August 2016 17:59:22)
- Alice: An information-rich autonomous vehicle for high-speed desert navigation + (20 August 2016 21:53:29)
- Group Schedule, Summer 2016 + (19 September 2016 17:41:37)
- Sep/Oct 2016 meeting schedule + (29 September 2016 03:22:36)
- Control design for hybrid systems with TuLiP: The temporal logic planning toolbox + (17 October 2016 15:41:29)
- Connected Cruise Control Design Using Probabilistic Model Checking + (17 October 2016 15:48:59)
- Quantifying Resource Competition and its Effects in the TX-TL System + (17 October 2016 15:59:46)
- Admin/Projects + (29 October 2016 16:12:22)
- Clare Hayes + (29 October 2016 16:31:50)
- Reed McCardell + (29 October 2016 16:34:17)
- Catharine (Cat) McGhan + (29 October 2016 16:36:31)
- Xinying (Cindy) Ren + (29 October 2016 16:37:36)
- Cell-Free Expression of Membrane Proteins with Applications to Drug Discovery + (29 October 2016 16:52:28)
- Nov 2016 meeting schedule + (11 November 2016 01:08:06)
- Improvement of E. coli transcription-translation (TX-TL) system + (19 November 2016 15:54:12)
- Victoria Hsiao + (19 November 2016 23:05:52)
- Resilient Risk-Aware Autonomy for the Exploration of Uncertain and Extreme Environments + (19 November 2016 23:09:56)
- Distributed Receding Horizon Control with Applications to Multi-Vehicle Formation Stabilization + (27 November 2016 00:54:42)
- User:Sdathath + (30 November 2016 12:19:46)
- Group Schedule, Fall 2016 + (2 December 2016 06:10:19)
- IFAC 2014 Plenary Talk: Specification, Verification and Synthesis for Networked Control Systems + (14 December 2016 19:28:16)
- SURF 2017: Scalable Robust Synthesis from Temporal Logic Specifications + (21 December 2016 06:38:01)
- File:2017 integrase SURF RLW.pdf + (2 January 2017 15:34:10)
- File:Integrase clock circuit.pdf + (2 January 2017 16:31:09)
- File:Nsf integrase clock.png + (2 January 2017 21:53:29)
- SURF 2017: Integrase based circuits for sequential and temporal control of gene expression + (3 January 2017 01:47:11)
- SURF 2017: Length and time scales of cell-cell signalling circuits in agar + (4 January 2017 00:17:22)
- Image gallery + (5 January 2017 19:01:03)
- File:Bfs-overview.png + (5 January 2017 19:01:43)
- File:Pmti11.png + (5 January 2017 19:02:58)
- File:Muri11-synbio.png + (5 January 2017 19:03:19)
- File:Afosr13-synbio.png + (5 January 2017 19:03:34)
- File:Nsf13-mpp.png + (5 January 2017 19:03:49)
- File:Icb13-synbio.png + (5 January 2017 19:04:09)
- File:Hfsp15-oscillators.png + (5 January 2017 19:04:28)
- File:Denso16-cpm.png + (5 January 2017 19:04:47)
- File:Vehical-overview.png + (5 January 2017 19:05:00)
- File:Kiss-architecture.png + (5 January 2017 19:06:10)
- File:Breadboards-process.png + (5 January 2017 19:06:19)
- File:Rate-regulator.png + (5 January 2017 19:06:35)
- File:Biomolecular-twoloop.png + (5 January 2017 19:06:46)
- File:Biomolecular-feedback.png + (5 January 2017 19:06:55)
- File:Slowncs-arch.png + (5 January 2017 19:07:06)
- File:Alice-gce.jpg + (5 January 2017 19:10:55)
- File:Dod16-vbff.pdf + (9 January 2017 23:03:59)
- SURF 2017 + (11 January 2017 16:38:24)
- SURF 2017: Data-driven models for temporal logic control + (11 January 2017 16:40:49)
- SURF 2017: Synthesizing flight software (FSW) discrete controllers from formal specifications + (11 January 2017 16:51:27)
- File:TuLiP-SCA.png + (11 January 2017 17:21:25)
- Synthesis of Control Protocols for Switched Electrical Power Systems for Commercial Applications with Safety Specifications + (13 January 2017 03:25:10)
- Fast Automatic Verification of Large-Scale Systems with Lookup Tables + (13 January 2017 03:35:09)
- Jan 2017 meeting schedule + (17 January 2017 15:35:45)
- Michaëlle Mayalu, Jan 2017 + (23 January 2017 16:35:23)
- Henrike Niederholtmeyer, Jan 2017 + (24 January 2017 21:13:41)
- SURF discussions, Jan 2017 + (25 January 2017 01:21:58)
- Leopold Green, 13 Feb 2017 + (11 February 2017 21:57:19)
- Consensus and Cooperation in Networked Multi-Agent Systems + (26 February 2017 15:26:02)
- Group Schedule, Winter 2017 + (27 February 2017 21:10:01)
- Mar 2017 meeting schedule + (5 March 2017 18:45:14)
- Repressing Integrase attachment site operation with CRISPR-Cas9 in E. coli + (6 March 2017 05:56:00)
- Engineering pulsatile communication in bacterial consortia + (6 March 2017 05:59:01)
- Enhancing tolerance to unexpected jumps in GR(1) games + (22 March 2017 07:22:18)
- The Effect of Compositional Context on Synthetic Gene Networks + (22 March 2017 07:41:04)
- Population regulation in microbial consortia using dual feedback control + (22 March 2017 21:40:20)
- The role of single occupancy effects on integrase dynamics in a cell-free system + (28 March 2017 06:00:40)
- AFOSR BRI, DARPA BioCon + (28 March 2017 06:07:20)
- SRC TerraSwarm, DENSO CPM + (17 April 2017 04:33:48)
- Hiding variables when decomposing specifications into GR(1) contracts + (17 April 2017 04:42:48)
- Preprint archive + (17 April 2017 05:12:35)
- Apr 2017 meeting schedule + (19 April 2017 15:25:22)
- SURF 2017: Genetically-Programmed Synthetic Cells and Multi-Cellular Machines + (1 May 2017 19:55:08)
- Group Schedule, Spring 2017 + (8 May 2017 17:59:21)
- May 2017 meeting schedule + (15 May 2017 00:41:47)
- Gabor Stepan, 30 May 2017 + (30 May 2017 16:19:18)
- Parallelizing Synthesis from Temporal Logic Specifications by Identifying Equicontrollable States + (23 July 2017 17:04:40)
- Learning-Based Abstractions for Nonlinear Constraint Solving + (23 July 2017 17:09:48)
- Synthesis of Correct-by-Construction Behavior Trees + (23 July 2017 17:16:30)
- Quantitative Modeling of Integrase Dynamics Using a Novel Python Toolbox for Parameter Inference in Synthetic Biology + (31 July 2017 14:38:40)
- Group Schedule, Summer 2017 + (28 August 2017 14:26:05)
- System-level studies of a cell-free transcription-translation platform for metabolic engineering + (4 September 2017 05:37:33)
- A Bayesian approach to inferring chemical signal timing and amplitude in a temporal logic gate using the cell population distributional response + (4 September 2017 14:47:53)
- File:Duncan bozenna.jpg + (25 September 2017 02:53:29)
- Decomposing GR(1) Games with Singleton Liveness Guarantees for Efficient Synthesis + (25 September 2017 03:10:08)
- An In Silico Modeling Toolbox for Rapid Prototyping of Circuits in a Biomolecular “Breadboard” System + (25 September 2017 03:13:30)
- Bozenna Pasik-Duncan, Sep 2017 + (27 September 2017 03:59:20)
- File:Karan Kalsi.jpg + (28 September 2017 16:28:03)
- Karan Kalsi, Oct 2017 + (3 October 2017 21:54:58)
- Programmable Molecular Technology Initiative + (7 October 2017 05:07:05)
- UTRC visit, 12 Oct 2017 + (11 October 2017 22:13:09)
- WASP visit, 16-17 Oct 2017 + (12 October 2017 05:26:20)
- Mary Dunlop, Oct 2017 + (20 October 2017 13:46:54)
- Resource Competition as a Source of Non-Minimum Phase Behavior in Transcription-Translation Systems + (29 October 2017 14:29:49)
- Analysis and design of a synthetic transcriptional network for exact adaptation + (29 October 2017 14:30:30)
- Quantifying Crosstalk in Biochemical Systems + (29 October 2017 14:30:39)
- Feedback architectures to regulate flux of components in artificial gene networks + (29 October 2017 14:30:48)
- File:Jpl-pdf17.png + (11 November 2017 21:24:00)
- File:Ncs-hierarchical.png + (12 November 2017 18:16:05)
- Group Schedule, Fall 2017 + (4 December 2017 06:34:49)
- UG meetings, Fall 2017 + (5 December 2017 14:04:08)
- SURF 2018: Experimental verification of a semi-autonomous vehicle design based on human intention + (8 December 2017 17:26:23)
- File:AVP.png + (8 December 2017 20:21:24)
- File:AVP contracts.png + (8 December 2017 20:21:58)
- SURF 2018: Resource Usage in TX-TL + (11 December 2017 22:00:20)
- CS 142, Fall 2017 + (13 December 2017 18:12:30)
- File:ASS DNAPEN.jpg + (14 December 2017 02:01:51)
- SURF 2018: Integrase-based genetic circuits + (14 December 2017 02:02:59)
- SURF 2018: Evolutionary Stability of Genetic Circuits + (15 December 2017 21:54:58)
- SURF 2017: Synthetic modules for control of bacterial growth + (16 December 2017 00:14:25)
- SURF 2018: Synthetic modules for regulation of bacterial growth + (16 December 2017 00:15:10)
- SURF 2018: Test design for temporal logic controllers + (16 December 2017 07:06:57)
- File:PARADOX.jpg + (16 December 2017 22:35:40)
- SURF 2018: Modeling the Effect of Intracellular Signaling Mechanisms on Population Dynamic Behaviors in the Context of Paradoxical Signaling + (16 December 2017 22:50:16)
- SURF 2018: Engineering metabolic cross-feeding relationships for robust microbial consortia + (18 December 2017 15:58:04)
- SURF 2018: Contract-based Design of Control Systems + (19 December 2017 07:00:13)
- Synthesizing flight software (FSW) discrete controllers from formal specifications + (22 December 2017 06:39:31)
- Model-guided Discovery and Optimization of Cell-based Sensors + (22 December 2017 06:39:47)
- The TerraSwarm Research Center + (22 December 2017 06:40:02)
- File:Icb-microbial.png + (1 January 2018 17:35:39)
- SURF 2018 + (3 January 2018 19:45:10)
- SURF discussions, Jan 2018 + (24 January 2018 08:01:32)
- EECI 2013: Automata Theory + (25 January 2018 01:15:50)
- Distributed Mission and Contingency Management for the DARPA Urban Challenge + (29 January 2018 06:57:31)
- UG meetings, Winter 2018 + (23 February 2018 00:09:24)
- Thoughts on publishing + (23 February 2018 01:13:59)
- John McManus, 5 Mar 2018 + (3 March 2018 21:37:15)
- Group Schedule, Winter 2018 + (6 March 2018 05:29:00)
- Emzo de los Santos, 12 Mar 2018 + (8 March 2018 05:18:10)
- Chelsea Hu, Apr 2018 + (9 April 2018 19:53:17)
- Ben Richards, 20 Apr 2018 + (17 April 2018 15:35:58)
- Stochastic systems courses + (2 May 2018 17:26:50)
- Siva Seetharaman, 10 May 2018 + (9 May 2018 20:12:52)
- CDS 110, Spring 2018 + (19 May 2018 23:05:42)
- UG meetings, Spring 2018 + (5 June 2018 17:33:28)
- Control of bacterial population density with population feedback and molecular sequestration + (19 June 2018 04:54:08)
- Modeling Dynamic Transcriptional Circuits with CRISPRi + (19 June 2018 05:04:54)
- Single day construction of multi-gene circuits with 3G assembly + (19 June 2018 05:10:34)
- Long-distance communication in synthetic bacterial consortia through active signal propagation + (19 June 2018 05:12:26)
- Voluntary lane-change policy synthesis with reactive control improvisation + (19 June 2018 05:25:18)
- Optimal Experiment Design and Leveraging Competition for Shared Resources in Cell-free Extracts + (19 June 2018 05:31:09)
- Length and time scales of cell-cell signaling circuits in agar + (14 July 2018 13:59:02)
- On-chip membrane protein cell-free expression enables development of a direct binding assay: A curious case of potassium channel KcsA-Kv1.3 + (15 July 2018 05:46:37)
- Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations + (15 July 2018 05:56:57)
- Andrew Halleran + (3 August 2018 12:07:19)
- Ania Baetica + (3 August 2018 12:10:16)
- Anandh Swaminathan + (3 August 2018 12:11:26)
- Chelsea Hu + (3 August 2018 12:12:22)
- Wenlong Xu, 14 Aug 2018 + (12 August 2018 06:49:43)
- File:Murray-14Dec16.jpg + (8 September 2018 17:26:57)
- RMM photos + (8 September 2018 17:28:18)
- Group Schedule, Spring 2018 + (8 September 2018 18:16:39)
- Group Schedule, Summer 2018 + (10 September 2018 20:45:43)
- Small comments on papers + (21 September 2018 01:19:18)
- Daniel Fremont, Sep 2018 + (21 September 2018 21:00:11)
- Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams + (26 September 2018 13:46:29)
- Cell-Free Extract Data Variability Reduction in the Presence of Structural Non-Identifiability + (26 September 2018 13:46:45)
- A modal interface contract theory for guarded input/output automata with an application in traffic system design + (8 October 2018 05:46:14)
- Risk-aware motion planning for automated vehicle among human-driven cars + (8 October 2018 05:49:28)
- File:Buildacell.png + (8 October 2018 05:56:49)
- User:Admin + (8 October 2018 05:57:11)
- Bode Lecture 2016: Future Directions in Control: A Look Backwards and Forwards + (23 October 2018 00:16:31)
- Group Schedule, Fall 2018 + (27 November 2018 07:51:45)
- File:Triple int.png + (28 November 2018 00:08:58)
- File:Double int.png + (28 November 2018 00:09:10)
- File:N integrator.png + (28 November 2018 00:19:45)
- SURF 2019: Geometry of Control-Invariant Sets + (28 November 2018 03:40:16)
- Paul Van den Hof, Dec 2018 + (7 December 2018 06:47:11)
- File:3-node Message Routing figure.png + (10 December 2018 18:33:08)
- File:Message Routing Schematic.png + (10 December 2018 18:58:14)
- SURF 2019: Engineering a synthetic high-bandwidth intercellular communication system through plasmid conjugation + (10 December 2018 23:12:23)
- UG meetings, Fall 2018 + (11 December 2018 01:23:38)
- CDS 131, Fall 2018 + (11 December 2018 15:28:18)
- SURF 2019: Modeling and Analysis on Robust Synthetic Consortia with Localized Functions + (12 December 2018 01:15:39)
- File:ADH evo stability.png + (12 December 2018 03:02:29)
- SURF 2019: Evolutionary Stability of Genetic Circuits + (12 December 2018 03:18:51)
- File:Aicb19-fieldprogrammable.png + (25 December 2018 22:27:01)
- File:Arl19-cellfree.png + (25 December 2018 22:47:08)
- File:Arl19-hybrid.png + (25 December 2018 22:57:35)
- File:Arl19-zebrafish.png + (25 December 2018 23:08:35)
- SURF 2019 + (26 December 2018 05:02:19)
- SURF 2019: River Mapping with Autonomous Surface Vehicles for Flood Hazard Monitoring + (26 December 2018 05:07:37)
- File:Thor-setup.png + (26 December 2018 05:08:47)
- Robust Estimation Framework with Semantic Measurements + (27 December 2018 05:12:36)