# Category:Papers

From Murray Wiki

Jump to navigationJump to search
This category uses the form Paper.

## Pages in category "Papers"

The following 200 pages are in this category, out of 557 total.

(previous page) (next page)### E

- End-to-End Safe Reinforcement Learning through Barrier Functions for Safety-Critical Continuous Control Tasks
- Engineering Logical Inflammation Sensing Circuit for Modulating Gut Conditions
- Engineering Principles of Synthetic Biochemical Oscillators with Negative Cyclic Feedback
- Engineering pulsatile communication in bacterial consortia
- Engineering the soil bacterium Pseudomonas synxantha 2-79 into a ratiometric bioreporter for phosphorus limitation
- Engineering Transcriptional Regulator Effector Specificity Through Rational Design and Rapid Prototyping
- Engineering Transcriptional Regulator Effector Specificity using Computational Design and In Vitro Rapid Prototyping: Developing a Vanillin Sensor
- Engineering Transcriptional Regulator Effector Specificity Using Computational Design and In Vitro Rapid Prototyping: Developing a Vanillin Sensor
- Enhancing tolerance to unexpected jumps in GR(1) games
- Equilibrium Controllability for a Class of Mechanical Systems
- Estimation over Communication Networks: Performance Bounds and Achievability Results
- Estimation Over Wireless Sensor Networks: Tradeoff between Communication, Computation and Estimation Qualities
- Estimation schemes for networked control systems using UDP-like communication
- Estimation with Information Loss: Asymptotic Analysis and Error Bounds
- Evaluation Metrics for Object Detection for Autonomous Systems
- Evaluation Metrics of Object Detection for Quantitative System-Level Analysis of Autonomous Systems
- Evaluation of Bleed Valve Rate Requirements in Nonlinear Control of Rotating Stall
- Exact Stability Analysis of Discrete-Time Linear Systems with Stochastic Delays
- Existence of Cascade Discrete-Continuous State Estimators for Systems on a Partial Order
- Experimental Comparison of Trajectory Trackers for a Car with Trailers
- Experimental Demonstration of the Dynamics and Stability of a Low Reynolds Number Swimmer Near a Plane Wall
- Experimental Evaluation of Air Injection for Actuation of Rotating Stall in a Low Speed, Axial Fan
- Experiments in Exponential Stabilization of a Mobile Robot Towing a Trailer
- Experiments in Planar Manipulation and Grasping
- Exponential Stabilization of Driftless Nonlinear Control Systems
- Exponential Stabilization of Driftless Nonlinear Control Systems via Time-varying, Homogeneous Feedback
- Extending Exponential Stabilizers for Nonholonomic Systems from Kinematic Controllers to Dynamic Controllers
- Extremal Properties of Complex Networks

### F

- Failure Probability of Verifiable Goal-based Control Programs due to State Estimation Uncertainty
- Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture
- Fast and flexible simulation and parameter estimation for synthetic biology using bioscrape
- Fast Automatic Verification of Large-Scale Systems with Lookup Tables
- Fast Mode Switching for a Thrust Vectored Aircraft
- Fault detection and isolation from uninterpreted data in robotic sensorimotor cascades
- Fault-Tolerant Controller Design with Applications in Power Systems and Synthetic Biology
- Feasible Trajectories of Linear Dynamic Systems with Inequality Constraints Using Higher-Order Representations
- Feedback architectures to regulate flux of components in artificial gene networks
- Feedback Stabilization of Steady-State and Hopf Bifurcations
- Feedback Stabilization of Steady-State and Hopf Bifurcations: the Multi-input Case
- Finding stationary solutions to the chemical master equation by gluing state spaces at one or two states recursively
- Finite-Horizon Optimal Control and Stabilization of Time-Scalable Systems
- Flat systems, equivalence and trajectory generation
- Flight control in a flapping-wing fruit fly simulator
- Flight dynamics and control of evasive maneuvers: the fruit fly's takeoff
- Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions
- Formal Verification of an Autonomous Vehicle System
- Frequency-Weighted Model Reduction with Applications to Structured Models
- From Specification to Implementation: Assume-Guarantee Contracts for Synthetic Biology
- Future Directions in Control in an Information-Rich World
- Future Directions in Control, Dynamics, and Systems: Overview, Grand Challenges, and New Courses

### G

- Geometric Approaches to Control in the Presence of Magnitude and Rate Saturations
- Geometric Control of Particle Manipulation in a Two-Dimensional Fluid
- Geometric Phases and Robotic Locomotion
- Geometric Phases, Control Theory, and Robotics
- Geometric trajectory filtering via numerical conformal mapping
- Global Dynamical Structure Reconstruction from Reconstructed Dynamical Structure Subnetworks: Applications to Biochemical Reaction Networks
- Graph Laplacians and Stabilization of Vehicle Formations
- Grasping with Flexible Link Fingers: An Initial Study
- Guidelines for Designing the Antithetic Feedback Motif

### H

- Hard Limits And Performance Tradeoffs In A Class Of Sequestration Feedback Systems
- Hiding variables when decomposing specifications into GR(1) contracts
- Hot-swapping robot task goals in reactive formal synthesis
- How to model DNA replication in stochastic models of synthetic genetic circuits (and why)

### I

- Identification of Decision Rules in a Human-controlled System: Vehicles at a Traffic Intersection
- Identifying and exploiting tolerance to unexpected jumps in synthesized strategies for GR(1) specifications
- Implementation And Simulation Of Phosphorylation-Based Insulator In Transcription-Translation Platform
- Information Flow and Cooperative Control of Vehicle Formations
- Integrase-mediated differentiation circuits improve evolutionary stability of burdensome and toxic functions in E. coli
- Interfacing TuLiP with the JPL Statechart Autocoder: Initial progress toward synthesis of flight software from formal specifications
- Intermittent Connectivity for Exploration in Communication-Constrained Multi-Agent Systems
- Invariant Sets for Integrators and Quadrotor Obstacle Avoidance
- Inverse Abstraction of Neural Networks Using Symbolic Interpolation
- Inversion Based Trajectory Optimization

### K

### L

- Lagrangian Mechanics and Carangiform Locomotion
- Layered Feedback Control Improves Robust Functionality across Heterogeneous Cell Populations
- Layered Feedback Control Overcomes Performance Trade-Off in Synthetic Biomolecular Networks
- Layering assume-guarantee contracts for hierarchical system design
- Learning diffeomorphism models of robotic sensorimotor cascades
- Learning pose estimation for UAV autonomous navigation and landing using visual-inertial sensor data
- Learning-Based Abstractions for Nonlinear Constraint Solving
- Length and time scales of cell-cell signaling circuits in agar
- Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications
- Limits of probabilistic safety guarantees when considering human uncertainty
- Limits on the Network Sensitivity Function for Multi-Agent Systems on a Graph
- Limits on the network sensitivity function for multi-agent systems on a graph
- Linear DNA for rapid prototyping of synthetic biological circuits in an Escherichia coli based TX-TL cell-free system
- Linear models for control of cavity flow oscillations
- Linear System Identifiability from Distributional and Time Series Data
- Long-distance communication in synthetic bacterial consortia through active signal propagation
- Low-Observable Nonlinear Trajectory Generation for Unmanned Air Vehicles

### M

- Managing information in networked and multi-agent control systems
- Metabolic engineering of Pseudomonas putida for production of vanillylamine from lignin-derived substrates
- Metabolic perturbations to an E. coli-based cell-free system reveal a trade-off between transcription and translation
- Minimally Constrained Testing for Autonomy with Temporal Logic Specifications
- Model of Paradoxical Signaling Regulated T-Cell Population Control for Design of Synthetic Circuits
- Model Predictive Control for an Uncertain Smart Thermal Grid
- Model Predictive Control for Signal Temporal Logic Specifications
- Model Predictive Control of a Thurst-Vectored Flight Control Experiment
- Model Predictive Control of Coordinated Multi-Vehicle Formations
- Model Predictive Control with Signal Temporal Logic Specifications
- Model Reduction and System Identification for Master Equation Control Systems
- Model Reduction for Compressible Flows using POD and Galerkin Projection
- Model reduction of interconnected linear systems
- Model Reduction Tools For Phenomenological Modeling of Input-Controlled Biological Circuits
- Model Reduction via Centering and Karhunen Loeve Expansion
- Model-Based Control of Cavity Oscillations, Part I: Experiments
- Model-Based Control of Cavity Oscillations, Part II: System Identificaion and Analysis
- Model-Based Estimation of Off-Highway Road Geometry using Single-Axis LADAR and Inertial Sensing
- Modeling and Control of Epitaxial Thin Film Growth
- Modeling and Control of Thin Film Morphology Using Unsteady Processing Parameters: Problem Formulation and Initial Results
- Modeling Dynamic Transcriptional Circuits with CRISPRi
- Modeling Environmental Disturbances with the Chemical Master Equation
- Modeling predicts that CRISPR-based activators, unlike CRISPR-based repressors, scale well with increasing gRNA competition and dCas9 bottlenecking
- Modeling the Effects of Compositional Context on Promoter Activity in an E. Coli Extract based Transcription-Translation System
- Modelling and Experimental Investigation of Carangiform Locomotion for Control
- Modelling Efficient Pisciform Swimming for Control
- Motion planning in observations space with learned diffeomorphism models
- Motion Planning with Wireless Network Constraints
- Moving bounding boxes and incremental synthesis for dynamic obstacles
- Multi-dimensional state estimation in adversarial environment
- Multi-Hop Relay Protocols for Fast Consensus Seeking
- MVWT-II: The Second Generation Caltech Multi-Vehicle Wireless Testbed

### N

- Negative autoregulation matches production and demand in synthetic transcriptional networks
- Negative Feedback Facilitates Temperature Robustness in Biomolecular Circuit Dynamics
- Networks with the Smallest Average Distance and the Largest Average Clustering
- New Design Principles for Estimation over Fading Channels in Mobile Sensor Networks
- Nonholonomic control systems: from steering to stabilization with sinuoids
- Nonholonomic Mechanical Systems and Symmetry
- Nonholonomic Mechanical Systems with Symmetry
- Nonholonomic Mechanics and Locomotion: The Snakeboard Example
- Nonholonomic Motion Planning: Steering Using Sinusoids
- Nonlinear Control and Modeling of Rotating Stall in an Axial Flow Compressor
- Nonlinear Control Design for Rotating Stall and Surge with Magnetic Bearing Actuators
- Nonlinear Control Methods for Planar Carangiform Robot Fish
- Nonlinear Control of Mechanical Systems: A Lagrangian Perspective
- Nonlinear Control of Mechanical Systems: A Reimannian Geometry Approach
- Nonlinear Control of Rotating Stall and Surge with Axisymmetric Bleed and Air Injection on Axial Flow Compressors
- Nonlinear Control of Rotating Stall Using Axisymmetric Bleed with Continuous Air Injection on a Low-Speed, Single Stage, Axial Compressor
- Nonlinear Lateral Control Strategy for Nonholonomic Vehicles
- Nonlinear Trajectory Generation for the Caltech Multi-Vehicle Wireless Testbed
- Nonlinear Trajectory Generation for Unmanned Air Vehicles with Multiple Radars

### O

- Observability and Local Observer Construction for Unknown Parameters in Linearly and Nonlinearly Parameterized Systems
- Observability of a Class of Hybrid Systems on Bounded Lattices
- Observers for a Class of Hybrid Systems on a Lattice
- On a Cooperative Pursuit Strategy
- On a Decentralized Active Sensing Strategy using Mobile Sensor Platforms in a Network
- On a Stochastic Sensor Selection Algorithm with Applications in Sensor Scheduling and Sensor Coverage
- On Decentralized Classification using a Network of Mobile Sensors
- On LQG Control Across a Stochastic Packet-Dropping Link
- On Measures of Non-Integrability of Pfaffian Systems
- On Quantized Consensus by Means of Gossip Algorithm -- Part I: Convergence Proof
- On Quantized Consensus by Means of Gossip Algorithm -- Part II: Convergence Time
- On Sensor Coverage by Mobile Sensors
- On Sensor Fusion in the Presence of Packet-Dropping Communication Channels
- On Synthesizing Robust Discrete Controllers under Modeling Uncertainty
- On the Control of Jump Linear Markov Systems with Markov State Estimation
- On the Effect of Quantization on Performance
- On the Synthesis of Control Laws for a Network of Autonomous Agents
- On-chip membrane protein cell-free expression enables development of a direct binding assay: A curious case of potassium channel KcsA-Kv1.3
- Online Control Customization via Optimization-Based Control
- Online Horizon Selection in Receding Horizon Temporal Logic Planning
- Optimal and Cooperative Control of Vehicle Formations
- Optimal Control of Affine Connection Control Systems: A Variational Approach
- Optimal Control of Non-deterministic Systems for a Computationally Efficient Fragment of Temporal Logic
- Optimal Control of Nonlinear Systems with Temporal Logic Specifications
- Optimal Control with Weighted Average Costs and Temporal Logic Specifications
- Optimal Experiment Design and Leveraging Competition for Shared Resources in Cell-free Extracts
- Optimal LQG Control Across a Packet-Dropping Link
- Optimal LQG control across packet-dropping links
- Optimal nonlinear guidance with inner-loop feedback for hypersonic re-entry
- Optimal Sensor Hop Selection: Sensor Energy Minimization and Network Lifetime Maximization with Guaranteed System Performance
- Optimization-based Control of Nonlinear Systems with Linear Temporal Logic Specifications
- Optimization-Based Navigation for the DARPA Grand Challenge
- Optimum Allocation of Computing Resources in Networked Sensing and Control
- Outer flatness: trajectory generation for a model helicopter

### P

- Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design
- Parallelizing Synthesis from Temporal Logic Specifications by Identifying Equicontrollable States
- Parametric Delay-margin Maximization of Consensus Network Using Local Control Scheme
- Passive Control of Flutter and Forced Response in Bladed Disks via Mistuning
- Patching task-level robot controllers based on a local Î¼-calculus formula
- Performance Metrics for a Biomolecular Step Response
- Planning and Optimization for Multi-Robot Planetary Cave Exploration under Intermittent Connectivity Constraints
- POD Based Models of Self-Sustained Oscillations in the Flow Past an Open Cavity
- Polyhedral Cone Invariance Applied to Rendezvous of Multiple Agents
- Population diversification in a yeast metabolic program promotes anticipation of environmental shifts
- Population regulation in microbial consortia using dual feedback control
- Pre-orders for Reasoning about Input-to-State Stability Properties of Hybrid Systems
- Pre-orders for Reasoning about Stability Properties with respect to Input of Hybrid Systems
- Primitives for Human Motion: A Dynamical Approach
- Privacy Preserving Average Consensus
- Probabilistic Performance of State Estimation Across a Lossy Network
- 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