Pages with the most revisions

Showing below up to 50 results in range #1,801 to #1,850.

1801. Synthesis and Validation of Control Software For A Vehicular Electric Power Distribution Testbed‏‎ (1 revision)
1802. Synthesis from multi-paradigm specifications‏‎ (1 revision)
1803. Synthesis of Correct-by-Construction Behavior Trees‏‎ (1 revision)
1804. Synthesis of Correct-by-construction Control Protocols for Hybrid Systems Using Partial State Information‏‎ (1 revision)
1805. Synthesis of Distributed Longitudinal Control 1 Protocols for a Platoon of Autonomous Vehicles‏‎ (1 revision)
1806. Synthesis of Embedded Control Systems with High Sampling Frequencies‏‎ (1 revision)
1807. Synthesis of Reactive Control Protocols for Differentially Flat Systems‏‎ (1 revision)
1808. Synthesis of Reactive Protocols for Vehicle-to-Vehicle Communication‏‎ (1 revision)
1809. Synthesis of Reactive Switching Protocols from Temporal Logic Specifications‏‎ (1 revision)
1810. Synthesis of Switching Protocols from Temporal Logic Specifications‏‎ (1 revision)
1811. Synthesizing Combination Therapies for Evolutionary Dynamics of Disease for Nonlinear Pharmacodynamics‏‎ (1 revision)
1812. Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows‏‎ (1 revision)
1813. System architectures and environment modeling for high-speed autonomous navigation‏‎ (1 revision)
1814. System identification of phosophorylation based insulator in a cell-free in vitro transcription-translation system‏‎ (1 revision)
1815. Systematic Design and Implementation of a Novel Synthetic Fold-Change Detector Biocircuit In Vivo‏‎ (1 revision)
1816. Systems Level Model of Dietary Effects on Cognition via the Microbiome-Gut-Brain Axis‏‎ (1 revision)
1817. Temperature Dependence of Biomolecular Circuit Designs‏‎ (1 revision)
1818. Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations‏‎ (1 revision)
1819. The Dynamic Sensor Coverage Problem‏‎ (1 revision)
1820. The Dynamics of Thin Film Growth: A Modeling Study‏‎ (1 revision)
1821. The Effect of Compositional Context on Synthetic Gene Networks‏‎ (1 revision)
1822. The Effect of Sensor Health on State Estimation‏‎ (1 revision)
1823. The Geometry and Control of Dissipative Systems‏‎ (1 revision)
1824. The Mechanics and Control of Robotic Locomotion with Applications to Aquatic Vehicles‏‎ (1 revision)
1825. The RoboFlag Competition‏‎ (1 revision)
1826. The additional material and schedule of cds210.‏‎ (1 revision)
1827. The effects of time-varying temperature on delays in genetic networks‏‎ (1 revision)
1828. The last few slides went by too fast‏‎ (1 revision)
1829. Time-Delayed Feedback Channel Design: Discrete Time H infty Approach‏‎ (1 revision)
1830. To Drop or Not to Drop: Design Principles for Kalman Filtering Over Wireless Fading Channels‏‎ (1 revision)
1831. Tom Ellis‏‎ (1 revision)
1832. Towards Formal Synthesis of Reactive Controllers for Dexterous Robotic Manipulation‏‎ (1 revision)
1833. Towards Robust Control Over a Packet Dropping Network‏‎ (1 revision)
1834. Towards a Packet-Based Control Theory - Part I: Stabilization over a Packet-Based Network‏‎ (1 revision)
1835. Towards a Packet-based Control Theory - Part II: Rate Issues‏‎ (1 revision)
1836. Tracking for Fully Actuated Mechanical Systems: A Geometric Framework‏‎ (1 revision)
1837. Trajectory Generation for Mechanical Systems with Application to Robotic Locomotion‏‎ (1 revision)
1838. Trajectory Generation for Nonlinear Control Systems‏‎ (1 revision)
1839. Trajectory Generation for a Towed Cable System using Differential Flatness‏‎ (1 revision)
1840. Trajectory generation for the N-trailer problem using Goursat normal form‏‎ (1 revision)
1841. Trajectory tracking for fully actuated mechanical systems‏‎ (1 revision)
1842. TuLiP: A Software Toolbox for Receding Horizon Temporal Logic Planning‏‎ (1 revision)
1843. Tuning a synthetic in vitro oscillator using control-theoretic tools‏‎ (1 revision)
1844. Uncertain semantics, representation nuisances, and necessary invariance properties of bootstrapping agents‏‎ (1 revision)
1845. Uncertainty-based Sensor Fusion of Range Data for Real-time Digital Elevation Mapping (RTDEM)‏‎ (1 revision)
1846. Uniting local and global controllers for the Caltech ducted fan‏‎ (1 revision)
1847. Using Hierarchical Decomposition to Speed Up Average Consensus‏‎ (1 revision)
1848. Variable Elimination for Scalable Receding Horizon Temporal Logic Planning‏‎ (1 revision)
1849. Variational Principles in Constrained Systems: Theory and Experiments‏‎ (1 revision)
1850. Vehicle Motion Planning Using Stream Functions‏‎ (1 revision)