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
- Flat systems, equivalence and trajectory generation + (Phillipe Martin, Richard Murray, Pierre Rouchon)
- Design Space Exploration of the Violacein Pathway in Escherichia coli Based Cell-Free System + (Phuc H.B. Nguyen)
- Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design + (Inigo Incer)
- Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions + (Prithvi Akella)
- Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications + (Prithvi Akella)
- Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture + (Josefine Graebener)
- Dynamic State Estimation in Distributed Aircraft Electric Control Systems via Adaptive Submodularity + (Quentin Maillet Huan Xu, Necmiye Ozay and Richard M. Murray)
- Cone invariance and rendezvous of multiple agents + (R Bhattacharya, A Tiwari, J Fung, R Murray)
- Consensus and Cooperation in Networked Multi-Agent Systems + (R Olfati-Saber, J Fax, Richard M Murray)
- Consensus problems in networks of agents with switching topology and time-delays + (R Olfati-Saber, Richard M Murray)
- Active Control of Rotating Stall Using Pulsed Air Injection: A Parametric Study on a Low-Speed, Axial Flow Compressor + (R. D'Andrea, R. L. Behnken, R. M. Murray)
- Engineering Transcriptional Regulator Effector Specificity Using Computational Design and In Vitro Rapid Prototyping: Developing a Vanillin Sensor + (E. L. de los Santos)
- Model-Based Control of Cavity Oscillations, Part I: Experiments + (D. R. Williams)
- Optimizing protein expression in the One-Pot PURE system: Insights into reaction composition and translation efficiency + (Y. Zhang)
- On-chip membrane protein cell-free expression enables development of a direct binding assay: A curious case of potassium channel KcsA-Kv1.3 + (A. Vaisha)
- Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams + (P. Nilsson)
- Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations + (S. Haesaert)
- The RoboFlag Competition + (Raffaello D'Andrea and Richard M. Murray)
- Active Control of an Axial Flow Compressor via Pulsed Air Injection + (Raffaello D'Andrea, Robert L. Behnken, Richard M. Murray)
- Cone Invariance and Rendezvous of Multiple Agents + (Raktim Bhattacharya, Abhishek Tiwari, Jimmy Fung and Richard M. Murray)