Property:Type

From Murray Wiki
Jump to navigationJump to search

This is a property of type Text.

previous 202050100250500next 20
Showing 20 pages using this property.
C
Compositional stability analysis based on dual decomposition +
Preprint  +
A
Automatic Conversion Software for the Safety Verification of Goal-Based Control Programs +
Preprint  +
P
Probabilistic Safety Analysis of Sensor-Driven Hybrid Automata +
Preprint  +
O
On Quantized Consensus by Means of Gossip Algorithm -- Part II: Convergence Time +
Preprint  +
On Quantized Consensus by Means of Gossip Algorithm -- Part I: Convergence Proof +
Preprint  +
R
Real-valued average consensus over noisy quantized channels +
Preprint  +
C
Control Program Verification for a Sample Titan Aerobot Mission +
Preprint  +
O
Optimal Sensor Hop Selection: Sensor Energy Minimization and Network Lifetime Maximization with Guaranteed System Performance +
Preprint  +
K
Kalman Filtering Over A Packet-delaying Network: A Probabilistic Approach +
Preprint  +
Kalman Filtering Over A Packet Dropping Network: A Probabilistic Perspective +
Preprint  +
D
Design and performance of in vitro transcription rate regulatory circuit +
Preprint  +
P
Probabilistic Performance of State Estimation Across a Lossy Network +
Preprint  +
F
Formal Verification of an Autonomous Vehicle System +
Preprint  +
A
Analysis of Dynamics in Escaping Flight Initiation in Drosophila +
Preprint  +
F
Failure Probability of Verifiable Goal-based Control Programs due to State Estimation Uncertainty +
Preprint  +
M
Model reduction of interconnected linear systems +
Preprint  +
D
Distributed Mission and Contingency Management for the DARPA Urban Challenge +
Preprint  +
S
Situational Reasoning for Road Driving in an Urban Environment +
Preprint  +
A
A Framework for Low--Observable Tra jectory Generation in the Presence of Multiple Radars +
Preprint  +
C
Control Over a Packet Dropping Network with Norm Bounded Uncertainties +
Preprint  +
Retrieved from "https://murray.cds.caltech.edu/index.php?title=Property:Type&oldid=20371"