Search by property
From Murray Wiki
Jump to navigationJump to search
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 Estimation Framework with Semantic Measurements + (Alexei Harvard)
- An In Silico Modeling Toolbox for Rapid Prototyping of Circuits in a Biomolecular “Breadboard” System + (Jongmin Kim)
- Reactive motion planning with probabilistic safety guarantees + (Aaron D. Ames)
- Geometric Phases, Control Theory, and Robotics + (Richard M. Murray)
- Data-driven network models for genetic circuits from time-series data with incomplete measurements + (Enoch Yeung)
- Tunable integrase-mediated differentiation facilitates improved output of burdensome functions in E. coli + (Richard M. Murray)
- Theoretical Design of Paradoxical Signaling-Based Synthetic Population Control Circuit in E. coli + (Michaëlle N. Mayalu)
- Risk-Averse Planning Under Uncertainty + (Aaron D. Ames)
- Rules of the Road: Safety and Liveness Guarantees for Autonomous Vehicles + (Karena X. Cai)
- Real-Time Control Experiments for Instruction and Research at Caltech + (Richard M. Murray)
- A MATLAB toolbox for modeling genetic circuits in cell-free systems + (Richard M. Murray)
- System-level studies of a cell-free transcription-translation platform for metabolic engineering + (Harish Nagarajan)
- Proof of concept continuous event logging in living cells + (Andrey Shur)
- Robotic Control and Nonholonomic Motion Planning + (Richard M. Murray)
- A population-based temporal logic gate for timing and recording chemical events + (Paul W.K. Rothemund)
- Counter-example Guided Learning of Bounds on Environment Behavior + (Richard M. Murray)
- Modeling predicts that CRISPR-based activators, unlike CRISPR-based repressors, scale well with increasing gRNA competition and dCas9 bottlenecking + (Richard M. Murray)
- An automated model reduction tool to guide the design and analysis of synthetic biological circuits + (Ayush Pandey)
- Addressable, “Packet-Based” Intercellular Communication through Plasmid Conjugation + (John P. Marken)
- Bistable State Switch Enables Ultrasensitive Feedback Control in Heterogeneous Microbial Populations + (Christian Cuba Samaniego)
- Construction of an inducible amyloid expression circuit in Bacillus megaterium: A case study with CsgA and TasA + (Elin M. Larsson)
- Evaluation Metrics for Object Detection for Autonomous Systems + (Apurva Badithela)
- Characterization of Integrase and Excisionase Activity in Cell-free Protein Expression System Using a Modeling and Analysis Pipeline + (Ayush Pandey)
- Minimally Constrained Testing for Autonomy with Temporal Logic Specifications + (Apurva Badithela)
- Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications + (Aaron D. Ames)
- Context-Aided Variable Elimination for Requirement Engineering + (Albert Benveniste)
- A 65nm CMOS Living-Cell Dynamic Fluorescence Sensor with 1.05fA Sensitivity at 600/700nm Wavelengths + (Azita Emami)
- Control education for societal-scale challenges: A community roadmap + (Antonio Visioli)
- Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design + (Albert Benveniste)
- Development of cell-free transcription-translation systems in three soil Pseudomonads + (Elin M. Larsson)
- A chemical reaction network model of PURE + (Ayush Pandey)
- Engineering the soil bacterium Pseudomonas synxantha 2-79 into a ratiometric bioreporter for phosphorus limitation + (Dianne K. Newman)
- TRILL: Orchestrating Modular Deep-Learning Workflows for Democratized, Scalable Protein Analysis and Engineering + (Matt W. Thomson)
- Specifying and Analyzing Networked and Layered Control Systems Operating on Multiple Clocks + (Aaron Ames)
- Impact of Chemical Dynamics of Commercial PURE Systems on Malachite Green Aptamer Fluorescence + (Richard M. Murray)
- Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications + (Aaron D. Ames)
- Optimal Experiment Design and Leveraging Competition for Shared Resources in Cell-free Extracts + (Frank Allgower)
- A Case Study in Approximate Linearization: The Acrobot Example + (Richard M. Murray and John Hauser)
- Converting Smooth, Time-Varying, Asymptotic Stabilizers for Driftless Systems to Homogeneous, Exponential Stabilizers + (Richard M. Murray and Robert T. M'Closkey)
- Nonholonomic Motion Planning: Steering Using Sinusoids + (Richard M. Murray and S. Shankar Sastry)
- Online Control Customization via Optimization-Based Control + (Richard M. Murray et al.)
- Control Primitives for Robot Systems + (Richard M. Murray, D. Curtis Deno, Kristofer S. J. Pister, S. S. Sastry)
- Trajectory Generation for Mechanical Systems with Application to Robotic Locomotion + (Richard M. Murray, Joel W. Burdick, Scott D. Kelly, James Radford)
- Future Directions in Control in an Information-Rich World + (Richard M. Murray, Karl J. Astrom, Stephen P. Boyd, Roger W. Brockett, Gunter Stein)
- Differential Flatness of Mechanical Control Systems: A Catalog of Prototype Systems + (Richard M. Murray, Muruhan Rathinam, Willem Sluis)
- Appealing to a Non-traditional Audience: A New Approach to Teaching Feedback + (Richard M. Murray, Stephen Waydo, Lars B. Cremean, Hideo Mabuchi)
- Controller Synthesis for Constrained Flight Systems via Receding Horizon Optimization + (Richard M. Murray, William B. Dunbar, Reza Olfati Saber, Lars B. Cremean)
- Hard Limits And Performance Tradeoffs In A Class Of Sequestration Feedback Systems + (Ania-Ariadna Baetica)
- Robust Model Predictive Control with a Safety Mode: Applied to Small-Body Proximity Operations + (Behcet Acikmese)
- A Bayesian approach to inferring chemical signal timing and amplitude in a temporal logic gate using the cell population distributional response + (Ania-Ariadna Baetica)
- Nonlinear Control and Modeling of Rotating Stall in an Axial Flow Compressor + (Robert L. Behnken)
- Combined Air Injection Control of Rotating Stall and Bleed Valve Control of Surge + (Robert L. Behnken and Richard M. Murray)
- Characterizing the Effects of Air Injection on Compressor Performance for Use in Active Control of Rotating Stall + (Robert L. Behnken, Mina Leung, and Richard M. Murray)
- Control of Rotating Stall in a Low-Speed Axial Flow Compressor Using Pulsed Air Injection: Modeling, Simulations, and Experimental Validation + (Robert L. Behnken, Raffaello D'Andrea, Richard M. Murray)
- Experiments in Exponential Stabilization of a Mobile Robot Towing a Trailer + (Robert M'Closkey and Richard M. Murray)
- An Iterative Abstraction Algorithm for Reactive Correct-by-Construction Controller Synthesis + (Robert Mattila, Yilin Mo and Richard M. Murray)
- Synthesis and Validation of Control Software For A Vehicular Electric Power Distribution Testbed + (Robert Rogersten, Huan Xu, Necmiye Ozay, Ufuk Topcu and Richard M. Murray)
- An Aircraft Electric Power Testbed for Validating Automatically Synthesized Reactive Control Protocols + (Robert Rogersten, Huan Xu, Necmiye Ozay, Ufuk Topcu, and Richard M. Murray)
- Exponential Stabilization of Driftless Nonlinear Control Systems + (Robert T. M'Closkey)
- Extending Exponential Stabilizers for Nonholonomic Systems from Kinematic Controllers to Dynamic Controllers + (Robert T. M'Closkey and Richard M. Murray)
- Exponential Stabilization of Driftless Nonlinear Control Systems via Time-varying, Homogeneous Feedback + (Robert T. M'Closkey and Richard M. Murray)
- Design of a Toolbox of RNA Thermometers + (Rohit Satija, Shaunak Sen, Dan Siegal-Gaskins, Richard M. Murray)
- Tunable integrase-mediated differentiation facilitates improved output of burdensome functions in E. coli + (Rory L. Williams)
- Integrase-mediated differentiation circuits improve evolutionary stability of burdensome and toxic functions in E. coli + (Rory L. Williams and Richard M. Murray)
- The Python Control Systems Library (python-control) + (Sawyer Fuller)
- On-chip membrane protein cell-free expression enables development of a direct binding assay: A curious case of potassium channel KcsA-Kv1.3 + (A. Vaisha)
- Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams + (P. Nilsson)
- Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations + (S. Haesaert)
- Engineering Transcriptional Regulator Effector Specificity Using Computational Design and In Vitro Rapid Prototyping: Developing a Vanillin Sensor + (E. L. de los Santos)
- UAV as a Reliable Wingman: A Flight Demonstration + (S. Waydo, J. Hauser, R. Bailey, E. Klavins, R.M. Murray)
- Dynamic Separation Control in a Low-Speed Asymmetric Diffuser with Varying Downstream Boundary Condition + (Samantha H. Feakins, Douglas G. MacMartin, Richard M. Murray)
- Robust Model Predictive Control for Signal Temporal Logic Synthesis + (Samira S. Farahani)
- Model Predictive Control for an Uncertain Smart Thermal Grid + (Samira S. Farahani, Zofia Lukszo, Tamas Keviczky, Bart De Schutter, Richard M. Murray)
- Modeling predicts that CRISPR-based activators, unlike CRISPR-based repressors, scale well with increasing gRNA competition and dCas9 bottlenecking + (Samuel Clamons)
- Modeling Dynamic Transcriptional Circuits with CRISPRi + (Samuel E Clamons)
- Analysis of Circuits for Dosage Control in Microbial Populations + (Sophie J. Walton)
- How to model DNA replication in stochastic models of synthetic genetic circuits (and why) + (Samuel E. Clamons)
- Towards Formal Synthesis of Reactive Controllers for Dexterous Robotic Manipulation + (Sandeep Chinchali, Scott C. Livingston, Ufuk Topcu, Joel W. Burdick, and Richard M. Murray)
- Context-Aided Variable Elimination for Requirement Engineering + (Inigo Incer)
- Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design + (Inigo Incer)
- A 65nm CMOS Living-Cell Dynamic Fluorescence Sensor with 1.05fA Sensitivity at 600/700nm Wavelengths + (Fatemeh Aghimand)
- Flight control in a flapping-wing fruit fly simulator + (Sawyer B Fuller, Michael Epstein, Stephen Waydo, Will B Dickson, rew D Straw, Michael H Dickinson, Richard M Murray)
- A hovercraft robot that uses insect-inspired visual autocorrelation for motion control in a corridor + (Sawyer Fuller and Richard M. Murray)
- Control design for hybrid systems with TuLiP: The temporal logic planning toolbox + (Ioannis Filippidis)
- Interfacing TuLiP with the JPL Statechart Autocoder: Initial progress toward synthesis of flight software from formal specifications + (Sumanth Dathathri)
- Enhancing tolerance to unexpected jumps in GR(1) games + (Sumanth Dathathri)
- Identifying and exploiting tolerance to unexpected jumps in synthesized strategies for GR(1) specifications + (Sumanth Dathathri)
- Just-in-time synthesis for motion planning with temporal logic + (Scott C. Livingston and Richard M. Murray)
- Moving bounding boxes and incremental synthesis for dynamic obstacles + (Scott C. Livingston and Richard M. Murray)
- Hot-swapping robot task goals in reactive formal synthesis + (Scott C. Livingston and Richard M. Murray)
- Cross-entropy Temporal Logic Motion Planning + (Scott C. Livingston, Eric M. Wolff, Richard M. Murray)
- Patching task-level robot controllers based on a local μ-calculus formula + (Scott C. Livingston, Pavithra Prabhakar, Alex B. Jose and Richard M. Murray)
- Backtracking temporal logic synthesis for uncertain environments + (Scott C. Livingston, Richard M. Murray and Joel W. Burdick)
- The Mechanics and Control of Robotic Locomotion with Applications to Aquatic Vehicles + (Scott D. Kelly)
- Lagrangian Mechanics and Carangiform Locomotion + (Scott D. Kelly and Richard M. Murray)
- The Geometry and Control of Dissipative Systems + (Scott D. Kelly and Richard M. Murray)
- Geometric Phases and Robotic Locomotion + (Scott D. Kelly and Richard M. Murray)
- Modelling Efficient Pisciform Swimming for Control + (Scott D. Kelly and Richard M. Murray)
- Modelling and Experimental Investigation of Carangiform Locomotion for Control + (Scott D. Kelly, Richard J. Mason, Carl T. Anhalt, Richard M. Murray, Joel W. Burdick)
- Planning and Optimization for Multi-Robot Planetary Cave Exploration under Intermittent Connectivity Constraints + (Filip Klaesson)