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
- Conversion and Verification Procedure for Goal-Based Control Programs + (bm07-cds)
- Safety Verification of Fault Tolerant Goal-based Control Programs with Estimation Uncertainty + (bm08-acc)
- Failure Probability of Verifiable Goal-based Control Programs due to State Estimation Uncertainty + (bm08-cdc)
- Probabilistic Safety Analysis of Sensor-Driven Hybrid Automata + (bm09-hscc)
- Automatic Conversion Software for the Safety Verification of Goal-Based Control Programs + (bm09-icse)
- Control Program Verification for a Sample Titan Aerobot Mission + (bm09-infotech)
- Networks with the Smallest Average Distance and the Largest Average Clustering + (bm10-arxiv)
- Quantification and Minimization of Crosstalk Sensitivity in Networks + (bm10b-arvix)
- Extremal Properties of Complex Networks + (bm11-arxiv)
- Proportional Derivative (PD) Control on the Euclidean Group + (bm95-ecc)
- Combined Air Injection Control of Rotating Stall and Bleed Valve Control of Surge + (bm97-acc)
- Tracking for Fully Actuated Mechanical Systems: A Geometric Framework + (bm97-cds)
- Trajectory tracking for fully actuated mechanical systems + (bm97-ecc)
- Control on the Sphere and Reduced Attitude Stabilization + (bms95-nolcos)
- Passive Control of Flutter and Forced Response in Bladed Disks via Mistuning + (bs99-phd)
- Cone Invariance and Rendezvous of Multiple Agents + (btfm06-tac)
- Sensing, Navigation and Reasoning Technologies for the DARPA Urban Challenge + (bur+07-dgc)
- Evaluation Metrics of Object Detection for Quantitative System-Level Analysis of Autonomous Systems + (bwm23-iros)
- A stochastic framework for the design of transient and steady state behavior of biochemical reaction networks + (bygm15-cdc)
- Robust Model Predictive Control with a Safety Mode: Applied to Small-Body Proximity Operations + (camm08-aiaa)