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

• Global Dynamical Structure Reconstruction from Reconstructed Dynamical Structure Subnetworks: Applications to Biochemical Reaction Networks  + (Enoch Yeung, Jongmin Kim, Jorge Gonc ̧alves, and Richard M. Murray)
• Resource Competition as a Source of Non-Minimum Phase Behavior in Transcription-Translation Systems  + (Enoch Yeung, Jongmin Kim, Richard M. Murray)
• Quantifying Crosstalk in Biochemical Systems  + (Enoch Yeung, Jongmin Kim, Ye Yuan, Jorge Goncalves and Richard M. Murray)
• System identification of phosophorylation based insulator in a cell-free in vitro transcription-translation system  + (Enoch Yeung, Shaobin Guo, Richard M. Murray)
• Distributed Computation for Cooperative Control  + (Eric Klavins and Richard M. Murray)
• Optimal Control of Nonlinear Systems with Temporal Logic Specifications  + (Eric M. Wolff and Richard M. Murray)
• Optimal Control with Weighted Average Costs and Temporal Logic Specifications  + (Eric M. Wolff, Ufuk Topcu and Richard M. Murray)
• Robust Control of Uncertain Markov Decision Processes with Temporal Logic Specifications  + (Eric M. Wolff, Ufuk Topcu and Richard M. Murray)
• Automaton-Guided Controller Synthesis for Nonlinear Systems with 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)
• Optimization-based Control of Nonlinear Systems with Linear Temporal Logic Specifications  + (Eric M. Wolff, Ufuk Topcu, and Richard M. Murray)
• Optimal Control of Non-deterministic Systems for a Computationally Efficient Fragment of Temporal Logic  + (Eric M. Wolff, Ufuk Topcu, and Richard M. Murray)
• Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows  + (Apurva Badithela)
• Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications  + (Josefine B. Graebener)
• Robust Safe Control Synthesis with Disturbance Observer-Based Control Barrier Functions  + (Ersin Das)
• Hard Limits And Performance Tradeoffs In A Class Of Sequestration Feedback Systems  + (Noah Olsman)
• A geometric and structural approach to the analysis and design of biological circuit dynamics: a theory tailored for synthetic biology  + (John P. Marken)
• Systems Level Model of Dietary Effects on Cognition via the Microbiome-Gut-Brain Axis  + (Michaëlle N. Mayalu)
• A 65nm CMOS Living-Cell Dynamic Fluorescence Sensor with 1.05fA Sensitivity at 600/700nm Wavelengths  + (Fatemeh Aghimand)
• A Field-Deployable Arsenic Sensor Integrating Bacillus Megaterium with CMOS Technology  + (Chelsea Y Hu)
• 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)
• Planning and Optimization for Multi-Robot Planetary Cave Exploration under Intermittent Connectivity Constraints  + (Filip Klaesson)

• Learning pose estimation for UAV autonomous navigation and landing using visual-inertial sensor data  + (Francesca Baldini)

• Nonlinear Control of Mechanical Systems: A Reimannian Geometry Approach  + (Francesco Bullo)
• Experimental Comparison of Trajectory Trackers for a Car with Trailers  + (Francesco Bullo and Richard M. Murray)
• Trajectory tracking for fully actuated mechanical systems  + (Francesco Bullo and Richard M. Murray)
• Tracking for Fully Actuated Mechanical Systems: A Geometric Framework  + (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)
• Control education for societal-scale challenges: A community roadmap  + (John Anthony Rossiter)
• Analysis of primitive genetic interactions for the design of a genetic signal differentiator  + (Wolfgang Halter)
• Optimal Experiment Design and Leveraging Competition for Shared Resources in Cell-free Extracts  + (Wolfgang Halter)
• Metabolic engineering of Pseudomonas putida for production of vanillylamine from lignin-derived substrates  + (João Heitor Colombelli Manfrão-Netto)
• 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)
• End-to-End Safe Reinforcement Learning through Barrier Functions for Safety-Critical Continuous Control Tasks  + (Richard Cheng)
• Connected Cruise Control Design Using Probabilistic Model Checking  + (Jin I. Ge)
• The role of single occupancy effects on integrase dynamics in a cell-free system  + (Georgios Artavanis)
• Feedback architectures to regulate flux of components in artificial gene networks  + (Giulia Giordano, Elisa Franco and Richard M. Murray)
• System-level studies of a cell-free transcription-translation platform for metabolic engineering  + (Yong Y. Wu)
• Model of Paradoxical Signaling Regulated T-Cell Population Control for Design of Synthetic Circuits  + (Michaelle N. Mayalu)
• 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)