Oldest pages

Showing below up to 50 results in range #1,001 to #1,050.

1001. Geometric trajectory filtering via numerical conformal mapping (06:16, 15 May 2016)
1002. A group-theoretic approach to formalizing bootstrapping problems (06:16, 15 May 2016)
1003. Fault-Tolerant Controller Design with Applications in Power Systems and Synthetic Biology (06:16, 15 May 2016)
1004. TuLiP: A Software Toolbox for Receding Horizon Temporal Logic Planning (06:16, 15 May 2016)
1005. Quantification and Minimization of Crosstalk Sensitivity in Networks (06:16, 15 May 2016)
1006. Distributed Synthesis of Control Protocols for Smart Camera Networks (06:16, 15 May 2016)
1007. Stability and Performance of Non-Homogeneous Multi-Agent Systems on a Graph (06:16, 15 May 2016)
1008. Dynamics and Stability of Low Reynolds Number Swimming Near a Wall (06:16, 15 May 2016)
1009. Networks with the Smallest Average Distance and the Largest Average Clustering (06:16, 15 May 2016)
1010. Bootstrapping bilinear models of robotic sensorimotor cascades (06:16, 15 May 2016)
1011. Delay-Based Controller Design for Continuous-Time and Hybrid Applications (06:16, 15 May 2016)
1012. Resource optimisation in a wireless sensor network with guaranteed estimator performance (06:16, 15 May 2016)
1013. Receding Horizon Temporal Logic Planning (06:16, 15 May 2016)
1014. Tuning a synthetic in vitro oscillator using control-theoretic tools (06:16, 15 May 2016)
1015. Synthesis of Embedded Control Systems with High Sampling Frequencies (06:16, 15 May 2016)
1016. A bio-plausible design for visual pose stabilization (06:16, 15 May 2016)
1017. Automatic Synthesis of Robust Embedded Control Software (06:16, 15 May 2016)
1018. Cone invariance and rendezvous of multiple agents (06:16, 15 May 2016)
1019. Limits on the Network Sensitivity Function for Multi-Agent Systems on a Graph (06:16, 15 May 2016)
1020. Autonomous Driving in Urban Environments: Approaches, Lessons and Challenges (06:16, 15 May 2016)
1021. Receding Horizon Control for Temporal Logic Specifications (06:16, 15 May 2016)
1022. Experimental Demonstration of the Dynamics and Stability of a Low Reynolds Number Swimmer Near a Plane Wall (06:16, 15 May 2016)
1023. Limits on the network sensitivity function for multi-agent systems on a graph (06:16, 15 May 2016)
1024. Simple Delay-Based Implementation of Continuous-Time Controllers (06:16, 15 May 2016)
1025. Controlling biological networks by time-delayed signals (06:16, 15 May 2016)
1026. A bootstrappable bio-plausible design for visual pose stabilization (06:16, 15 May 2016)
1027. Dynamics and stability of a class of low Reynolds number swimmers near a wall (06:16, 15 May 2016)
1028. To Drop or Not to Drop: Design Principles for Kalman Filtering Over Wireless Fading Channels (06:16, 15 May 2016)
1029. Flight dynamics and control of evasive maneuvers: the fruit fly's takeoff (06:16, 15 May 2016)
1030. Quantized Consensus via Adaptive Stochastic Gossip Algorithm (06:16, 15 May 2016)
1031. Receding Horizon Temporal Logic Planning for Dynamical Systems (06:16, 15 May 2016)
1032. A bio-plausible design for visual attitude stabilization (06:16, 15 May 2016)
1033. Geometric Control of Particle Manipulation in a Two-Dimensional Fluid (06:16, 15 May 2016)
1034. Compositional stability analysis based on dual decomposition (06:16, 15 May 2016)
1035. Communication and sensing trade-offs in cooperative mobile networks (06:16, 15 May 2016)
1036. Regulatory activity revealed by dynamic correlations in gene expression noise (06:16, 15 May 2016)
1037. Automatic Conversion Software for the Safety Verification of Goal-Based Control Programs (06:16, 15 May 2016)
1038. Probabilistic Safety Analysis of Sensor-Driven Hybrid Automata (06:16, 15 May 2016)
1039. On Quantized Consensus by Means of Gossip Algorithm -- Part II: Convergence Time (06:16, 15 May 2016)
1040. On Quantized Consensus by Means of Gossip Algorithm -- Part I: Convergence Proof (06:16, 15 May 2016)
1041. Real-valued average consensus over noisy quantized channels (06:16, 15 May 2016)
1042. Control Program Verification for a Sample Titan Aerobot Mission (06:16, 15 May 2016)
1043. Optimal Sensor Hop Selection: Sensor Energy Minimization and Network Lifetime Maximization with Guaranteed System Performance (06:16, 15 May 2016)
1044. Kalman Filtering Over A Packet-delaying Network: A Probabilistic Approach (06:16, 15 May 2016)
1045. Kalman Filtering Over A Packet Dropping Network: A Probabilistic Perspective (06:16, 15 May 2016)
1046. Design and performance of in vitro transcription rate regulatory circuit (06:16, 15 May 2016)
1047. Probabilistic Performance of State Estimation Across a Lossy Network (06:16, 15 May 2016)
1048. Formal Verification of an Autonomous Vehicle System (06:16, 15 May 2016)
1049. Analysis of Dynamics in Escaping Flight Initiation in Drosophila (06:16, 15 May 2016)
1050. Model reduction of interconnected linear systems (06:16, 15 May 2016)