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

• 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+22-ploscompbio)
• 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)
• Optimal Control with Weighted Average Costs and Temporal Logic Specifications  + (wtm12-rss)
• Synthesis of Control Protocols for Autonomous Systems  + (wtm12-us)
• Optimal Control of Non-deterministic Systems for a Computationally Efficient Fragment of Temporal Logic  + (wtm13-cdc)

• Efficient reactive controller synthesis for a fragment of linear temporal logic  + (wtm13-icra)

• Automaton-Guided Controller Synthesis for Nonlinear Systems with Temporal Logic  + (wtm13-iros)
• Optimization-based Control of Nonlinear Systems with Linear Temporal Logic Specifications  + (wtm14-icra)
• TuLiP: A Software Toolbox for Receding Horizon Temporal Logic Planning  + (wtoxm11-hscc)
• Prototyping 1,4-butanediol (BDO) biosynthesis pathway in a cell-free transcription-translation (TX-TL) system  + (wu+15-seed)
• System-level studies of a cell-free transcription-translation platform for metabolic engineering  + (wu+17-biorxiv)
• Bifurcation Control of Rotating Stall with Actuator Magnitude and Rate Limits  + (wym99-automatica)
• A Domain-Specific Language for Reactive Control Protocols for Aircraft Electric Power Systems  + (xom13-hscc)
• Reactive Protocols for Aircraft Electric Power Distribution  + (xtm12-cdc)
• Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution  + (xtm13-tcns)
• Modeling Environmental Disturbances with the Chemical Master Equation  + (ybm13-cdc)
• Quantifying Crosstalk in Biochemical Systems  + (yeu+12-cdc)
• Modeling the Effects of Compositional Context on Promoter Activity in an E. Coli Extract based Transcription-Translation System  + (yeu+14-cdc)
• The Effect of Compositional Context on Synthetic Gene Networks  + (yeu+17-biorxiv)
• Biophysical Constraints Arising from Compositional Context in Synthetic Gene Networks  + (yeu+17-cellsys)
• System identification of phosophorylation based insulator in a cell-free in vitro transcription-translation system  + (ygm14-wqbio)
• Global Dynamical Structure Reconstruction from Reconstructed Dynamical Structure Subnetworks: Applications to Biochemical Reaction Networks  + (ykgm15-cdc)
• Resource Competition as a Source of Non-Minimum Phase Behavior in Transcription-Translation Systems  + (ykm13-cdc)
• Decentralised minimal-time dynamic consensus  + (ylmg12-acc)
• Reduction of Bleed Valve Bandwidth Requirements for Control of Rotating Stall using Continuous Air Injection  + (ym97-cca)
• Nonlinear Control of Rotating Stall Using Axisymmetric Bleed with Continuous Air Injection on a Low-Speed, Single Stage, Axial Compressor  + (ym97-jpc)
• Simultaneous Stabilization of Stall and Surge via Axisymmetric Air Injection  + (ym98-cca)
• Effects of Actuator Limits in Bifurcation Control with Applications to Active Control of Fluid Instabilities in Turbomachinery  + (yw00-phd)
• Evaluation of Bleed Valve Rate Requirements in Nonlinear Control of Rotating Stall  + (ywm98-jpp)
• Analysis of Dynamics in Escaping Flight Initiation in Drosophila  + (zab+08-biorob)
• Flight dynamics and control of evasive maneuvers: the fruit fly's takeoff  + (zab+09-tbme)