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
- Synthesis of Reactive Control Protocols for Differentially Flat Systems + (2012c)
- Bisimulations for Reasoning about Input-to-State Stability Properties of Hybrid Systems + (2012d)
- Performance Metrics for a Biomolecular Step Response + (2012e)
- Reactive Protocols for Aircraft Electric Power Distribution + (2012g)
- Quantifying Crosstalk in Biochemical Systems + (2012h)
- Optimal Control with Weighted Average Costs and Temporal Logic Specifications + (2012i)
- Synthesis of Reactive Switching Protocols from Temporal Logic Specifications + (2012j)
- Robot Navigation in Dense Human Crowds: the Case for Cooperation + (2012k)
- Motion planning in observations space with learned diffeomorphism models + (2012l)
- Patching task-level robot controllers based on a local μ-calculus formula + (2012m)
- Just-in-time synthesis for motion planning with temporal logic + (2012o)
- Biomolecular resource utilization in elementary cell-free gene circuits + (2012p)
- Design and Implementation of a Biomolecular Circuit for Tracking Protein Concentration + (2012q)
- Convex optimal uncertainty quantification: Algorithms and a case study in energy storage placement for power grids + (2012r)
- Computing Augmented Finite Transition Systems to Synthesize Switching Protocols for Polynomial Switched Systems + (2012s)
- Feedback architectures to regulate flux of components in artificial gene networks + (2012t)
- Pre-orders for Reasoning about Input-to-State Stability Properties of Hybrid Systems + (2012u)
- An Aircraft Electric Power Testbed for Validating Automatically Synthesized Reactive Control Protocols + (2012v)
- A Domain-Specific Language for Reactive Control Protocols for Aircraft Electric Power Systems + (2012w)
- Stability of Discrete Time Systems with Stochastically Delayed Feedback + (2012x)