Search by property
From MurrayWiki
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
- Failure Probability of Verifiable Goal-based Control Programs due to State Estimation Uncertainty + (Julia M B Braman, Richard M Murray)
- Control Program Verification for a Sample Titan Aerobot Mission + (Julia M B Braman, Richard M Murray)
- Probabilistic Safety Analysis of Sensor-Driven Hybrid Automata + (Julia M B Braman, Richard M Murray)
- Automatic Conversion Software for the Safety Verification of Goal-Based Control Programs + (Julia M B Braman, Richard M Murray)
- Safety Verification of Fault Tolerant Goal-based Control Programs with Estimation Uncertainty + (Julia M B Braman, Richard M Murray)
- Synthesis of Switching Protocols from Temporal Logic Specifications + (Jun Liu, Necmiye Ozay, Ufuk Topcu and Richard M. Murray)
- Synthesis of Reactive Switching Protocols from Temporal Logic Specifications + (Jun Liu, Necmiye Ozay, Ufuk Topcu, and Richard M. Murray)
- Synthesis of Reactive Control Protocols for Differentially Flat Systems + (Jun Liu, Ufuk Topcu, Necmiye Ozay, and Richard M. Murray)
- Nonlinear Control Methods for Planar Carangiform Robot Fish + (K. A. Morgansen, V. Duindam, R. J. Mason, J. W. Burdick and R. M. Murray)
- Robust Estimation Framework with Semantic Measurements + (Karena X. Cai, Alexei Harvard, Richard M. Murray, Soon-Jo Chung)
- Low-Observable Nonlinear Trajectory Generation for Unmanned Air Vehicles + (Kathy Misovec, Tamer Inanc, Jerry Wohletz, Richard Murray)
- Resource optimisation in a wireless sensor network with guaranteed estimator performance + (L Shi, A Capponi, K Johansson, R Murray)
- System architectures and environment modeling for high-speed autonomous navigation + (Lars B Cremean)
- Model-Based Estimation of Off-Highway Road Geometry using Single-Axis LADAR and Inertial Sensing + (Lars B. Cremean and Richard M. Murray)
- Stability Analysis of Interconnected Nonlinear Systems Under Matrix Feedback + (Lars B. Cremean and Richard M. Murray)
- Uncertainty-based Sensor Fusion of Range Data for Real-time Digital Elevation Mapping (RTDEM) + (Lars Cremean and Richard M. Murray)
- The Caltech Multi-Vehicle Wireless Testbed + (Lars Cremean, William Dunbar, David van Gogh, Jason Hickey, Eric Klavins, Jason Meltzer, Richard M. Murray)
- Bacterial Controller Aided Wound Healing: A Case Study in Dynamical Population Controller Design + (Leopold N. Green, Chelsea Y. Hu, Xinying Y. Ren, Richard M. Murray)
- Towards a Packet-based Control Theory - Part II: Rate Issues + (Ling Shi and Richard M. Murray)
- Towards a Packet-Based Control Theory - Part I: Stabilization over a Packet-Based Network + (Ling Shi and Richard M. Murray)
- Estimation Over Wireless Sensor Networks: Tradeoff between Communication, Computation and Estimation Qualities + (Ling Shi, Karl Henrik Johansson, Richard M Murray)