Search by property

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

• Reasoning over Test Specifications using Assume-Guarantee Contracts  + (bgim23-nfm)
• On Measures of Non-Integrability of Pfaffian Systems  + (bhsm96-ifac)
• Nonholonomic Mechanical Systems and Symmetry  + (bkmm94-cds)
• Nonholonomic Mechanical Systems with Symmetry  + (bkmm96-arma)
• Characterizing the Effects of Air Injection on Compressor Performance for Use in Active Control of Rotating Stall  + (blm97-turbo)
• Guidelines for Designing the Antithetic Feedback Motif  + (blom18-cellsys)
• 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)
• Experimental Comparison of Trajectory Trackers for a Car with Trailers  + (bm96-ifac)
• 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)