Pages that link to "Template:HTDB paper"
From Murray Wiki
Jump to navigationJump to search
The following pages link to Template:HTDB paper:
Displayed 50 items.
- A bio-plausible design for visual attitude stabilization (transclusion) (← links)
- Receding Horizon Temporal Logic Planning for Dynamical Systems (transclusion) (← links)
- Geometric Control of Particle Manipulation in a Two-Dimensional Fluid (transclusion) (← links)
- Design of insulating devices for in vitro synthetic circuits (transclusion) (← links)
- Compositional stability analysis based on dual decomposition (transclusion) (← links)
- Communication and sensing trade-offs in cooperative mobile networks (transclusion) (← links)
- Regulatory activity revealed by dynamic correlations in gene expression noise (transclusion) (← links)
- Automatic Conversion Software for the Safety Verification of Goal-Based Control Programs (transclusion) (← links)
- Probabilistic Safety Analysis of Sensor-Driven Hybrid Automata (transclusion) (← links)
- On Quantized Consensus by Means of Gossip Algorithm -- Part II: Convergence Time (transclusion) (← links)
- On Quantized Consensus by Means of Gossip Algorithm -- Part I: Convergence Proof (transclusion) (← links)
- Real-valued average consensus over noisy quantized channels (transclusion) (← links)
- Control Program Verification for a Sample Titan Aerobot Mission (transclusion) (← links)
- Optimal Sensor Hop Selection: Sensor Energy Minimization and Network Lifetime Maximization with Guaranteed System Performance (transclusion) (← links)
- Kalman Filtering Over A Packet-delaying Network: A Probabilistic Approach (transclusion) (← links)
- Kalman Filtering Over A Packet Dropping Network: A Probabilistic Perspective (transclusion) (← links)
- Design and performance of in vitro transcription rate regulatory circuit (transclusion) (← links)
- Probabilistic Performance of State Estimation Across a Lossy Network (transclusion) (← links)
- Formal Verification of an Autonomous Vehicle System (transclusion) (← links)
- Analysis of Dynamics in Escaping Flight Initiation in Drosophila (transclusion) (← links)
- Failure Probability of Verifiable Goal-based Control Programs due to State Estimation Uncertainty (transclusion) (← links)
- Model reduction of interconnected linear systems (transclusion) (← links)
- Distributed Mission and Contingency Management for the DARPA Urban Challenge (transclusion) (← links)
- Situational Reasoning for Road Driving in an Urban Environment (transclusion) (← links)
- A Framework for Low--Observable Tra jectory Generation in the Presence of Multiple Radars (transclusion) (← links)
- Control Over a Packet Dropping Network with Norm Bounded Uncertainties (transclusion) (← links)
- Delay-dependent Stability of Genetic Regulatory Networks (transclusion) (← links)
- Real-time trajectory generation for constrained nonlinear dynamical systems using non-uniform rational B-spline basis functions (transclusion) (← links)
- Sensing, Navigation and Reasoning Technologies for the DARPA Urban Challenge (transclusion) (← links)
- Estimation schemes for networked control systems using UDP-like communication (transclusion) (← links)
- Flight control in a flapping-wing fruit fly simulator (transclusion) (← links)
- Conversion and Verification Procedure for Goal-Based Control Programs (transclusion) (← links)
- A Robust Nonlinear Model Predictive Control Algorithm with a Safety Mode (transclusion) (← links)
- Using Hierarchical Decomposition to Speed Up Average Consensus (transclusion) (← links)
- Estimation Over Wireless Sensor Networks: Tradeoff between Communication, Computation and Estimation Qualities (transclusion) (← links)
- Safety Verification of Fault Tolerant Goal-based Control Programs with Estimation Uncertainty (transclusion) (← links)
- Convergence Properties of Dynamic Agents Consensus Networks with Broken Links (transclusion) (← links)
- Nonlinear Lateral Control Strategy for Nonholonomic Vehicles (transclusion) (← links)
- Optimal LQG control across packet-dropping links (transclusion) (← links)
- Data Transmission over Networks for Estimation and Control (transclusion) (← links)
- Consensus Seeking Using Multi-Hop Relay Protocol (transclusion) (← links)
- Asynchronous Distributed Averaging on Communication Networks (transclusion) (← links)
- Recent research in cooperative control of multivehicle systems (transclusion) (← links)
- Consensus and Cooperation in Networked Multi-Agent Systems (transclusion) (← links)
- UAV as a Reliable Wingman: A Flight Demonstration (transclusion) (← links)
- Effective Sensor Scheduling Schemes in a Sensor Network by Employing Feedback in the Communication Loop (transclusion) (← links)
- Managing information in networked and multi-agent control systems (transclusion) (← links)
- A Multi-Model Approach to Identification of Biosynthetic Pathways (transclusion) (← links)
- Estimation over Communication Networks: Performance Bounds and Achievability Results (transclusion) (← links)
- Control Over a Network: Using Actuation Buffers to Reduce Transmission Frequency (transclusion) (← links)
