Search by property

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

• 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)