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
- A Domain-Specific Language for Reactive Control Protocols for Aircraft Electric Power Systems + (Huan Xu, Necmiye Ozay and Richard M. Murray)
- Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution + (Huan Xu, Ufuk Topcu, and Richard M. Murray)
- Reactive Protocols for Aircraft Electric Power Distribution + (Huan Xu, Ufuk Topcu, and Richard M. Murray)
- Decentralized Multi-Agent Optimization via Dual Decomposition + (Håkan Terelius, Ufuk Topcu, Richard M Murray)
- Synthesis from multi-paradigm specifications + (Ioannis Filippidis, Richard M. Murray and Gerard J. Holzmann)
- Symbolic construction of GR(1) contracts for systems with full information + (Ioannis Filippidis and Richard M. Murray)
- Strategy-Driven Partitioning into Switching Modes for Piecewise-Affine Systems with Continuous Environments + (Ioannis Filippidis and Richard M. Murray)
- Hiding variables when decomposing specifications into GR(1) contracts + (Ioannis Filippidis and Richard M. Murray)
- Layering assume-guarantee contracts for hierarchical system design + (Ioannis Filippidis and Richard M. Murray)
- Control design for hybrid systems with TuLiP: The temporal logic planning toolbox + (Ioannis Filippidis, Sumanth Dathathri, Scott C. Livingston, Necmiye Ozay, Richard M. Murray)
- Control System Analysis on Symmetric Cones + (Ivan Papusha and Richard M. Murray)
- Collaborative System Identification via Parameter Consensus + (Ivan Papusha, Eugene Lavretsky and Richard M. Murray)
- A Motion Planner for Nonholonomic Robots + (J-P. Laumond, P. E. Jacobs, M. Taix and R. M. Murray)
- Robustness Analysis of Accelerometry Using an Electrostatically Suspended Gyroscope + (J. Alex Fax, Daniel A. Hill, and Richard M. Murray)
- Optimal and Cooperative Control of Vehicle Formations + (J. Alexander Fax)
- Information Flow and Cooperative Control of Vehicle Formations + (J. Alexander Fax and Richard M. Murray)
- Graph Laplacians and Stabilization of Vehicle Formations + (J. Alexander Fax and Richard M. Murray)
- Robust Performance Analysis for a Class of Uncertain Nonlinear Systems + (J. E. Tierno, R. M. Murray)
- An Efficient Algorithm for Performance Analysis of Nonlinear Control Systems + (J. E. Tierno, R. M. Murray, J. C. Doyle)
- Optimal nonlinear guidance with inner-loop feedback for hypersonic re-entry + (J. M. Carson III, M. S. Epstein, D. G. MacMynowski and R. M. Murray)
- Bio-Inspired Visuomotor Convergence in Navigation and Flight Control Systems + (J. Sean Humbert)
- A Control-Oriented Analysis of Bio-Inspired Visuomotor Convergence + (J. Sean Humbert and Richard M. Murray and Michael H. Dickinson)
- Sensorimotor Convergence in Visual Navigation and Flight Control Systems + (J. Sean Humbert, Richard M. Murray, Michael H. Dickinson)
- Long-distance communication in synthetic bacterial consortia through active signal propagation + (James M Parkin, Richard M Murray)
- Engineering pulsatile communication in bacterial consortia + (James Parkin, Victoria Hsiao, Richard M Murray)
- Quantized Consensus via Adaptive Stochastic Gossip Algorithm + (Javad Lavaei, Richard M Murray)
- On Quantized Consensus by Means of Gossip Algorithm -- Part II: Convergence Time + (Javad Lavaei, Richard M Murray)
- On Quantized Consensus by Means of Gossip Algorithm -- Part I: Convergence Proof + (Javad Lavaei, Richard M Murray)
- Delay-Based Controller Design for Continuous-Time and Hybrid Applications + (Javad Lavaei, Somayeh Sojoudi, Richard M Murray)
- Synthesis of Embedded Control Systems with High Sampling Frequencies + (Javad Lavaei, Somayeh Sojoudi, Richard M Murray)
- Simple Delay-Based Implementation of Continuous-Time Controllers + (Javad Lavaei, Somayeh Sojoudi, Richard M Murray)
- Coarse analysis of multiscale systems: diffuser flows, charged particle motion, and connections to averaging theory + (Jimmy Fung)
- Voluntary lane-change policy synthesis with reactive control improvisation + (Jin I. Ge and Richard M. Murray)
- Risk-aware motion planning for automated vehicle among human-driven cars + (Jin I. Ge, Bastian Schurmann, Richard M. Murray, and Matthias Althoff)
- Connected Cruise Control Design Using Probabilistic Model Checking + (Jin I. Ge, Gabor Orosz and Richard M. Murray)
- Sensing, Navigation and Reasoning Technologies for the DARPA Urban Challenge + (Joel W Burdick, Noel duToit, Andrew Howard, Christian Looman, Jeremy Ma, Richard M Murray, Tichakorn Wongpiromsarn)
- Delay-dependent Stability of Genetic Regulatory Networks + (Johan Ugander)
- Analysis of a Digital Clock for Molecular Computing + (Johan Ugander, Mary J Dunlop, Richard M Murray)
- A Method for Cost-Effective and Rapid Characterization of Engineered T7-based Transcription Factors by Cell-Free Protein Synthesis Reveals Insights into the Regulation of T7 RNA Polymerase-Driven Expression + (John B. McManus, Richard M. Murray, Peter A. Emanuel, Matthew W. Lux)
- Robust Nonlinear Control Theory with Applications to Aerospace Vehicles + (John C. Doyle and Richard M. Murray)
- Robust Model Predictive Control with a Safety Mode: Applied to Small-Body Proximity Operations + (John Carson, Behcet Acikmese, Richard Murray, and Douglas MacMynowski)
- A Robust Nonlinear Model Predictive Control Algorithm with a Safety Mode + (John M Carson, Behcet Acikmese, Richard M Murray, Douglas G MacMynowski)
- A robust model predictive control algorithm augmented with a reactive safety mode + (John M. Carson III, Behçet AçıkmeÅe, Richard M. Murray, Douglas G. MacMartin)
- A geometric and structural approach to the analysis and design of biological circuit dynamics: a theory tailored for synthetic biology + (John P. Marken, Fangzhou Xiao, Richard M. Murray)
- Addressable, “Packet-Based” Intercellular Communication through Plasmid Conjugation + (John P. Marken, Richard M. Murray)
- Nonlinear Trajectory Generation for the Caltech Multi-Vehicle Wireless Testbed + (Jonathan Chauvin, Laure Sinegre, Richard M. Murray)
- Analysis and design of a synthetic transcriptional network for exact adaptation + (Jongmin Kim and Richard M. Murray)
- Synthetic circuit for exact adaptation and fold-change detection + (Jongmin Kim, Ishan Khetarpal, Shaunak Sen and Richard M. Murray)
- Synthetic logic circuits using RNA aptamer against T7 RNA polymerase + (Jongmin Kim, Juan F Quijano, Enoch Yeung, Richard M Murray)
- Length and time scales of cell-cell signaling circuits in agar + (Joy Doong, James Parkin, Richard M. Murray)