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

• 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)
• Experimental Comparison of Trajectory Trackers for a Car with Trailers  + (bm96-ifac)
• 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)