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

• A Framework for Low--Observable Tra jectory Generation in the Presence of Multiple Radars  +
• A Multi-Model Approach to Identification of Biosynthetic Pathways  +
• A bio-plausible design for visual attitude stabilization  +
• A bio-plausible design for visual pose stabilization  +
• A bootstrappable bio-plausible design for visual pose stabilization  +
• Alice: An information-rich autonomous vehicle for high-speed desert navigation  +
• Analysis of Circuits for Dosage Control in Microbial Populations  +
• Analysis of Dynamics in Escaping Flight Initiation in Drosophila  +
• Analysis of a Digital Clock for Molecular Computing  +
• Asynchronous Distributed Averaging on Communication Networks  +
• Automatic Conversion Software for the Safety Verification of Goal-Based Control Programs  +
• Automatic Synthesis of Robust Embedded Control Software  +
• Autonomous Driving in Urban Environments: Approaches, Lessons and Challenges  +
• Bootstrapping bilinear models of robotic sensorimotor cascades  +
• Compositional stability analysis based on dual decomposition  +
• Consensus Seeking Using Multi-Hop Relay Protocol  +
• Consensus and Cooperation in Networked Multi-Agent Systems  +
• Consensus problems in networks of agents with switching topology and time-delays  +
• Construction of an inducible amyloid expression circuit in Bacillus megaterium: A case study with CsgA and TasA  +
• Control Over a Network: Using Actuation Buffers to Reduce Transmission Frequency  +
• Control Over a Packet Dropping Network with Norm Bounded Uncertainties  +
• Control Program Verification for a Sample Titan Aerobot Mission  +
• Controlling biological networks by time-delayed signals  +
• Convergence Properties of Dynamic Agents Consensus Networks with Broken Links  +
• Conversion and Verification Procedure for Goal-Based Control Programs  +
• Data Transmission over Networks for Estimation and Control  +
• Decentralized Multi-Agent Optimization via Dual Decomposition  +
• Decomposition of Human Motion into Dynamics Based Primitives with Application to Drawing Tasks  +
• Decompositions for Control Systems on Manifolds with an Affine Connection  +
• Delay-Based Controller Design for Continuous-Time and Hybrid Applications  +
• Design and performance of in vitro transcription rate regulatory circuit  +
• Design of insulating devices for in vitro synthetic circuits  +
• Differentially Flat Systems with Inequality Constraints: An Approach to Real-Time Feasible Trajectory Generation  +
• Distributed Mission and Contingency Management for the DARPA Urban Challenge  +
• Distributed Synthesis of Control Protocols for Smart Camera Networks  +
• Dynamics and Stability of Low Reynolds Number Swimming Near a Wall  +
• Effective Sensor Scheduling Schemes in a Sensor Network by Employing Feedback in the Communication Loop  +
• Estimation Over Wireless Sensor Networks: Tradeoff between Communication, Computation and Estimation Qualities  +
• Estimation schemes for networked control systems using UDP-like communication  +
• Experimental Demonstration of the Dynamics and Stability of a Low Reynolds Number Swimmer Near a Plane Wall  +
• Failure Probability of Verifiable Goal-based Control Programs due to State Estimation Uncertainty  +
• Flight control in a flapping-wing fruit fly simulator  +
• Flight dynamics and control of evasive maneuvers: the fruit fly's takeoff  +
• Formal Verification of an Autonomous Vehicle System  +
• Geometric Control of Particle Manipulation in a Two-Dimensional Fluid  +
• Geometric Phases, Control Theory, and Robotics  +
• Graph Laplacians and Stabilization of Vehicle Formations  +
• How to model DNA replication in stochastic models of synthetic genetic circuits (and why)  +
• Kalman Filtering Over A Packet Dropping Network: A Probabilistic Perspective  +
• Kalman Filtering Over A Packet-delaying Network: A Probabilistic Approach  +