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