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

• Approximate Distributed Kalman Filtering in Sensor Networks with Quantifiable Performance  + (som05-ipsn)
• Robotic Manipulation with Flexible Link Fingers  + (ss97-phd)
• Design of a Toolbox of RNA Thermometers  + (sssm15-seed)
• Linear DNA for rapid prototyping of synthetic biological circuits in an Escherichia coli based TX-TL cell-free system  + (sun+13-acs-synbio)
• Protocols for Implementing an Escherichia coli Based TX-TL Cell-Free Expression System for Synthetic Biology  + (sun+13-jove)
• Efficient control synthesis for augmented finite transition systems with an application to switching protocols  + (sun+14-acc)
• Stochastic Gene Expression in Single Gene Oscillator Variants  + (swa+16-seed)
• Kalman Filtering Over A Packet-delaying Network: A Probabilistic Approach  + (sxm08-automatica)
• Characterizing and Prototyping Genetic Networks with Cell-Free Transcription-Translation Reactions  + (tak+15-methods)
• Polyhedral Cone Invariance Applied to Rendezvous of Multiple Agents  + (tfbm04-cdc)
• A Framework for Lyapunov Certificates for Multi-Vehicle Rendezvous Problems  + (tiw+04-acc)
• The Dynamic Sensor Coverage Problem  + (tjjm05-ifac)
• Uniting local and global controllers for the Caltech ducted fan  + (tkm97-acc)
• Limits on the Network Sensitivity Function for Multi-Agent Systems on a Graph  + (tm09-cds)
• Limits on the network sensitivity function for multi-agent systems on a graph  + (tm10-acc)
• Stability and Performance of Non-Homogeneous Multi-Agent Systems on a Graph  + (tm11-ifac)
• Robust Performance Analysis for a Class of Uncertain Nonlinear Systems  + (tm95-cdc)
• An Efficient Algorithm for Performance Analysis of Nonlinear Control Systems  + (tmd95-acc)
• Robot Navigation in Dense Human Crowds: the Case for Cooperation  + (tmmk13-icra)
• Trajectory generation for the N-trailer problem using Goursat normal form  + (tms93-erl)
• Nonholonomic control systems: from steering to stabilization with sinuoids  + (tmw95-ijc)
• On Synthesizing Robust Discrete Controllers under Modeling Uncertainty  + (tolm12-hscc)
• Compositional stability analysis based on dual decomposition  + (tpm09-cdc)
• An In Silico Modeling Toolbox for Rapid Prototyping of Circuits in a Biomolecular “Breadboard” System  + (tskm13-cdc)
• Decentralized Multi-Agent Optimization via Dual Decomposition  + (ttm11-ifac)

• Analysis of a Digital Clock for Molecular Computing  + (udm07-acc)

• On-chip membrane protein cell-free expression enables development of a direct binding assay: A curious case of potassium channel KcsA-Kv1.3  + (vai+18-anbio)
• Synergistic dual positive feedback loops established by molecular sequestration generate robust bimodal response  + (vem12-pnas)
• Population diversification in a yeast metabolic program promotes anticipation of environmental shifts  + (vzme14-biorxiv)
• Stabilization of Trajectories for Systems with Nonholonomic Constraints  + (wal+95-tac)
• Identification of Decision Rules in a Human-controlled System: Vehicles at a Traffic Intersection  + (wdm04-icra)
• UAV as a Reliable Wingman: A Flight Demonstration  + (whbkm06-tcst)
• BioCRNpyler: Compiling chemical reaction networks from biomolecular parts in diverse contexts  + (whp+20-iwbda)
• Model-Based Control of Cavity Oscillations, Part I: Experiments  + (wil+02-aiaa)
• A Geometric Perspective on Bifurcation Control  + (wm00-cdc)
• Vehicle Motion Planning Using Stream Functions  + (wm02-icra)
• Formal Verification of an Autonomous Vehicle System  + (wm08-cdc)
• Distributed Mission and Contingency Management for the DARPA Urban Challenge  + (wm08-ivcs)
• Optimal Control of Nonlinear Systems with Temporal Logic Specifications  + (wm13-isrr)
• Effects of Noise, Magnitude Saturation, and Rate Limits on Rotating Stall Control  + (wm97-cdc)
• Feedback Stabilization of Steady-State and Hopf Bifurcations  + (wm98a-cdc)
• Effects of Noise and Actuator Limits on Active Control of Rotating Stall and Surge  + (wm98b-cdc)
• Feedback Stabilization of Steady-State and Hopf Bifurcations: the Multi-input Case  + (wm99-cdc)
• Effects of Magnitude Saturation in Control of Bifurcations  + (wm99-ifac)
• Nonlinear Control Design for Rotating Stall and Surge with Magnetic Bearing Actuators  + (wpm99-cca)
• Receding Horizon Temporal Logic Planning for Dynamical Systems  + (wtm09-cdc)
• Automatic Synthesis of Robust Embedded Control Software  + (wtm10-aaai)
• Receding Horizon Control for Temporal Logic Specifications  + (wtm10-hscc)
• Receding Horizon Temporal Logic Planning  + (wtm10-tac)
• Robust Control of Uncertain Markov Decision Processes with Temporal Logic Specifications  + (wtm12-acc)
• Synthesis of Reactive Protocols for Vehicle-to-Vehicle Communication  + (wtm12-arxiv)