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.

Search by property

A list of pages that have property "Funding" with value "Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems" annotated.

Showing below up to 10 results starting with #21.

View (previous 100 | next 100) (20 | 50 | 100 | 250 | 500)


    

List of results

  • Reactive Protocols for Aircraft Electric Power Distribution  +
  • Robust Control of Uncertain Markov Decision Processes with Temporal Logic Specifications  +
  • Synthesis of Reactive Control Protocols for Differentially Flat Systems  +
  • Towards Formal Synthesis of Reactive Controllers for Dexterous Robotic Manipulation  +
  • On Synthesizing Robust Discrete Controllers under Modeling Uncertainty  +
  • Synthesis of Switching Protocols from Temporal Logic Specifications  +
  • Temporal Logic Control of Switched Affine Systems with an Application in Fuel Balancing  +
  • Backtracking temporal logic synthesis for uncertain environments  +
  • Distributed Power Allocation for Vehicle Management Systems  +
  • Optimization-Based Navigation for the DARPA Grand Challenge  +
Retrieved from "https://murray.cds.caltech.edu/Special:SearchByProperty"

Navigation menu

Page actions

  • Special page

Page actions

  • Special page
  • Tools

Personal tools

  • Log in

Navigation

  • Main Page
  • Courses
  • Events
  • Preprints
  • Projects

Tools

  • Special pages
  • Printable version
Powered by MediaWikiPowered by Semantic MediaWiki
  • Privacy policy
  • About Murray Wiki
  • Disclaimers