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

• Synthesis from multi-paradigm specifications  + (Ioannis Filippidis, Richard M. Murray and Gerard J. Holzmann)
• Control design for hybrid systems with TuLiP: The temporal logic planning toolbox  + (Ioannis Filippidis)
• Layering assume-guarantee contracts for hierarchical system design  + (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)
• Parallelizing Synthesis from Temporal Logic Specifications by Identifying Equicontrollable States  + (Sumanth Dathathri)
• Symbolic construction of GR(1) contracts for systems with full information  + (Ioannis Filippidis and 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)
• 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)
• Engineering Transcriptional Regulator Effector Specificity Using Computational Design and In Vitro Rapid Prototyping: Developing a Vanillin Sensor  + (E. L. de los Santos)
• A Bayesian approach to inferring chemical signal timing and amplitude in a temporal logic gate using the cell population distributional response  + (Ania-Ariadna Baetica)
• A Model-Free Algorithm for Extremely Resilient Navigation  + (Christian J. Stromberger)
• Biophysical Constraints Arising from Compositional Context in Synthetic Gene Networks  + (Enoch Yeung)
• The Effect of Compositional Context on Synthetic Gene Networks  + (Enoch Yeung)

• Biophysical Constraints Arising from Compositional Context in Synthetic Gene Networks  + (James L. Beck)

• Long-distance communication in synthetic bacterial consortia through active signal propagation  + (James M Parkin)
• Length and time scales of cell-cell signaling circuits in agar  + (Joy Doong)
• Engineering pulsatile communication in bacterial consortia  + (James Parkin)
• The Python Control Systems Library (python-control)  + (Sawyer Fuller)
• 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)
• Quantized Consensus via Adaptive Stochastic Gossip Algorithm  + (Javad Lavaei, Richard M Murray)
• Simple Delay-Based Implementation of Continuous-Time Controllers  + (Javad Lavaei, Somayeh Sojoudi, 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)
• Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture  + (Josefine Graebener)
• Data-driven network models for genetic circuits from time-series data with incomplete measurements  + (Enoch Yeung)
• Coarse analysis of multiscale systems: diffuser flows, charged particle motion, and connections to averaging theory  + (Jimmy Fung)
• Connected Cruise Control Design Using Probabilistic Model Checking  + (Jin I. Ge)
• Risk-aware motion planning for automated vehicle among human-driven cars  + (Jin I. Ge)
• Voluntary lane-change policy synthesis with reactive control improvisation  + (Jin I. Ge 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)
• Limits of probabilistic safety guarantees when considering human uncertainty  + (Richard Cheng)
• End-to-End Safe Reinforcement Learning through Barrier Functions for Safety-Critical Continuous Control Tasks  + (Richard Cheng)
• 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)
• Control education for societal-scale challenges: A community roadmap  + (John Anthony Rossiter)
• A Field-Deployable Arsenic Sensor Integrating Bacillus Megaterium with CMOS Technology  + (Chelsea Y Hu)
• A Method for Cost-Effective and Rapid Characterization of Genetic Parts  + (John B. McManus)
• 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)