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 562 total.
(previous page) (next page)E
- Ellipsoidal Cones and Rendezvous of Multiple Agents
- 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
- Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications
- 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
- Impact of Chemical Dynamics of Commercial PURE Systems on Malachite Green Aptamer Fluorescence
- 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
- Optimizing protein expression in the One-Pot PURE system: Insights into reaction composition and translation efficiency
- 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
