Search by property
From Murray Wiki
Jump to navigationJump to search
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
- Fast and flexible simulation and parameter estimation for synthetic biology using bioscrape + (Pan+23-JOSS)
- Time-Optimal Navigation in Uncertain Environments with High-Level Specifications + (RAMA21-cdc)
- Bistable State Switch Enables Ultrasensitive Feedback Control in Heterogeneous Microbial Populations + (RCMF21-acc)
- Control education for societal-scale challenges: A community roadmap + (Ros+23:ARC)
- A Model-Free Algorithm for Extremely Resilient Navigation + (SGRM23-ICRA)
- Proof of concept continuous event logging in living cells + (SM19-seed)
- A MATLAB toolbox for modeling genetic circuits in cell-free systems + (STSM21-oupsynbio)
- Analysis of Circuits for Dosage Control in Microbial Populations + (WCM20-biorxiv)
- Tunable integrase-mediated differentiation facilitates improved output of burdensome functions in E. coli + (WM19-biorxiv)
- Integrase-mediated differentiation circuits improve evolutionary stability of burdensome and toxic functions in E. coli + (WM22-NatureComms)
- Reactive motion planning with probabilistic safety guarantees + (YC+20-corl)
- Synthetic mammalian signaling circuits for robust cell population control + (YM+20-biorxiv)
- Data-driven network models for genetic circuits from time-series data with incomplete measurements + (Yeu+21-JRSI)
- Optimizing protein expression in the One-Pot PURE system: Insights into reaction composition and translation efficiency + (Zha+24-SEED)
- Aspects of Geometric Mechanics and Control of Mechanical Systems + (adl95-phd)
- Rapid prototyping of biomolecular circuits through module characterization in cell-free expression systems + (af15-ms)
- Feasible Trajectories of Linear Dynamic Systems with Inequality Constraints Using Higher-Order Representations + (afm99-ifac)
- The role of single occupancy effects on integrase dynamics in a cell-free system + (ahhm16-seed)
- Risk-Averse Planning Under Uncertainty + (ahm+20-acc)
- Fast Automatic Verification of Large-Scale Systems with Lookup Tables + (ari+17-hscc)
- A Bayesian approach to inferring chemical signal timing and amplitude in a temporal logic gate using the cell population distributional response + (bae+17-qbio)
- Control of Rotating Stall in a Low-Speed Axial Flow Compressor Using Pulsed Air Injection: Modeling, Simulations, and Experimental Validation + (bdm95-cdc)
- Ellipsoidal Cones and Rendezvous of Multiple Agents + (bftm04-cdc)
- Cone invariance and rendezvous of multiple agents + (bftm09-jae)
- Reasoning over Test Specifications using Assume-Guarantee Contracts + (bgim23-nfm)
- On Measures of Non-Integrability of Pfaffian Systems + (bhsm96-ifac)
- Nonholonomic Mechanical Systems and Symmetry + (bkmm94-cds)
- Nonholonomic Mechanical Systems with Symmetry + (bkmm96-arma)
- Characterizing the Effects of Air Injection on Compressor Performance for Use in Active Control of Rotating Stall + (blm97-turbo)
- Guidelines for Designing the Antithetic Feedback Motif + (blom18-cellsys)
- Conversion and Verification Procedure for Goal-Based Control Programs + (bm07-cds)
- Safety Verification of Fault Tolerant Goal-based Control Programs with Estimation Uncertainty + (bm08-acc)
- Failure Probability of Verifiable Goal-based Control Programs due to State Estimation Uncertainty + (bm08-cdc)
- Probabilistic Safety Analysis of Sensor-Driven Hybrid Automata + (bm09-hscc)
- Automatic Conversion Software for the Safety Verification of Goal-Based Control Programs + (bm09-icse)
- Control Program Verification for a Sample Titan Aerobot Mission + (bm09-infotech)
- Networks with the Smallest Average Distance and the Largest Average Clustering + (bm10-arxiv)
- Quantification and Minimization of Crosstalk Sensitivity in Networks + (bm10b-arvix)
- Extremal Properties of Complex Networks + (bm11-arxiv)
- Proportional Derivative (PD) Control on the Euclidean Group + (bm95-ecc)
- Combined Air Injection Control of Rotating Stall and Bleed Valve Control of Surge + (bm97-acc)
- Tracking for Fully Actuated Mechanical Systems: A Geometric Framework + (bm97-cds)
- Trajectory tracking for fully actuated mechanical systems + (bm97-ecc)
- Control on the Sphere and Reduced Attitude Stabilization + (bms95-nolcos)
- Passive Control of Flutter and Forced Response in Bladed Disks via Mistuning + (bs99-phd)
- Cone Invariance and Rendezvous of Multiple Agents + (btfm06-tac)
- Sensing, Navigation and Reasoning Technologies for the DARPA Urban Challenge + (bur+07-dgc)
- Evaluation Metrics of Object Detection for Quantitative System-Level Analysis of Autonomous Systems + (bwm23-iros)
- A stochastic framework for the design of transient and steady state behavior of biochemical reaction networks + (bygm15-cdc)
- Robust Model Predictive Control with a Safety Mode: Applied to Small-Body Proximity Operations + (camm08-aiaa)
- A Robust Nonlinear Model Predictive Control Algorithm with a Safety Mode + (camm08-ifac)
- A robust model predictive control algorithm augmented with a reactive safety mode + (camm13-automatica)
- Autonomous Reorientation of a Manuever-Limited Spacecraft Under Simple Pointing Constraints + (cav97-eng)
- On Decentralized Classification using a Network of Mobile Sensors + (cbm05-icra)
- Synthesis of Control Protocols for Switched Electrical Power Systems for Commercial Applications with Safety Specifications + (ccom16-ssci)
- Counter-example Guided Learning of Bounds on Environment Behavior + (cdpm19-corl)
- Autonomous Driving in Urban Environments: Approaches, Lessons and Challenges + (cehm09-ptrs-a)
- Optimal nonlinear guidance with inner-loop feedback for hypersonic re-entry + (cemm06-acc)
- On a Decentralized Active Sensing Strategy using Mobile Sensor Platforms in a Network + (cgbm04-cdc)
- A bio-plausible design for visual attitude stabilization + (chfm09-cdc)
- Fault detection and isolation from uninterpreted data in robotic sensorimotor cascades + (chm12-icra)
- Robust Estimation Framework with Semantic Measurements + (chmc19-acc)
- Scheduling for Distributed Sensor Networks with Single Sensor Measurement per Time Step + (chu+04-icra)
- Nonlinear Control of Rotating Stall and Surge with Axisymmetric Bleed and Air Injection on Axial Flow Compressors + (chy98-phd)
- Towards Formal Synthesis of Reactive Controllers for Dexterous Robotic Manipulation + (cltbm12-icra)
- Stability Analysis of Interconnected Nonlinear Systems Under Matrix Feedback + (cm03-cdc)
- Uncertainty-based Sensor Fusion of Range Data for Real-time Digital Elevation Mapping (RTDEM) + (cm05-icra)
- Model-Based Estimation of Off-Highway Road Geometry using Single-Axis LADAR and Inertial Sensing + (cm06-icra)
- Real-valued average consensus over noisy quantized channels + (cm09-acc)
- Bootstrapping bilinear models of robotic sensorimotor cascades + (cm10-wafr)
- Uncertain semantics, representation nuisances, and necessary invariance properties of bootstrapping agents + (cm11-icdl)
- A group-theoretic approach to formalizing bootstrapping problems + (cm11-iros)
- Learning diffeomorphism models of robotic sensorimotor cascades + (cm12-icra)
- Bootstrapping bilinear models of simple vehicles + (cm13-ijrr)
- Modeling Dynamic Transcriptional Circuits with CRISPRi + (cm18-wqbio)
- How to model DNA replication in stochastic models of synthetic genetic circuits (and why) + (cm21-biorxiv)
- Synthesis of Correct-by-Construction Behavior Trees + (cmo17-iros)
- Motion planning in observations space with learned diffeomorphism models + (cnm13-icra)
- End-to-End Safe Reinforcement Learning through Barrier Functions for Safety-Critical Continuous Control Tasks + (comb19-aiaa)
- The Caltech Multi-Vehicle Wireless Testbed + (cre+02-cdc)
- Alice: An information-rich autonomous vehicle for high-speed desert navigation + (cre+06-jfr)
- Nonlinear Trajectory Generation for the Caltech Multi-Vehicle Wireless Testbed + (csm03-ecc)
- Learning-Based Abstractions for Nonlinear Constraint Solving + (dagm17-ijca)
- Estimation over Communication Networks: Performance Bounds and Achievability Results + (dan+06-cdc)
- Active Control of an Axial Flow Compressor via Pulsed Air Injection + (dbm95-cds)
- Active Control of Rotating Stall Using Pulsed Air Injection: A Parametric Study on a Low-Speed, Axial Flow Compressor + (dbm95-spie)
- State Estimation in Multi-Agent Decision and Control Systems + (ddv05-phd)
- A Multi-Model Approach to Identification of Biosynthetic Pathways + (dfm07-acc)
- Parallelizing Synthesis from Temporal Logic Specifications by Identifying Equicontrollable States + (dfm17-isrr)
- Inverse Abstraction of Neural Networks Using Symbolic Interpolation + (dgm19-aiaa)