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

• Optimal Control of Non-deterministic Systems for a Computationally Efficient Fragment of Temporal Logic  + (Eric M. Wolff, Ufuk Topcu, and Richard M. Murray)
• Efficient reactive controller synthesis for a fragment of linear temporal logic  + (Eric M. Wolff, Ufuk Topcu, and Richard M. Murray)
• Efficient control synthesis for augmented finite transition systems with an application to switching protocols  + (Fei Sun, Necmiye Ozay, Eric M. Wolff, Jun Liu and Richard M. Murray)
• Cooperative Task Planning of Multi-Robot Systems with Temporal Constraints  + (Feng-Li Lian and Richard M. Murray)
• Real-Time Trajectory Generation for the Cooperative Path Planning of Multi-Vehicle Systems  + (Feng-Li Lian and Richard M. Murray)
• Intermittent Connectivity for Exploration in Communication-Constrained Multi-Agent Systems  + (Filip Klaesson, Petter Nilsson, Aaron D. Ames and Richard M. Murray)
• Nonlinear Control of Mechanical Systems: A Reimannian Geometry Approach  + (Francesco Bullo)
• Tracking for Fully Actuated Mechanical Systems: A Geometric Framework  + (Francesco Bullo and Richard M. Murray)
• Trajectory tracking for fully actuated mechanical systems  + (Francesco Bullo and Richard M. Murray)
• Experimental Comparison of Trajectory Trackers for a Car with Trailers  + (Francesco Bullo and Richard M. Murray)
• Proportional Derivative (PD) Control on the Euclidean Group  + (Francesco Bullo and Richard Murray)
• Control on the Sphere and Reduced Attitude Stabilization  + (Francesco Bullo, Richard M. Murray, Augusto Sarti)
• Flight dynamics and control of evasive maneuvers: the fruit fly's takeoff  + (Francisco A Zabala, Gwyneth M Card, Ebraheem I Fontaine, Michael H Dickinson, Richard M Murray)
• Analysis of Dynamics in Escaping Flight Initiation in Drosophila  + (Francisco A Zabala, Gwyneth M Card, Ebraheem I Fontaine, Richard M Murray, Michael H Dickinson)
• Controlling biological networks by time-delayed signals  + (G Orosz, J Moehlis, Richard M Murray)
• Stabilization of Trajectories for Systems with Nonholonomic Constraints  + (G. Walsh, D. Tilbury, S. Sastry, R. Murray, and J-P. Laumond)
• The role of single occupancy effects on integrase dynamics in a cell-free system  + (Georgios Artavanis, Victoria Hsiao, Clarmyra A. Hayes, Richard M. Murray)
• Feedback architectures to regulate flux of components in artificial gene networks  + (Giulia Giordano, Elisa Franco and Richard M. Murray)
• Frequency-Weighted Model Reduction with Applications to Structured Models  + (Henrik Sandberg and Richard M. Murray)
• Model reduction of interconnected linear systems  + (Henrik Sandberg, Richard M Murray)
• Approximation of Subnetwork Models using Frequency-Domain Data  + (Henrik Sandberg, Richard M. Murray)
• Rapid cell-free forward engineering of novel genetic ring oscillators  + (Henrike Niederholtmeyer, Zachary Sun, Yutaka Hori, Enoch Yeung, Amanda Verpoorte, Richard M Murray and Sebastian J Maerkl)
• 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)