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

• State Estimation Utilization Multiple Description Coding over Lossy Networks  + (Zhipu Jin, Vijay Gupta, Babak Hassibi, Richard M. Murray)
• State Estimation Over Packet Dropping Networks Using Multiple Description Coding  + (Zhipu Jin, Vijay Gupta, Richard M. Murray)
• A chemical reaction network model of PURE  + (Zoila Jurado)
• Impact of Chemical Dynamics of Commercial PURE Systems on Malachite Green Aptamer Fluorescence  + (Zoila Jurado)
• An In Silico Modeling Toolbox for Rapid Prototyping of Circuits in a Biomolecular “Breadboard” System  + (Zoltan A. Tuza)
• A MATLAB toolbox for modeling genetic circuits in cell-free systems  + (Vipul Singhal)
• BioCRNpyler: Compiling chemical reaction networks from biomolecular parts in diverse contexts  + (William Poole)
• Robust Model Predictive Control with a Safety Mode: Applied to Small-Body Proximity Operations  + (John Carson)
• Model-Based Control of Cavity Oscillations, Part I: Experiments  + (D. R. Williams)
• Risk-aware motion planning for automated vehicle among human-driven cars  + (Jin I. Ge)
• Synthesis of Correct-by-Construction Behavior Trees  + (Michele Colledanchise)

• Invariant Sets for Integrators and Quadrotor Obstacle Avoidance  + (and Richard M. Murray)
• Interfacing TuLiP with the JPL Statechart Autocoder: Initial progress toward synthesis of flight software from formal specifications  + (and Richard M. Murray)
• Control Theory for Synthetic Biology: Recent Advances in System Characterization, Control Design, and Controller Implementation for Synthetic Biology  + (and Richard M. Murray)
• A modal interface contract theory for guarded input/output automata with an application in traffic system design  + (and Richard M. Murray)
• Robust Model Predictive Control for Signal Temporal Logic Synthesis  + (and Richard M. Murray)
• Learning-Based Abstractions for Nonlinear Constraint Solving  + (and Richard M. Murray)
• Stochastic Gene Expression in Single Gene Oscillator Variants  + (and Richard M. Murray)
• Reasoning over Test Specifications using Assume-Guarantee Contracts  + (and Richard M. Murray)
• Evaluation Metrics of Object Detection for Quantitative System-Level Analysis of Autonomous Systems  + (and Richard M. Murray)
• A Model-Free Algorithm for Extremely Resilient Navigation  + (and Richard M. Murray)
• Fast and flexible simulation and parameter estimation for synthetic biology using bioscrape  + (and Richard M. Murray)