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
- 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)
- 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)