Property:URL

From Murray Wiki

Jump to navigation Jump to search

"URL" is a type and predefined property provided by Semantic MediaWiki to represent URI/URL values. This property is pre-deployed (also known as special property) and comes with additional administrative privileges but can be used just like any other user-defined property.

This is a property of type URL.

Usage601

previous 20 20 50 100 250 500 next 20

Filter<p>The <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Property_page/Filter">search filter</a> allows the inclusion of <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Query_expressions">query expressions</a> such as <code>~</code> or <code>!</code>. The selected <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Query_engine">query engine</a> might also support case insensitive matching or other short expressions like:</p><ul><li><code>in:</code> result should include the term, e.g. '<code>in:Foo</code>'</li></ul><ul><li><code>not:</code> result should to not include the term, e.g. '<code>not:Bar</code>'</li></ul>

Showing 20 pages using this property.

C

Control design for hybrid systems with TuLiP: The temporal logic planning toolbox +

http://www.cds.caltech.edu/~ifilippi/pubs/2016 filippidis msc.pdf +

Communication and Sensing Trade-Offs in Decentralized Mobile Sensor Networks: A Cross-Layer Design Approach +

http://www.cds.caltech.edu/~murray/preprints/ +

Q

Quantification and Minimization of Crosstalk Sensitivity in Networks +

http://www.cds.caltech.edu/~murray/preprints/BM10b-arxiv.pdf +

L

Limits of probabilistic safety guarantees when considering human uncertainty +

http://www.cds.caltech.edu/~murray/preprints/aaaYY-place.pdf +

C

Constrained risk-averse Markov decision processes +

http://www.cds.caltech.edu/~murray/preprints/aaaYY-place.pdf +

A

Aspects of Geometric Mechanics and Control of Mechanical Systems +

http://www.cds.caltech.edu/~murray/preprints/adl95-phd.pdf +

F

Feasible Trajectories of Linear Dynamic Systems with Inequality Constraints Using Higher-Order Representations +

http://www.cds.caltech.edu/~murray/preprints/afm99-ifac.pdf +

Fast Automatic Verification of Large-Scale Systems with Lookup Tables +

http://www.cds.caltech.edu/~murray/preprints/ari+17-hscc s.pdf +

C

Control of Rotating Stall in a Low-Speed Axial Flow Compressor Using Pulsed Air Injection: Modeling, Simulations, and Experimental Validation +

http://www.cds.caltech.edu/~murray/preprints/bdm95-cdc.pdf +

E

Ellipsoidal Cones and Rendezvous of Multiple Agents +

http://www.cds.caltech.edu/~murray/preprints/bftm04-cdc.pdf +

M

Minimally Constrained Testing for Autonomy with Temporal Logic Specifications +

http://www.cds.caltech.edu/~murray/preprints/bgm22-rss.pdf +

O

On Measures of Non-Integrability of Pfaffian Systems +

http://www.cds.caltech.edu/~murray/preprints/bhsm96-ifac.pdf +

C

Characterizing the Effects of Air Injection on Compressor Performance for Use in Active Control of Rotating Stall +

http://www.cds.caltech.edu/~murray/preprints/blm97-turbo.pdf +

Conversion and Verification Procedure for Goal-Based Control Programs +

http://www.cds.caltech.edu/~murray/preprints/bm07-cds.pdf +

S

Safety Verification of Fault Tolerant Goal-based Control Programs with Estimation Uncertainty +

http://www.cds.caltech.edu/~murray/preprints/bm08-acc.pdf +

F

Failure Probability of Verifiable Goal-based Control Programs due to State Estimation Uncertainty +

http://www.cds.caltech.edu/~murray/preprints/bm08-cdc s.pdf +

P

Probabilistic Safety Analysis of Sensor-Driven Hybrid Automata +

http://www.cds.caltech.edu/~murray/preprints/bm09-hscc s.pdf +

A

Automatic Conversion Software for the Safety Verification of Goal-Based Control Programs +

http://www.cds.caltech.edu/~murray/preprints/bm09-icse s.pdf +

C

Control Program Verification for a Sample Titan Aerobot Mission +

http://www.cds.caltech.edu/~murray/preprints/bm09-infotech s.pdf +

N

Networks with the Smallest Average Distance and the Largest Average Clustering +

http://www.cds.caltech.edu/~murray/preprints/bm10-arxiv.pdf +

Retrieved from "https://murray.cds.caltech.edu/index.php?title=Property:URL&oldid=20098"

Navigation menu