Property:Type

From Murray Wiki
Jump to navigationJump to search

This is a property of type Text.

previous 2502050100250500next 250
Showing 250 pages using this property.
H
Hard Limits And Performance Tradeoffs In A Class Of Sequestration Feedback Systems +
Journal submission  +
Hiding variables when decomposing specifications into GR(1) contracts +
Conference paper  +
Hot-swapping robot task goals in reactive formal synthesis +
Conference Paper  +
How to model DNA replication in stochastic models of synthetic genetic circuits (and why) +
Preprint  +
I
Identification of Decision Rules in a Human-controlled System: Vehicles at a Traffic Intersection +
Conference Paper  +
Identifying and exploiting tolerance to unexpected jumps in synthesized strategies for GR(1) specifications +
Conference paper  +
Implementation And Simulation Of Phosphorylation-Based Insulator In Transcription-Translation Platform +
Conference Paper  +
Information Flow and Cooperative Control of Vehicle Formations +
Conference Paper  +
Interfacing TuLiP with the JPL Statechart Autocoder: Initial progress toward synthesis of flight software from formal specifications +
Conference paper  +
Intermittent Connectivity for Exploration in Communication-Constrained Multi-Agent Systems +
Conference paper  +
Invariant Sets for Integrators and Quadrotor Obstacle Avoidance +
Conference paper  +
Inverse Abstraction of Neural Networks Using Symbolic Interpolation +
Conference paper  +
Inversion Based Trajectory Optimization +
Conference Paper  +
J
J2 Dynamics and Formation Flight +
Conference Paper  +
Just-in-time synthesis for motion planning with temporal logic +
Conference Paper  +
K
Kalman Filtering Over A Packet Dropping Network: A Probabilistic Perspective +
Preprint  +
Kalman Filtering Over A Packet-delaying Network: A Probabilistic Approach +
Preprint  +
Kinetic Monte Carlo Simulation of Dynamic Phenomena in Thin Film Growth +
Conference Paper  +
L
Lagrangian Mechanics and Carangiform Locomotion +
Conference Paper  +
Layered Feedback Control Improves Robust Functionality across Heterogeneous Cell Populations +
Conference paper  +
Layered Feedback Control Overcomes Performance Trade-Off in Synthetic Biomolecular Networks +
Journal paper  +
Layering assume-guarantee contracts for hierarchical system design +
Journal paper  +
Learning diffeomorphism models of robotic sensorimotor cascades +
Conference Paper  +
Learning pose estimation for UAV autonomous navigation and landing using visual-inertial sensor data +
Conference paper  +
Learning-Based Abstractions for Nonlinear Constraint Solving +
Conference paper  +
Length and time scales of cell-cell signaling circuits in agar +
Conference paper  +
Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications +
Conference paper  +
Limits of probabilistic safety guarantees when considering human uncertainty +
Conference paper  +
Limits on the Network Sensitivity Function for Multi-Agent Systems on a Graph +
Technical Report  +
Limits on the network sensitivity function for multi-agent systems on a graph +
Preprint  +
Linear DNA for rapid prototyping of synthetic biological circuits in an Escherichia coli based TX-TL cell-free system +
Journal Submission  +
Linear System Identifiability from Distributional and Time Series Data +
Conference Paper  +
Linear models for control of cavity flow oscillations +
Preprint  +
Long-distance communication in synthetic bacterial consortia through active signal propagation +
Conference paper  +
Low-Observable Nonlinear Trajectory Generation for Unmanned Air Vehicles +
Conference Paper  +
M
MVWT-II: The Second Generation Caltech Multi-Vehicle Wireless Testbed +
Conference Paper  +
Managing information in networked and multi-agent control systems +
Preprint  +
Metabolic engineering of Pseudomonas putida for production of vanillylamine from lignin-derived substrates +
Journal paper  +
Minimally Constrained Testing for Autonomy with Temporal Logic Specifications +
Conference paper  +
Model Predictive Control for Signal Temporal Logic Specifications +
Journal submission  +
Model Predictive Control for an Uncertain Smart Thermal Grid +
Conference Paper  +
Model Predictive Control of Coordinated Multi-Vehicle Formations +
Conference Paper  +
Model Predictive Control of a Thurst-Vectored Flight Control Experiment +
Conference Paper  +
Model Predictive Control with Signal Temporal Logic Specifications +
Conference Paper  +
Model Reduction Tools For Phenomenological Modeling of Input-Controlled Biological Circuits +
Conference paper  +
Model Reduction and System Identification for Master Equation Control Systems +
Conference Paper  +
Model Reduction for Compressible Flows using POD and Galerkin Projection +
Journal submission  +
Model Reduction via Centering and Karhunen Loeve Expansion +
Conference Paper  +
Model of Paradoxical Signaling Regulated T-Cell Population Control for Design of Synthetic Circuits +
Conference paper  +
Model reduction of interconnected linear systems +
Preprint  +
Model-Based Control of Cavity Oscillations, Part I: Experiments +
Conference paper  +
Model-Based Control of Cavity Oscillations, Part II: System Identificaion and Analysis +
Conference Paper  +
Model-Based Estimation of Off-Highway Road Geometry using Single-Axis LADAR and Inertial Sensing +
Conference Paper  +
Modeling Dynamic Transcriptional Circuits with CRISPRi +
Conference paper  +
Modeling Environmental Disturbances with the Chemical Master Equation +
Conference Paper  +
Modeling and Control of Epitaxial Thin Film Growth +
Ph.D. Dissertation  +
Modeling and Control of Thin Film Morphology Using Unsteady Processing Parameters: Problem Formulation and Initial Results +
Conference Paper  +
Modeling predicts that CRISPR-based activators, unlike CRISPR-based repressors, scale well with increasing gRNA competition and dCas9 bottlenecking +
Preprint  +
Modeling the Effects of Compositional Context on Promoter Activity in an E. Coli Extract based Transcription-Translation System +
Conference Paper  +
Modelling Efficient Pisciform Swimming for Control +
Journal paper  +
Modelling and Experimental Investigation of Carangiform Locomotion for Control +
Conference Paper  +
Motion Planning with Wireless Network Constraints +
Conference Paper  +
Motion planning in observations space with learned diffeomorphism models +
Conference Paper  +
Moving bounding boxes and incremental synthesis for dynamic obstacles +
Conference Paper  +
Multi-Hop Relay Protocols for Fast Consensus Seeking +
Conference Paper  +
Multi-dimensional state estimation in adversarial environment +
Conference Paper  +
N
Negative Feedback Facilitates Temperature Robustness in Biomolecular Circuit Dynamics +
Conference Paper  +
Negative autoregulation matches production and demand in synthetic transcriptional networks +
Preprint (bioRxiv)  +
Networks with the Smallest Average Distance and the Largest Average Clustering +
Preprint  +
New Design Principles for Estimation over Fading Channels in Mobile Sensor Networks +
Conference Paper  +
Nonholonomic Mechanical Systems and Symmetry +
CDS Technical Report  +
Nonholonomic Mechanical Systems with Symmetry +
Preprint  +
Nonholonomic Mechanics and Locomotion: The Snakeboard Example +
Conference paper  +
Nonholonomic Motion Planning: Steering Using Sinusoids +
Technical report  +
Nonholonomic control systems: from steering to stabilization with sinuoids +
Conference version  +
Nonlinear Control Design for Rotating Stall and Surge with Magnetic Bearing Actuators +
Conference Paper  +
Nonlinear Control Methods for Planar Carangiform Robot Fish +
Conference Paper  +
Nonlinear Control and Modeling of Rotating Stall in an Axial Flow Compressor +
CDS Technical Report  +
Nonlinear Control of Mechanical Systems: A Lagrangian Perspective +
Preprint  +
Nonlinear Control of Mechanical Systems: A Reimannian Geometry Approach +
CDS Technical Report  +
Nonlinear Control of Rotating Stall Using Axisymmetric Bleed with Continuous Air Injection on a Low-Speed, Single Stage, Axial Compressor +
Conference paper  +
Nonlinear Control of Rotating Stall and Surge with Axisymmetric Bleed and Air Injection on Axial Flow Compressors +
CDS Technical Report  +
Nonlinear Lateral Control Strategy for Nonholonomic Vehicles +
Preprint  +
Nonlinear Trajectory Generation for Unmanned Air Vehicles with Multiple Radars +
Conference Paper  +
Nonlinear Trajectory Generation for the Caltech Multi-Vehicle Wireless Testbed +
Conference Paper  +
O
Observability and Local Observer Construction for Unknown Parameters in Linearly and Nonlinearly Parameterized Systems +
Conference Paper  +
Observability of a Class of Hybrid Systems on Bounded Lattices +
Conference Paper  +
Observers for a Class of Hybrid Systems on a Lattice +
Conference Paper  +
On Decentralized Classification using a Network of Mobile Sensors +
Conference Paper  +
On LQG Control Across a Stochastic Packet-Dropping Link +
Conference Paper  +
On Measures of Non-Integrability of Pfaffian Systems +
Paper  +
On Quantized Consensus by Means of Gossip Algorithm -- Part I: Convergence Proof +
Preprint  +
On Quantized Consensus by Means of Gossip Algorithm -- Part II: Convergence Time +
Preprint  +
On Sensor Coverage by Mobile Sensors +
Conference Paper  +
On Sensor Fusion in the Presence of Packet-Dropping Communication Channels +
Conference Paper  +
On Synthesizing Robust Discrete Controllers under Modeling Uncertainty +
Conference Paper  +
On a Cooperative Pursuit Strategy +
Conference Paper  +
On a Decentralized Active Sensing Strategy using Mobile Sensor Platforms in a Network +
Conference Paper  +
On a Stochastic Sensor Selection Algorithm with Applications in Sensor Scheduling and Sensor Coverage +
Journal submission  +
On the Control of Jump Linear Markov Systems with Markov State Estimation +
Conference Paper  +
On the Effect of Quantization on Performance +
Conference Paper  +
On the Synthesis of Control Laws for a Network of Autonomous Agents +
Conference Paper  +
On-chip membrane protein cell-free expression enables development of a direct binding assay: A curious case of potassium channel KcsA-Kv1.3 +
Journal paper  +
Online Control Customization via Optimization-Based Control +
Book Chapter  +
Online Horizon Selection in Receding Horizon Temporal Logic Planning +
Conference Paper  +
Optimal Control of Affine Connection Control Systems: A Variational Approach +
Conference Submission  +
Optimal Control of Non-deterministic Systems for a Computationally Efficient Fragment of Temporal Logic +
Conference Paper  +
Optimal Control of Nonlinear Systems with Temporal Logic Specifications +
Conference Paper  +
Optimal Control with Weighted Average Costs and Temporal Logic Specifications +
Conference Paper  +
Optimal Experiment Design and Leveraging Competition for Shared Resources in Cell-free Extracts +
Conference paper  +
Optimal LQG Control Across a Packet-Dropping Link +
Journal Submission  +
Optimal LQG control across packet-dropping links +
Preprint  +
Optimal Sensor Hop Selection: Sensor Energy Minimization and Network Lifetime Maximization with Guaranteed System Performance +
Preprint  +
Optimal and Cooperative Control of Vehicle Formations +
Technical Report  +
Optimal nonlinear guidance with inner-loop feedback for hypersonic re-entry +
Conference paper  +
Optimization-Based Navigation for the DARPA Grand Challenge +
Conference Paper  +
Optimization-based Control of Nonlinear Systems with Linear Temporal Logic Specifications +
Conference Paper  +
Optimum Allocation of Computing Resources in Networked Sensing and Control +
Conference Paper  +
Outer flatness: trajectory generation for a model helicopter +
Conference Paper  +
P
POD Based Models of Self-Sustained Oscillations in the Flow Past an Open Cavity +
Conference Paper  +
Parallelizing Synthesis from Temporal Logic Specifications by Identifying Equicontrollable States +
Conference paper  +
Parametric Delay-margin Maximization of Consensus Network Using Local Control Scheme +
Conference Paper  +
Passive Control of Flutter and Forced Response in Bladed Disks via Mistuning +
CDS Technical Report  +
Patching task-level robot controllers based on a local μ-calculus formula +
Conference Paper  +
Performance Metrics for a Biomolecular Step Response +
Conference Paper  +
Planning and Optimization for Multi-Robot Planetary Cave Exploration under Intermittent Connectivity Constraints +
Conference paper  +
Polyhedral Cone Invariance Applied to Rendezvous of Multiple Agents +
Conference Paper  +
Population diversification in a yeast metabolic program promotes anticipation of environmental shifts +
Preprint  +
Population regulation in microbial consortia using dual feedback control +
Conference paper  +
Pre-orders for Reasoning about Input-to-State Stability Properties of Hybrid Systems +
Conference Paper  +
Pre-orders for Reasoning about Stability Properties with respect to Input of Hybrid Systems +
Conference Paper  +
Primitives for Human Motion: A Dynamical Approach +
Conference paper  +
Privacy Preserving Average Consensus +
Conference Paper  +
Probabilistic Performance of State Estimation Across a Lossy Network +
Preprint  +
Probabilistic Safety Analysis of Sensor-Driven Hybrid Automata +
Preprint  +
Proof of concept continuous event logging in living cells +
Conference paper  +
Proportional Derivative (PD) Control on the Euclidean Group +
Conference paper  +
Protein degradation in a TX-TL cell-free expression system using ClpXP protease +
Technical Report  +
Protocols for Implementing an Escherichia coli Based TX-TL Cell-Free Expression System for Synthetic Biology +
Journal paper  +
Prototyping 1,4-butanediol (BDO) biosynthesis pathway in a cell-free transcription-translation (TX-TL) system +
Conference Paper  +
Q
Quantification and Minimization of Crosstalk Sensitivity in Networks +
Preprint  +
Quantifying Crosstalk in Biochemical Systems +
Conference Paper  +
Quantifying Resource Competition and its Effects in the TX-TL System +
Conference paper  +
Quantitative Modeling of Integrase Dynamics Using a Novel Python Toolbox for Parameter Inference in Synthetic Biology +
BioRxiv preprint  +
Quantitative Performance Bounds in Biomolecular Circuits due to Temperature Uncertainty +
Conference Paper  +
Quantitative characterization of random partitioning in the evolution of plasmid-encoded traits +
Conference paper  +
Quantized Consensus via Adaptive Stochastic Gossip Algorithm +
Preprint  +
R
Rapid Hover to Forward Flight Transitions for a Thrust Vectored Aircraft +
Preprint  +
Rapid cell-free forward engineering of novel genetic ring oscillators +
Journal paper  +
Rapid in vitro engineering of 16 two-input logic gates +
Downloading and printing FAQ  +
Rapid prototyping of biomolecular circuits through module characterization in cell-free expression systems +
Masters Thesis  +
Reactive Protocols for Aircraft Electric Power Distribution +
Conference Paper  +
Reactive Synthesis from Signal Temporal Logic Specifications +
Conference Paper  +
Reactive motion planning with probabilistic safety guarantees +
Conference paper  +
Real Time Trajectory Generation for Differentially Flat Systems +
CDS Technical report (preprint)  +
Real Time Trajectory Generation for Differentially Flat Systems with Unstable Zero Dynamics +
Preprint  +
Real-Time Constrained Trajectory Generation Applied to a Flight Control Experiment +
Conference Paper  +
Real-Time Control Experiments for Instruction and Research at Caltech +
Conference paper  +
Real-Time Optimal Trajectory Generation for Constrained Dynamical Systems +
PhD Dissertation  +
Real-Time Trajectory Generation for the Cooperative Path Planning of Multi-Vehicle Systems +
Conference Paper  +
Real-time trajectory generation for constrained nonlinear dynamical systems using non-uniform rational B-spline basis functions +
PhD dissertation  +
Real-valued average consensus over noisy quantized channels +
Preprint  +
Reasoning over Test Specifications using Assume-Guarantee Contracts +
Conference paper  +
Receding Horizon Control for Temporal Logic Specifications +
Preprint  +
Receding Horizon Control of Multi-Vehicle Formations: A Distributed Implementation +
Conference Paper  +
Receding Horizon Control of a Vectored Thrust Flight Experiment +
Journal submission  +
Receding Horizon Temporal Logic Planning +
Preprint  +
Receding Horizon Temporal Logic Planning for Dynamical Systems +
Preprint  +
Recent research in cooperative control of multivehicle systems +
Preprint  +
Recursively constructing analytic expressions for equilibrium distributions of stochastic biochemical reaction networks +
Journal paper  +
Reduction Strategies for Kinetic Monte Carlo Models of Thin Film Growth +
Conference Paper  +
Reduction of Bleed Valve Bandwidth Requirements for Control of Rotating Stall using Continuous Air Injection +
Conference paper  +
Regulatory activity revealed by dynamic correlations in gene expression noise +
Article (via Nature Genetics)  +
Repressing Integrase attachment site operation with CRISPR-Cas9 in E. coli +
Conference paper  +
Resource Competition as a Source of Non-Minimum Phase Behavior in Transcription-Translation Systems +
Conference Paper  +
Resource optimisation in a wireless sensor network with guaranteed estimator performance +
Preprint  +
Resource usage and gene circuit performance characterization in a cell-free ‘breadboard’ +
BioRxiV preprint  +
Reverse Engineering Combination Therapies for Evolutionary Dynamics of Disease: An Hinfty Approach +
Conference Paper  +
Risk-Averse Decision Making Under Uncertainty +
Conference paper  +
Risk-Averse Planning Under Uncertainty +
Conference paper  +
Risk-aware motion planning for automated vehicle among human-driven cars +
Conference paper  +
Robot Navigation in Dense Human Crowds: the Case for Cooperation +
Conference Paper  +
Robotic Control and Nonholonomic Motion Planning +
PhD Dissertation  +
Robotic Manipulation with Flexible Link Fingers +
PhD Dissertation  +
Robust Connectivity of Networked Vehicles +
Conference Paper  +
Robust Control of Uncertain Markov Decision Processes with Temporal Logic Specifications +
Conference Paper  +
Robust Control over a Packet-Based Network +
Conference Paper  +
Robust Estimation Framework with Semantic Measurements +
Conference paper  +
Robust Model Predictive Control for Signal Temporal Logic Synthesis +
Conference paper  +
Robust Model Predictive Control with a Safety Mode: Applied to Small-Body Proximity Operations +
Conference paper  +
Robust Nonlinear Control Theory with Applications to Aerospace Vehicles +
Conference paper  +
Robust Performance Analysis for a Class of Uncertain Nonlinear Systems +
Conference paper  +
Robust Safe Control Synthesis with Disturbance Observer-Based Control Barrier Functions +
Conference paper  +
Robustness Analysis of Accelerometry Using an Electrostatically Suspended Gyroscope +
Conference Paper  +
Robustness Guarantees for Structured Model Reduction of Dynamical Systems +
Conference paper  +
Robustness guarantees for structured model reduction of dynamical systems with applications to biomolecular models +
Journal paper  +
Role of interaction network topology in controlling microbial population in consortia +
Conference paper  +
Rules of the Road: Safety and Liveness Guarantees for Autonomous Vehicles +
Journal submission  +
S
Safety Verification of Fault Tolerant Goal-based Control Programs with Estimation Uncertainty +
Preprint  +
Scheduling for Distributed Sensor Networks with Single Sensor Measurement per Time Step +
Conference Paper  +
Segmentation of Human Motion into Dynamics Based Primitives with Application to Drawing Tasks +
Conference Paper  +
Sensing, Navigation and Reasoning Technologies for the DARPA Urban Challenge +
Preprint  +
Sensor Scheduling Algorithms Requiring Limited Computation +
Conference Paper  +
Sensorimotor Convergence in Visual Navigation and Flight Control Systems +
Conference Paper  +
Simple Delay-Based Implementation of Continuous-Time Controllers +
Preprint  +
Simultaneous Force-Position Control for Grasping Using Flexible Link Manipulators +
Conference paper  +
Simultaneous Stabilization of Stall and Surge via Axisymmetric Air Injection +
Conference Paper  +
Single day construction of multi-gene circuits with 3G assembly +
Conference paper  +
Situational Reasoning for Road Driving in an Urban Environment +
Preprint  +
Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution +
Journal submission  +
Stability Analysis of Interconnected Nonlinear Systems Under Matrix Feedback +
Conference Paper  +
Stability Analysis of Stochastically Varying Formations of Dynamic Agents +
Conference Paper  +
Stability and Performance of Non-Homogeneous Multi-Agent Systems on a Graph +
Preprint  +
Stability of Discrete Time Systems with Stochastically Delayed Feedback +
Conference Paper  +
Stabilization of Feedback Systems via Distribution of Delays +
Conference Paper  +
Stabilization of Trajectories for Systems with Nonholonomic Constraints +
Preprint  +
Stabilization of a Pitch Axis Flight Control Experiment with Input Rate Saturation +
Conference paper  +
State Estimation Over Packet Dropping Networks Using Multiple Description Coding +
Journal submission  +
State Estimation Utilization Multiple Description Coding over Lossy Networks +
Conference Paper  +
State Estimation in Multi-Agent Decision and Control Systems +
PhD Dissertation  +
Stochastic Gene Expression in Single Gene Oscillator Variants +
Conference paper  +
Strategy-Driven Partitioning into Switching Modes for Piecewise-Affine Systems with Continuous Environments +
Conference Paper  +
Symbolic construction of GR(1) contracts for systems with full information +
Conference Paper  +
Synergistic dual positive feedback loops established by molecular sequestration generate robust bimodal response +
Journal Paper  +
Synthesis and Validation of Control Software For A Vehicular Electric Power Distribution Testbed +
Journal Submission  +
Synthesis from multi-paradigm specifications +
Conference Paper  +
Synthesis of Control Protocols for Autonomous Systems +
Journal submission  +
Synthesis of Control Protocols for Switched Electrical Power Systems for Commercial Applications with Safety Specifications +
Conference paper  +
Synthesis of Correct-by-Construction Behavior Trees +
Conference paper  +
Synthesis of Correct-by-construction Control Protocols for Hybrid Systems Using Partial State Information +
Conference Paper  +
Synthesis of Distributed Longitudinal Control 1 Protocols for a Platoon of Autonomous Vehicles +
Conference Paper  +
Synthesis of Embedded Control Systems with High Sampling Frequencies +
Preprint  +
Synthesis of Reactive Control Protocols for Differentially Flat Systems +
Conference Paper  +
Synthesis of Reactive Protocols for Vehicle-to-Vehicle Communication +
Technical Report  +
Synthesis of Reactive Switching Protocols from Temporal Logic Specifications +
Journal paper  +
Synthesis of Static Test Environments for Observing Sequence-like Behaviors in Autonomous Systems +
Conference paper  +
Synthesis of Switching Protocols from Temporal Logic Specifications +
Conference Paper  +
Synthesizing Combination Therapies for Evolutionary Dynamics of Disease for Nonlinear Pharmacodynamics +
Conference Paper  +
Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows +
Conference paper  +
Synthetic circuit for exact adaptation and fold-change detection +
Journal paper  +
Synthetic logic circuits using RNA aptamer against T7 RNA polymerase +
Preprint  +
Synthetic mammalian signaling circuits for robust cell population control +
Journal submission  +
System architectures and environment modeling for high-speed autonomous navigation +
Preprint  +
System identification of phosophorylation based insulator in a cell-free in vitro transcription-translation system +
Conference Paper  +
System-level studies of a cell-free transcription-translation platform for metabolic engineering +
Technical report  +
Systematic Design and Implementation of a Novel Synthetic Fold-Change Detector Biocircuit In Vivo +
Conference Paper  +
Systems Level Model of Dietary Effects on Cognition via the Microbiome-Gut-Brain Axis +
Conference paper  +
T
Temperature Dependence of Biomolecular Circuit Designs +
Conference Paper  +
Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations +
Conference paper  +
Temporal Logic Control of Switched Affine Systems with an Application in Fuel Balancing +
Conference Paper  +
Retrieved from "https://murray.cds.caltech.edu/index.php?title=Property:Type&oldid=20371"