Short pages

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

801. (hist) ‎Sensor Scheduling Algorithms Requiring Limited Computation ‎[1,286 bytes]
802. (hist) ‎Construction of an inducible amyloid expression circuit in Bacillus megaterium: A case study with CsgA and TasA ‎[1,288 bytes]
803. (hist) ‎Group Schedule, Winter 2011 ‎[1,289 bytes]
804. (hist) ‎Learning-Based Abstractions for Nonlinear Constraint Solving ‎[1,290 bytes]
805. (hist) ‎Distributed Mission and Contingency Management for the DARPA Urban Challenge ‎[1,291 bytes]
806. (hist) ‎Uncertainty-based Sensor Fusion of Range Data for Real-time Digital Elevation Mapping (RTDEM) ‎[1,291 bytes]
807. (hist) ‎Nonlinear Control Design for Rotating Stall and Surge with Magnetic Bearing Actuators ‎[1,292 bytes]
808. (hist) ‎Inverse Abstraction of Neural Networks Using Symbolic Interpolation ‎[1,292 bytes]
809. (hist) ‎The Python Control Systems Library (python-control) ‎[1,292 bytes]
810. (hist) ‎Synthesis of Distributed Longitudinal Control 1 Protocols for a Platoon of Autonomous Vehicles ‎[1,295 bytes]
811. (hist) ‎Robust Model Predictive Control for Signal Temporal Logic Synthesis ‎[1,295 bytes]
812. (hist) ‎Mary Dunlop, Oct 2017 ‎[1,295 bytes]
813. (hist) ‎Spring 2009 Meeting Schedule ‎[1,300 bytes]
814. (hist) ‎Risk-aware motion planning for automated vehicle among human-driven cars ‎[1,300 bytes]
815. (hist) ‎Group Schedule, Summer 2008 ‎[1,301 bytes]
816. (hist) ‎RoboFlag SW quickstart ‎[1,303 bytes]
817. (hist) ‎Design and implementation of a synthetic biomolecular concentration tracker ‎[1,303 bytes]
818. (hist) ‎Differential Flatness of Two One-Forms in Arbitrary Number of Variables ‎[1,304 bytes]
819. (hist) ‎Tunable integrase-mediated differentiation facilitates improved output of burdensome functions in E. coli ‎[1,304 bytes]
820. (hist) ‎Spring 2007 Meeting Schedule ‎[1,305 bytes]
821. (hist) ‎Voluntary lane-change policy synthesis with reactive control improvisation ‎[1,305 bytes]
822. (hist) ‎Paul Freemont, January 2023 ‎[1,305 bytes]
823. (hist) ‎NME130/Dynamical systems ‎[1,309 bytes]
824. (hist) ‎Dynamics and Stability of Low Reynolds Number Swimming Near a Wall ‎[1,309 bytes]
825. (hist) ‎Robust Nonlinear Control Theory with Applications to Aerospace Vehicles ‎[1,309 bytes]
826. (hist) ‎Map.inc ‎[1,311 bytes]
827. (hist) ‎Model-Based Control of Cavity Oscillations, Part I: Experiments ‎[1,312 bytes]
828. (hist) ‎SURF discussions, Feb 2021 ‎[1,313 bytes]
829. (hist) ‎Specifying and Analyzing Networked and Layered Control Systems Operating on Multiple Clocks ‎[1,313 bytes]
830. (hist) ‎Parallelizing Synthesis from Temporal Logic Specifications by Identifying Equicontrollable States ‎[1,315 bytes]
831. (hist) ‎New Design Principles for Estimation over Fading Channels in Mobile Sensor Networks ‎[1,317 bytes]
832. (hist) ‎Online Control Customization via Optimization-Based Control ‎[1,317 bytes]
833. (hist) ‎Bode Lecture 2016: Future Directions in Control: A Look Backwards and Forwards ‎[1,318 bytes]
834. (hist) ‎System-level studies of a cell-free transcription-translation platform for metabolic engineering ‎[1,318 bytes]
835. (hist) ‎2009 ASCC workshop on biomolecular feedback systems ‎[1,319 bytes]
836. (hist) ‎Intermittent Connectivity for Exploration in Communication-Constrained Multi-Agent Systems ‎[1,319 bytes]
837. (hist) ‎Problem 2 -- What's the second element in the state of the system? ‎[1,321 bytes]
838. (hist) ‎Privacy Preserving Average Consensus ‎[1,322 bytes]
839. (hist) ‎Just-in-time synthesis for motion planning with temporal logic ‎[1,325 bytes]
840. (hist) ‎On Synthesizing Robust Discrete Controllers under Modeling Uncertainty ‎[1,326 bytes]
841. (hist) ‎Rapid prototyping of biomolecular circuits through module characterization in cell-free expression systems ‎[1,330 bytes]
842. (hist) ‎Synthesis of Control Protocols for Switched Electrical Power Systems for Commercial Applications with Safety Specifications ‎[1,331 bytes]
843. (hist) ‎Resource optimisation in a wireless sensor network with guaranteed estimator performance ‎[1,332 bytes]
844. (hist) ‎The Caltech Multi-Vehicle Wireless Testbed ‎[1,332 bytes]
845. (hist) ‎Discrete State Estimators for a Class of Nondeterministic Hybrid Systems on a Lattice ‎[1,336 bytes]
846. (hist) ‎Constrained risk-averse Markov decision processes ‎[1,337 bytes]
847. (hist) ‎Consensus Seeking Using Multi-Hop Relay Protocol ‎[1,343 bytes]
848. (hist) ‎Alice: An information-rich autonomous vehicle for high-speed desert navigation ‎[1,344 bytes]
849. (hist) ‎Distributed Receding Horizon Control with Applications to Multi-Vehicle Formation Stabilization ‎[1,344 bytes]
850. (hist) ‎Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions ‎[1,344 bytes]