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

• 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)
• Optimal Control with Weighted Average Costs and Temporal Logic Specifications  + (wtm12-rss)