Search by property
From Murray Wiki
Jump to navigationJump to searchThis 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 + (Conference paper)
- Optimal nonlinear guidance with inner-loop feedback for hypersonic re-entry + (Conference paper)
- Model-Based Control of Cavity Oscillations, Part I: Experiments + (Conference paper)
- Synthesis of Control Protocols for Switched Electrical Power Systems for Commercial Applications with Safety Specifications + (Conference paper)
- Interfacing TuLiP with the JPL Statechart Autocoder: Initial progress toward synthesis of flight software from formal specifications + (Conference paper)
- Robust Model Predictive Control for Signal Temporal Logic Synthesis + (Conference paper)
- Stochastic Gene Expression in Single Gene Oscillator Variants + (Conference paper)
- Control design for hybrid systems with TuLiP: The temporal logic planning toolbox + (Conference paper)
- Enhancing tolerance to unexpected jumps in GR(1) games + (Conference paper)
- Connected Cruise Control Design Using Probabilistic Model Checking + (Conference paper)
- Quantifying Resource Competition and its Effects in the TX-TL System + (Conference paper)
- Fast Automatic Verification of Large-Scale Systems with Lookup Tables + (Conference paper)
- Repressing Integrase attachment site operation with CRISPR-Cas9 in E. coli + (Conference paper)
- Engineering pulsatile communication in bacterial consortia + (Conference paper)
- Hiding variables when decomposing specifications into GR(1) contracts + (Conference paper)
- Decomposing GR(1) Games with Singleton Liveness Guarantees for Efficient Synthesis + (Conference paper)
- Population regulation in microbial consortia using dual feedback control + (Conference paper)
- Parallelizing Synthesis from Temporal Logic Specifications by Identifying Equicontrollable States + (Conference paper)
- Learning-Based Abstractions for Nonlinear Constraint Solving + (Conference paper)
- Synthesis of Correct-by-Construction Behavior Trees + (Conference paper)
- A Bayesian approach to inferring chemical signal timing and amplitude in a temporal logic gate using the cell population distributional response + (Conference paper)
- An In Silico Modeling Toolbox for Rapid Prototyping of Circuits in a Biomolecular “Breadboard” System + (Conference paper)
- Towards Assume-Guarantee Profiles for Autonomous Vehicles + (Conference paper (submitted))
- A Robust Nonlinear Model Predictive Control Algorithm with a Safety Mode + (Conference paperp)
- Nonholonomic control systems: from steering to stabilization with sinuoids + (Conference version)
- Equilibrium Controllability for a Class of Mechanical Systems + (Conferencepaper)
- Control on the Sphere and Reduced Attitude Stabilization + (Converence paper)
- A Motion Planner for Nonholonomic Robots + (Downloading and printing FAQ)
- Rapid in vitro engineering of 16 two-input logic gates + (Downloading and printing FAQ)
- Trajectory generation for the N-trailer problem using Goursat normal form + (ERL memo)
- Future Directions in Control, Dynamics, and Systems: Overview, Grand Challenges, and New Courses + (Journal submission)
- Effective Transition Rates for Epitaxial Growth Using Fast Modulation + (Journal submission)
- Hard Limits And Performance Tradeoffs In A Class Of Sequestration Feedback Systems + (Journal submission)
- Synergistic dual positive feedback loops established by molecular sequestration generate robust bimodal response + (Journal Paper)
- UAV as a Reliable Wingman: A Flight Demonstration + (Journal Submission)
- Optimal LQG Control Across a Packet-Dropping Link + (Journal Submission)
- Linear DNA for rapid prototyping of synthetic biological circuits in an Escherichia coli based TX-TL cell-free system + (Journal Submission)
- Synthesis and Validation of Control Software For A Vehicular Electric Power Distribution Testbed + (Journal Submission)
- Design and implementation of a synthetic biomolecular concentration tracker + (Journal article)
- Discrete State Estimators for Systems on a Lattice + (Journal paper)
- Modelling Efficient Pisciform Swimming for Control + (Journal paper)
- On-chip membrane protein cell-free expression enables development of a direct binding assay: A curious case of potassium channel KcsA-Kv1.3 + (Journal paper)
- Engineering Transcriptional Regulator Effector Specificity Using Computational Design and In Vitro Rapid Prototyping: Developing a Vanillin Sensor + (Journal paper)
- Control Theory for Synthetic Biology: Recent Advances in System Characterization, Control Design, and Controller Implementation for Synthetic Biology + (Journal paper)
- Rapid cell-free forward engineering of novel genetic ring oscillators + (Journal paper)
- Characterizing and Prototyping Genetic Networks with Cell-Free Transcription-Translation Reactions + (Journal paper)
- Engineering Transcriptional Regulator Effector Specificity using Computational Design and In Vitro Rapid Prototyping: Developing a Vanillin Sensor + (Journal paper)
- Synthetic circuit for exact adaptation and fold-change detection + (Journal paper)
- A Contract-Based Methodology for Aircraft Electric Power System Design + (Journal paper)
- Protocols for Implementing an Escherichia coli Based TX-TL Cell-Free Expression System for Synthetic Biology + (Journal paper)