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