Category:Papers
From Murray Wiki
Jump to navigationJump to search
This category uses the form Paper.
Pages in category "Papers"
The following 162 pages are in this category, out of 562 total.
(previous page) (next page)P
- Probabilistic Safety Analysis of Sensor-Driven Hybrid Automata
- Proof of concept continuous event logging in living cells
- Proportional Derivative (PD) Control on the Euclidean Group
- Protein degradation in a TX-TL cell-free expression system using ClpXP protease
- Protocols for Implementing an Escherichia coli Based TX-TL Cell-Free Expression System for Synthetic Biology
- Prototyping 1,4-butanediol (BDO) biosynthesis pathway in a cell-free transcription-translation (TX-TL) system
Q
- Quantification and Minimization of Crosstalk Sensitivity in Networks
- Quantifying Crosstalk in Biochemical Systems
- Quantifying Resource Competition and its Effects in the TX-TL System
- Quantitative characterization of random partitioning in the evolution of plasmid-encoded traits
- Quantitative Modeling of Integrase Dynamics Using a Novel Python Toolbox for Parameter Inference in Synthetic Biology
- Quantitative Performance Bounds in Biomolecular Circuits due to Temperature Uncertainty
- Quantized Consensus via Adaptive Stochastic Gossip Algorithm
R
- Rapid cell-free forward engineering of novel genetic ring oscillators
- Rapid Hover to Forward Flight Transitions for a Thrust Vectored Aircraft
- Rapid in vitro engineering of 16 two-input logic gates
- Rapid prototyping of biomolecular circuits through module characterization in cell-free expression systems
- Reactive motion planning with probabilistic safety guarantees
- Reactive Protocols for Aircraft Electric Power Distribution
- Reactive Synthesis from Signal Temporal Logic Specifications
- Real Time Trajectory Generation for Differentially Flat Systems
- Real Time Trajectory Generation for Differentially Flat Systems with Unstable Zero Dynamics
- Real-Time Constrained Trajectory Generation Applied to a Flight Control Experiment
- Real-Time Control Experiments for Instruction and Research at Caltech
- Real-Time Optimal Trajectory Generation for Constrained Dynamical Systems
- Real-time trajectory generation for constrained nonlinear dynamical systems using non-uniform rational B-spline basis functions
- Real-Time Trajectory Generation for the Cooperative Path Planning of Multi-Vehicle Systems
- Real-valued average consensus over noisy quantized channels
- Reasoning over Test Specifications using Assume-Guarantee Contracts
- Receding Horizon Control for Temporal Logic Specifications
- Receding Horizon Control of a Vectored Thrust Flight Experiment
- Receding Horizon Control of Multi-Vehicle Formations: A Distributed Implementation
- Receding Horizon Temporal Logic Planning
- Receding Horizon Temporal Logic Planning for Dynamical Systems
- Recent research in cooperative control of multivehicle systems
- Recursively constructing analytic expressions for equilibrium distributions of stochastic biochemical reaction networks
- Reduction of Bleed Valve Bandwidth Requirements for Control of Rotating Stall using Continuous Air Injection
- Reduction Strategies for Kinetic Monte Carlo Models of Thin Film Growth
- Regulatory activity revealed by dynamic correlations in gene expression noise
- Repressing Integrase attachment site operation with CRISPR-Cas9 in E. coli
- Resource Competition as a Source of Non-Minimum Phase Behavior in Transcription-Translation Systems
- Resource optimisation in a wireless sensor network with guaranteed estimator performance
- Resource usage and gene circuit performance characterization in a cell-free âbreadboardâ
- Reverse Engineering Combination Therapies for Evolutionary Dynamics of Disease: An Hinfty Approach
- Risk-Averse Decision Making Under Uncertainty
- Risk-Averse Planning Under Uncertainty
- Risk-aware motion planning for automated vehicle among human-driven cars
- Robot Navigation in Dense Human Crowds: the Case for Cooperation
- Robotic Control and Nonholonomic Motion Planning
- Robotic Manipulation with Flexible Link Fingers
- Robust Connectivity of Networked Vehicles
- Robust Control of Uncertain Markov Decision Processes with Temporal Logic Specifications
- Robust Control over a Packet-Based Network
- Robust Estimation Framework with Semantic Measurements
- Robust Model Predictive Control for Signal Temporal Logic Synthesis
- Robust Model Predictive Control with a Safety Mode: Applied to Small-Body Proximity Operations
- Robust Nonlinear Control Theory with Applications to Aerospace Vehicles
- Robust Performance Analysis for a Class of Uncertain Nonlinear Systems
- Robust Safe Control Synthesis with Disturbance Observer-Based Control Barrier Functions
- Robustness Analysis of Accelerometry Using an Electrostatically Suspended Gyroscope
- Robustness Guarantees for Structured Model Reduction of Dynamical Systems
- Robustness guarantees for structured model reduction of dynamical systems with applications to biomolecular models
- Role of interaction network topology in controlling microbial population in consortia
- Rules of the Road: Safety and Liveness Guarantees for Autonomous Vehicles
S
- Safety Verification of Fault Tolerant Goal-based Control Programs with Estimation Uncertainty
- Scheduling for Distributed Sensor Networks with Single Sensor Measurement per Time Step
- Segmentation of Human Motion into Dynamics Based Primitives with Application to Drawing Tasks
- Sensing, Navigation and Reasoning Technologies for the DARPA Urban Challenge
- Sensor Scheduling Algorithms Requiring Limited Computation
- Sensorimotor Convergence in Visual Navigation and Flight Control Systems
- Simple Delay-Based Implementation of Continuous-Time Controllers
- Simultaneous Force-Position Control for Grasping Using Flexible Link Manipulators
- Simultaneous Stabilization of Stall and Surge via Axisymmetric Air Injection
- Single day construction of multi-gene circuits with 3G assembly
- Situational Reasoning for Road Driving in an Urban Environment
- Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution
- Specifying and Analyzing Networked and Layered Control Systems Operating on Multiple Clocks
- Stability Analysis of Interconnected Nonlinear Systems Under Matrix Feedback
- Stability Analysis of Stochastically Varying Formations of Dynamic Agents
- Stability and Performance of Non-Homogeneous Multi-Agent Systems on a Graph
- Stability of Discrete Time Systems with Stochastically Delayed Feedback
- Stabilization of a Pitch Axis Flight Control Experiment with Input Rate Saturation
- Stabilization of Feedback Systems via Distribution of Delays
- Stabilization of Trajectories for Systems with Nonholonomic Constraints
- State Estimation in Multi-Agent Decision and Control Systems
- State Estimation Over Packet Dropping Networks Using Multiple Description Coding
- State Estimation Utilization Multiple Description Coding over Lossy Networks
- Stochastic Gene Expression in Single Gene Oscillator Variants
- Strategy-Driven Partitioning into Switching Modes for Piecewise-Affine Systems with Continuous Environments
- Symbolic construction of GR(1) contracts for systems with full information
- Synergistic dual positive feedback loops established by molecular sequestration generate robust bimodal response
- Synthesis and Validation of Control Software For A Vehicular Electric Power Distribution Testbed
- Synthesis from multi-paradigm specifications
- Synthesis of Control Protocols for Autonomous Systems
- Synthesis of Control Protocols for Switched Electrical Power Systems for Commercial Applications with Safety Specifications
- Synthesis of Correct-by-Construction Behavior Trees
- Synthesis of Correct-by-construction Control Protocols for Hybrid Systems Using Partial State Information
- Synthesis of Distributed Longitudinal Control 1 Protocols for a Platoon of Autonomous Vehicles
- Synthesis of Embedded Control Systems with High Sampling Frequencies
- Synthesis of Reactive Control Protocols for Differentially Flat Systems
- Synthesis of Reactive Protocols for Vehicle-to-Vehicle Communication
- Synthesis of Reactive Switching Protocols from Temporal Logic Specifications
- Synthesis of Static Test Environments for Observing Sequence-like Behaviors in Autonomous Systems
- Synthesis of Switching Protocols from Temporal Logic Specifications
- Synthesizing Combination Therapies for Evolutionary Dynamics of Disease for Nonlinear Pharmacodynamics
- Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows
- Synthetic circuit for exact adaptation and fold-change detection
- Synthetic logic circuits using RNA aptamer against T7 RNA polymerase
- Synthetic mammalian signaling circuits for robust cell population control
- System architectures and environment modeling for high-speed autonomous navigation
- System identification of phosophorylation based insulator in a cell-free in vitro transcription-translation system
- System-level studies of a cell-free transcription-translation platform for metabolic engineering
- Systematic Design and Implementation of a Novel Synthetic Fold-Change Detector Biocircuit In Vivo
- Systems Level Model of Dietary Effects on Cognition via the Microbiome-Gut-Brain Axis
T
- Temperature Dependence of Biomolecular Circuit Designs
- Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations
- Temporal Logic Control of Switched Affine Systems with an Application in Fuel Balancing
- The Caltech Multi-Vehicle Wireless Testbed
- The Dynamic Sensor Coverage Problem
- The Dynamics of Thin Film Growth: A Modeling Study
- The Effect of Compositional Context on Synthetic Gene Networks
- The Effect of Sensor Health on State Estimation
- The effects of time-varying temperature on delays in genetic networks
- The Geometry and Control of Dissipative Systems
- The Mechanics and Control of Robotic Locomotion with Applications to Aquatic Vehicles
- The Python Control Systems Library (python-control)
- The RoboFlag Competition
- The role of single occupancy effects on integrase dynamics in a cell-free system
- Theoretical Design of Paradoxical Signaling-Based Synthetic Population Control Circuit in E. coli
- Time-Delayed Feedback Channel Design: Discrete Time H infty Approach
- Time-Optimal Navigation in Uncertain Environments with High-Level Specifications
- Timing molecular motion and production with a synthetic transcriptional clock
- To Drop or Not to Drop: Design Principles for Kalman Filtering Over Wireless Fading Channels
- Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams
- Towards a Packet-Based Control Theory - Part I: Stabilization over a Packet-Based Network
- Towards a Packet-based Control Theory - Part II: Rate Issues
- Towards Assume-Guarantee Profiles for Autonomous Vehicles
- Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems
- Towards Formal Synthesis of Reactive Controllers for Dexterous Robotic Manipulation
- Towards Robust Control Over a Packet Dropping Network
- Tracking for Fully Actuated Mechanical Systems: A Geometric Framework
- Trajectory Generation for a Towed Cable System using Differential Flatness
- Trajectory Generation for Mechanical Systems with Application to Robotic Locomotion
- Trajectory Generation for Nonlinear Control Systems
- Trajectory generation for the N-trailer problem using Goursat normal form
- Trajectory tracking for fully actuated mechanical systems
- TRILL: Orchestrating Modular Deep-Learning Workflows for Democratized, Scalable Protein Analysis and Engineering
- TuLiP: A Software Toolbox for Receding Horizon Temporal Logic Planning
- Tunable integrase-mediated differentiation facilitates improved output of burdensome functions in E. coli
- Tuning a synthetic in vitro oscillator using control-theoretic tools
U
- UAV as a Reliable Wingman: A Flight Demonstration
- Uncertain semantics, representation nuisances, and necessary invariance properties of bootstrapping agents
- Uncertainty-based Sensor Fusion of Range Data for Real-time Digital Elevation Mapping (RTDEM)
- Uniting local and global controllers for the Caltech ducted fan
- Use of population-level cell-state switching for recording transient inducer pulses
- Using Hierarchical Decomposition to Speed Up Average Consensus
V
- Variable Elimination for Scalable Receding Horizon Temporal Logic Planning
- Variational Principles in Constrained Systems: Theory and Experiments
- Vehicle Motion Planning Using Stream Functions
- Vision as a Compensatory Mechanism for Disturbance Rejection in Upwind Flight
- Voluntary lane-change policy synthesis with reactive control improvisation
