Rapid cell-free forward engineering of novel genetic ring oscillators
Finding stationary solutions to the chemical master equation by gluing state spaces at one or two states recursively
Use of population-level cell-state switching for recording transient inducer pulses
Rapid in vitro engineering of 16 two-input logic gates
Linear System Identifiability from Distributional and Time Series Data
Symbolic construction of GR(1) contracts for systems with full information
The effects of time-varying temperature on delays in genetic networks
Application of Correct-by-Construction Principles for a Resilient Risk-Aware Architecture
Characterizing and Prototyping Genetic Networks with Cell-Free Transcription-Translation Reactions
Global Dynamical Structure Reconstruction from Reconstructed Dynamical Structure Subnetworks: Applications to Biochemical Reaction Networks
Quantitative Performance Bounds in Biomolecular Circuits due to Temperature Uncertainty
Control System Analysis on Symmetric Cones
An Iterative Abstraction Algorithm for Reactive Correct-by-Construction Controller Synthesis
Synthesis of Distributed Longitudinal Control 1 Protocols for a Platoon of Autonomous Vehicles
Engineering Principles of Synthetic Biochemical Oscillators with Negative Cyclic Feedback
Model Predictive Control for an Uncertain Smart Thermal Grid
A stochastic framework for the design of transient and steady state behavior of biochemical reaction networks
Synthesis from multi-paradigm specifications
Prototyping 1,4-butanediol (BDO) biosynthesis pathway in a cell-free transcription-translation (TX-TL) system
Engineering Transcriptional Regulator Effector Specificity using Computational Design and In Vitro Rapid Prototyping: Developing a Vanillin Sensor
Multi-dimensional state estimation in adversarial environment
Rapid prototyping of biomolecular circuits through module characterization in cell-free expression systems
Characterization of minimum inducer separation time for a two-input integrase-based event detector
Systematic Design and Implementation of a Novel Synthetic Fold-Change Detector Biocircuit In Vivo
A Risk-Aware Architecture for Resilient Spacecraft Operations
A State-space Realization Approach to Set Identification of Biochemical Kinetic Parameters
Online Horizon Selection in Receding Horizon Temporal Logic Planning
Reactive Synthesis from Signal Temporal Logic Specifications
Cross-entropy Temporal Logic Motion Planning
Variable Elimination for Scalable Receding Horizon Temporal Logic Planning
Synthetic logic circuits using RNA aptamer against T7 RNA polymerase
Engineering Transcriptional Regulator Effector Specificity Through Rational Design and Rapid Prototyping
Protein degradation in a TX-TL cell-free expression system using ClpXP protease
A Compositional Approach to Stochastic Optimal Control with Co-safe Temporal Logic Specifications
Synthetic circuit for exact adaptation and fold-change detection
Modeling the Effects of Compositional Context on Promoter Activity in an E. Coli Extract based Transcription-Translation System
Designing Robustness to Temperature in a Feedforward Loop Circuit
Model Predictive Control with Signal Temporal Logic Specifications
Hot-swapping robot task goals in reactive formal synthesis
Synthesizing Combination Therapies for Evolutionary Dynamics of Disease for Nonlinear Pharmacodynamics
Strategy-Driven Partitioning into Switching Modes for Piecewise-Affine Systems with Continuous Environments
Negative Feedback Facilitates Temperature Robustness in Biomolecular Circuit Dynamics
A Contract-Based Methodology for Aircraft Electric Power System Design
Population diversification in a yeast metabolic program promotes anticipation of environmental shifts
Pre-orders for Reasoning about Stability Properties with respect to Input of Hybrid Systems
Bootstrapping bilinear models of simple vehicles
Convex Optimal Uncertainty Quantification
Resource usage and gene circuit performance characterization in a cell-free âbreadboardâ
Design and implementation of a synthetic biomolecular concentration tracker
Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution
System identification of phosophorylation based insulator in a cell-free in vitro transcription-translation system
Implementation And Simulation Of Phosphorylation-Based Insulator In Transcription-Translation Platform
Analysis of Delays in Transcriptional Signaling Networks with Time-Varying Temperature-Dependent Rate Coefficients
Negative autoregulation matches production and demand in synthetic transcriptional networks
Efficient control synthesis for augmented finite transition systems with an application to switching protocols
Collaborative System Identification via Parameter Consensus
Synthesis of Correct-by-construction Control Protocols for Hybrid Systems Using Partial State Information
A Scalable Formulation for Engineering Combination Therapies for Evolutionary Dynamics of Disease
A Compositional Approach to Stochastic Optimal Control with Temporal Logic Specifications
Time-Delayed Feedback Channel Design: Discrete Time H infty Approach
Exact Stability Analysis of Discrete-Time Linear Systems with Stochastic Delays
Protocols for Implementing an Escherichia coli Based TX-TL Cell-Free Expression System for Synthetic Biology
Linear DNA for rapid prototyping of synthetic biological circuits in an Escherichia coli based TX-TL cell-free system
Optimization-based Control of Nonlinear Systems with Linear Temporal Logic Specifications
Moving bounding boxes and incremental synthesis for dynamic obstacles
Synthesis and Validation of Control Software For A Vehicular Electric Power Distribution Testbed
A robust model predictive control algorithm augmented with a reactive safety mode
Optimal Control of Nonlinear Systems with Temporal Logic Specifications
Automaton-Guided Controller Synthesis for Nonlinear Systems with Temporal Logic
Resource Competition as a Source of Non-Minimum Phase Behavior in Transcription-Translation Systems
Modeling Environmental Disturbances with the Chemical Master Equation
Optimal Control of Non-deterministic Systems for a Computationally Efficient Fragment of Temporal Logic
Temperature Dependence of Biomolecular Circuit Designs
Dynamic State Estimation in Distributed Aircraft Electric Control Systems via Adaptive Submodularity
Reverse Engineering Combination Therapies for Evolutionary Dynamics of Disease: An Hinfty Approach
Synthesis of Control Protocols for Autonomous Systems
Synthesis of Reactive Protocols for Vehicle-to-Vehicle Communication
Synergistic dual positive feedback loops established by molecular sequestration generate robust bimodal response
Stability of Discrete Time Systems with Stochastically Delayed Feedback
A Domain-Specific Language for Reactive Control Protocols for Aircraft Electric Power Systems
An Aircraft Electric Power Testbed for Validating Automatically Synthesized Reactive Control Protocols
Pre-orders for Reasoning about Input-to-State Stability Properties of Hybrid Systems
Feedback architectures to regulate flux of components in artificial gene networks
Computing Augmented Finite Transition Systems to Synthesize Switching Protocols for Polynomial Switched Systems
Convex optimal uncertainty quantification: Algorithms and a case study in energy storage placement for power grids
Design and Implementation of a Biomolecular Circuit for Tracking Protein Concentration
Biomolecular resource utilization in elementary cell-free gene circuits
Just-in-time synthesis for motion planning with temporal logic
Efficient reactive controller synthesis for a fragment of linear temporal logic
Patching task-level robot controllers based on a local μ-calculus formula
Motion planning in observations space with learned diffeomorphism models
Robot Navigation in Dense Human Crowds: the Case for Cooperation
Synthesis of Reactive Switching Protocols from Temporal Logic Specifications
Optimal Control with Weighted Average Costs and Temporal Logic Specifications
Quantifying Crosstalk in Biochemical Systems
Reactive Protocols for Aircraft Electric Power Distribution
Robust Control of Uncertain Markov Decision Processes with Temporal Logic Specifications
Performance Metrics for a Biomolecular Step Response
Bisimulations for Reasoning about Input-to-State Stability Properties of Hybrid Systems
Synthesis of Reactive Control Protocols for Differentially Flat Systems
Towards Formal Synthesis of Reactive Controllers for Dexterous Robotic Manipulation
Stabilization of Feedback Systems via Distribution of Delays
Timing molecular motion and production with a synthetic transcriptional clock
On Synthesizing Robust Discrete Controllers under Modeling Uncertainty
Synthesis of Switching Protocols from Temporal Logic Specifications
Temporal Logic Control of Switched Affine Systems with an Application in Fuel Balancing
Parametric Delay-margin Maximization of Consensus Network Using Local Control Scheme
Delay-Based Approximations of Biological Systems for Analysis and Design
Decentralised minimal-time dynamic consensus
Fault detection and isolation from uninterpreted data in robotic sensorimotor cascades
Learning diffeomorphism models of robotic sensorimotor cascades
Backtracking temporal logic synthesis for uncertain environments
A hovercraft robot that uses insect-inspired visual autocorrelation for motion control in a corridor
A group-theoretic approach to formalizing bootstrapping problems
Analysis and design of a synthetic transcriptional network for exact adaptation
Uncertain semantics, representation nuisances, and necessary invariance properties of bootstrapping agents
Distributed Power Allocation for Vehicle Management Systems
Geometric trajectory filtering via numerical conformal mapping
Fault-Tolerant Controller Design with Applications in Power Systems and Synthetic Biology
Bootstrapping bilinear models of robotic sensorimotor cascades
TuLiP: A Software Toolbox for Receding Horizon Temporal Logic Planning
Quantification and Minimization of Crosstalk Sensitivity in Networks
Distributed Synthesis of Control Protocols for Smart Camera Networks
Decentralized Multi-Agent Optimization via Dual Decomposition
Stability and Performance of Non-Homogeneous Multi-Agent Systems on a Graph
Dynamics and Stability of Low Reynolds Number Swimming Near a Wall
Networks with the Smallest Average Distance and the Largest Average Clustering
Resource optimisation in a wireless sensor network with guaranteed estimator performance
Delay-Based Controller Design for Continuous-Time and Hybrid Applications
Receding Horizon Temporal Logic Planning
Tuning a synthetic in vitro oscillator using control-theoretic tools
Synthesis of Embedded Control Systems with High Sampling Frequencies
A bio-plausible design for visual pose stabilization
Automatic Synthesis of Robust Embedded Control Software
Cone invariance and rendezvous of multiple agents
Limits on the Network Sensitivity Function for Multi-Agent Systems on a Graph
Autonomous Driving in Urban Environments: Approaches, Lessons and Challenges
Receding Horizon Control for Temporal Logic Specifications
Experimental Demonstration of the Dynamics and Stability of a Low Reynolds Number Swimmer Near a Plane Wall
Limits on the network sensitivity function for multi-agent systems on a graph
Simple Delay-Based Implementation of Continuous-Time Controllers
Controlling biological networks by time-delayed signals
A bootstrappable bio-plausible design for visual pose stabilization
Dynamics and stability of a class of low Reynolds number swimmers near a wall
To Drop or Not to Drop: Design Principles for Kalman Filtering Over Wireless Fading Channels
Flight dynamics and control of evasive maneuvers: the fruit fly's takeoff
Quantized Consensus via Adaptive Stochastic Gossip Algorithm
A bio-plausible design for visual attitude stabilization
Receding Horizon Temporal Logic Planning for Dynamical Systems
Geometric Control of Particle Manipulation in a Two-Dimensional Fluid
Design of insulating devices for in vitro synthetic circuits
Compositional stability analysis based on dual decomposition
Communication and sensing trade-offs in cooperative mobile networks
Regulatory activity revealed by dynamic correlations in gene expression noise
Automatic Conversion Software for the Safety Verification of Goal-Based Control Programs
Probabilistic Safety Analysis of Sensor-Driven Hybrid Automata
On Quantized Consensus by Means of Gossip Algorithm -- Part II: Convergence Time
On Quantized Consensus by Means of Gossip Algorithm -- Part I: Convergence Proof
Real-valued average consensus over noisy quantized channels
Control Program Verification for a Sample Titan Aerobot Mission
Optimal Sensor Hop Selection: Sensor Energy Minimization and Network Lifetime Maximization with Guaranteed System Performance
Kalman Filtering Over A Packet-delaying Network: A Probabilistic Approach
Kalman Filtering Over A Packet Dropping Network: A Probabilistic Perspective
Design and performance of in vitro transcription rate regulatory circuit
Probabilistic Performance of State Estimation Across a Lossy Network
Formal Verification of an Autonomous Vehicle System
Analysis of Dynamics in Escaping Flight Initiation in Drosophila
Failure Probability of Verifiable Goal-based Control Programs due to State Estimation Uncertainty
Model reduction of interconnected linear systems
Distributed Mission and Contingency Management for the DARPA Urban Challenge
Situational Reasoning for Road Driving in an Urban Environment
A Framework for Low--Observable Tra jectory Generation in the Presence of Multiple Radars
Control Over a Packet Dropping Network with Norm Bounded Uncertainties
Delay-dependent Stability of Genetic Regulatory Networks
Real-time trajectory generation for constrained nonlinear dynamical systems using non-uniform rational B-spline basis functions
Sensing, Navigation and Reasoning Technologies for the DARPA Urban Challenge
Estimation schemes for networked control systems using UDP-like communication
Flight control in a flapping-wing fruit fly simulator
Conversion and Verification Procedure for Goal-Based Control Programs
A Robust Nonlinear Model Predictive Control Algorithm with a Safety Mode
Using Hierarchical Decomposition to Speed Up Average Consensus
Estimation Over Wireless Sensor Networks: Tradeoff between Communication, Computation and Estimation Qualities
Safety Verification of Fault Tolerant Goal-based Control Programs with Estimation Uncertainty
Convergence Properties of Dynamic Agents Consensus Networks with Broken Links
Nonlinear Lateral Control Strategy for Nonholonomic Vehicles
Optimal LQG control across packet-dropping links
Data Transmission over Networks for Estimation and Control
Consensus Seeking Using Multi-Hop Relay Protocol
Asynchronous Distributed Averaging on Communication Networks
Recent research in cooperative control of multivehicle systems
Consensus and Cooperation in Networked Multi-Agent Systems
UAV as a Reliable Wingman: A Flight Demonstration
Effective Sensor Scheduling Schemes in a Sensor Network by Employing Feedback in the Communication Loop
Managing information in networked and multi-agent control systems
A Multi-Model Approach to Identification of Biosynthetic Pathways
Estimation over Communication Networks: Performance Bounds and Achievability Results
Control Over a Network: Using Actuation Buffers to Reduce Transmission Frequency
Analysis of a Digital Clock for Molecular Computing
Effective Sensor Scheduling Schemes Employing Feedback in the Communication Loop
Frequency-Weighted Model Reduction with Applications to Structured Models
Bioligically Inspired Feedback Design for Drosophila Flight
Cone Invariance and Rendezvous of Multiple Agents
Optimization-Based Navigation for the DARPA Grand Challenge
The Effect of Sensor Health on State Estimation
An Estimation Algorithm for a Class of Networked Control Systems Using UDP-Like Communication Schemes
Multi-Hop Relay Protocols for Fast Consensus Seeking
Approximation of Subnetwork Models using Frequency-Domain Data
System architectures and environment modeling for high-speed autonomous navigation
Distributed Gradient Systems and Dynamic Coordination
Model-Based Estimation of Off-Highway Road Geometry using Single-Axis LADAR and Inertial Sensing
Alice: An information-rich autonomous vehicle for high-speed desert navigation
Towards Robust Control Over a Packet Dropping Network
Data Transmission over Networks for Estimation
On the Effect of Quantization on Performance
Optimum Allocation of Computing Resources in Networked Sensing and Control
Towards a Packet-based Control Theory - Part II: Rate Issues
Distributed Averaging on Asynchronous Communication Networks
On Sensor Fusion in the Presence of Packet-Dropping Communication Channels
A Control-Oriented Analysis of Bio-Inspired Visuomotor Convergence
Robust Control over a Packet-Based Network
State Estimation Over Packet Dropping Networks Using Multiple Description Coding
Approximate Distributed Kalman Filtering in Sensor Networks with Quantifiable Performance
Distributed Sensor Fusion Using Dynamic Consensus
Motion Planning with Wireless Network Constraints
State Estimation Utilization Multiple Description Coding over Lossy Networks
New Design Principles for Estimation over Fading Channels in Mobile Sensor Networks
Estimation with Information Loss: Asymptotic Analysis and Error Bounds
Communication and Sensing Trade-Offs in Decentralized Mobile Sensor Networks: A Cross-Layer Design Approach
Bio-Inspired Visuomotor Convergence in Navigation and Flight Control Systems
Coarse analysis of multiscale systems: diffuser flows, charged particle motion, and connections to averaging theory
State Estimation in Multi-Agent Decision and Control Systems
Towards a Packet-Based Control Theory - Part I: Stabilization over a Packet-Based Network
Appealing to a Non-traditional Audience: A New Approach to Teaching Feedback
On a Stochastic Sensor Selection Algorithm with Applications in Sensor Scheduling and Sensor Coverage
Existence of Cascade Discrete-Continuous State Estimators for Systems on a Partial Order
Uncertainty-based Sensor Fusion of Range Data for Real-time Digital Elevation Mapping (RTDEM)
On Decentralized Classification using a Network of Mobile Sensors
Sensorimotor Convergence in Visual Navigation and Flight Control Systems
Cascade Discrete-Continuous State Estimators for a Class of Monotone Systems
A Sub-optimal Algorithm to Synthesize Control Laws for a Network of Dynamic Agents
On LQG Control Across a Stochastic Packet-Dropping Link
Optimal LQG Control Across a Packet-Dropping Link
Polyhedral Cone Invariance Applied to Rendezvous of Multiple Agents
Effect of Narrowband Channels on the Control
Discrete State Estimators for Systems on a Lattice
Ellipsoidal Cones and Rendezvous of Multiple Agents
Nonlinear Trajectory Generation for Unmanned Air Vehicles with Multiple Radars
Robust Connectivity of Networked Vehicles
Distributed Receding Horizon Control with Applications to Multi-Vehicle Formation Stabilization
Receding Horizon Control of Multi-Vehicle Formations: A Distributed Implementation
MVWT-II: The Second Generation Caltech Multi-Vehicle Wireless Testbed
Discrete State Estimators for a Class of Nondeterministic Hybrid Systems on a Lattice
Observability of a Class of Hybrid Systems on Bounded Lattices
Linear models for control of cavity flow oscillations
On a Decentralized Active Sensing Strategy using Mobile Sensor Platforms in a Network
Sensor Scheduling Algorithms Requiring Limited Computation
Scheduling for Distributed Sensor Networks with Single Sensor Measurement per Time Step
Identification of Decision Rules in a Human-controlled System: Vehicles at a Traffic Intersection
Observers for a Class of Hybrid Systems on a Lattice
A Constrained Optimization Framework for Wireless Networking in Multi-Vehicle Applications
A Frequency Domain Condition for Stability of Interconnected MIMO Systems
On the Synthesis of Control Laws for a Network of Autonomous Agents
Vision as a Compensatory Mechanism for Disturbance Rejection in Upwind Flight
A Framework for Lyapunov Certificates for Multi-Vehicle Rendezvous Problems
Distributed Computation for Cooperative Control
Future Directions in Control, Dynamics, and Systems: Overview, Grand Challenges, and New Courses
Controller Synthesis for Constrained Flight Systems via Receding Horizon Optimization
Dynamic Separation Control in a Low-Speed Asymmetric Diffuser with Varying Downstream Boundary Condition
Stability Analysis of Stochastically Varying Formations of Dynamic Agents
Stability Analysis of Interconnected Nonlinear Systems Under Matrix Feedback
Information Flow and Cooperative Control of Vehicle Formations
Consensus problems in networks of agents with switching topology and time-delays
Receding Horizon Control of a Vectored Thrust Flight Experiment
Flat systems, equivalence and trajectory generation
Agreement Problems in Networks with Directed Graphs and Switching Toplogy
Low-Observable Nonlinear Trajectory Generation for Unmanned Air Vehicles
Future Directions in Control in an Information-Rich World
Real-Time Optimal Trajectory Generation for Constrained Dynamical Systems
Model Reduction for Compressible Flows using POD and Galerkin Projection
Model Reduction and System Identification for Master Equation Control Systems
Nonlinear Trajectory Generation for the Caltech Multi-Vehicle Wireless Testbed
Cooperative Task Planning of Multi-Robot Systems with Temporal Constraints
Cooperative Control of Multi-Vehicle Systems using Cost Graphs and Optimization
Consensus Protocols for Networks of Dynamic Agents
Classification of Human Motion into Dynamics Based Primitives with Application to Drawing Tasks
Observability and Local Observer Construction for Unknown Parameters in Linearly and Nonlinearly Parameterized Systems
Segmentation of Human Motion into Dynamics Based Primitives with Application to Drawing Tasks
Vehicle Motion Planning Using Stream Functions
On the Control of Jump Linear Markov Systems with Markov State Estimation
Real-Time Trajectory Generation for the Cooperative Path Planning of Multi-Vehicle Systems
Decomposition of Human Motion into Dynamics Based Primitives with Application to Drawing Tasks
Model Predictive Control of Coordinated Multi-Vehicle Formations
Distributed Structural Stabilization and Tracking for Formations of Dynamic Multi-Agents
The Caltech Multi-Vehicle Wireless Testbed
A New Computational Method for Optimal Control of a Class of Constrained Systems Governed by Partial Differential Equations
Modeling and Control of Epitaxial Thin Film Growth
Optimal and Cooperative Control of Vehicle Formations
Model-Based Control of Cavity Oscillations, Part II: System Identificaion and Analysis
Online Control Customization via Optimization-Based Control
Effective Transition Rates for Epitaxial Growth Using Fast Modulation
Distributed Cooperative Control of Multiple Vehicle Formations Using Structural Potential Functions
Real-Time Constrained Trajectory Generation Applied to a Flight Control Experiment
Primitives for Human Motion: A Dynamical Approach
Model Predictive Control of a Thurst-Vectored Flight Control Experiment
Graph Laplacians and Stabilization of Vehicle Formations
Reduction Strategies for Kinetic Monte Carlo Models of Thin Film Growth
Dynamical Models for Control of Cavity Oscillations
Active Control of Integrated Inlet/Compression Systems: Initial Results
Modeling and Control of Thin Film Morphology Using Unsteady Processing Parameters: Problem Formulation and Initial Results
Constrained Trajectory Generation for Microsatellite Formation Flying
Nonlinear Control Methods for Planar Carangiform Robot Fish
A Geometric Perspective on Bifurcation Control
Modelling Efficient Pisciform Swimming for Control
POD Based Models of Self-Sustained Oscillations in the Flow Past an Open Cavity
A Computational Approach to Real-Time Trajectory Generation for Constrained Mechanical Systems
The Dynamics of Thin Film Growth: A Modeling Study
Kinetic Monte Carlo Simulation of Dynamic Phenomena in Thin Film Growth
Differentially Flat Systems with Inequality Constraints: An Approach to Real-Time Feasible Trajectory Generation
Optimal Control of Affine Connection Control Systems: A Variational Approach
Finite-Horizon Optimal Control and Stabilization of Time-Scalable Systems
Effects of Actuator Limits in Bifurcation Control with Applications to Active Control of Fluid Instabilities in Turbomachinery
Bifurcation Control of Rotating Stall with Actuator Magnitude and Rate Limits
Configuration Controllability of Simple Mechanical Control Systems
Feedback Stabilization of Steady-State and Hopf Bifurcations: the Multi-input Case
Geometric Approaches to Control in the Presence of Magnitude and Rate Saturations
Nonlinear Control Design for Rotating Stall and Surge with Magnetic Bearing Actuators
Passive Control of Flutter and Forced Response in Bladed Disks via Mistuning
Robustness Analysis of Accelerometry Using an Electrostatically Suspended Gyroscope
Feasible Trajectories of Linear Dynamic Systems with Inequality Constraints Using Higher-Order Representations
A Testbed for Nonlinear Flight Control Techniques: The Caltech Ducted Fan
Effects of Magnitude Saturation in Control of Bifurcations
Simultaneous Stabilization of Stall and Surge via Axisymmetric Air Injection
Model Reduction via Centering and Karhunen Loeve Expansion
Trajectory Generation for Mechanical Systems with Application to Robotic Locomotion
Effects of Noise and Actuator Limits on Active Control of Rotating Stall and Surge
Feedback Stabilization of Steady-State and Hopf Bifurcations
Discrete Function Approximation: Numerical Tools for Nonlinear Control
Evaluation of Bleed Valve Rate Requirements in Nonlinear Control of Rotating Stall
A Design Study for Thermal Control of a CVD Reactor for YBCO
The Mechanics and Control of Robotic Locomotion with Applications to Aquatic Vehicles
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
Outer flatness: trajectory generation for a model helicopter
Lagrangian Mechanics and Carangiform Locomotion
Modelling and Experimental Investigation of Carangiform Locomotion for Control
An Experimental Comparison of Tradeoffs in Using Compliant Manipulators for Robotic Grasping Tasks
Stabilization of a Pitch Axis Flight Control Experiment with Input Rate Saturation
Nonlinear Control of Rotating Stall Using Axisymmetric Bleed with Continuous Air Injection on a Low-Speed, Single Stage, Axial Compressor
Effects of Noise, Magnitude Saturation, and Rate Limits on Rotating Stall Control
Reduction of Bleed Valve Bandwidth Requirements for Control of Rotating Stall using Continuous Air Injection
Tracking for Fully Actuated Mechanical Systems: A Geometric Framework
Robotic Manipulation with Flexible Link Fingers
Differentially Flat Nonlinear Control Systems
Autonomous Reorientation of a Manuever-Limited Spacecraft Under Simple Pointing Constraints
Nonholonomic Mechanical Systems with Symmetry
Characterizing the Effects of Air Injection on Compressor Performance for Use in Active Control of Rotating Stall
Uniting local and global controllers for the Caltech ducted fan
Simultaneous Force-Position Control for Grasping Using Flexible Link Manipulators
Combined Air Injection Control of Rotating Stall and Bleed Valve Control of Surge
Rapid Hover to Forward Flight Transitions for a Thrust Vectored Aircraft
Differential Flatness of Two One-Forms in Arbitrary Number of Variables
Trajectory tracking for fully actuated mechanical systems
Real Time Trajectory Generation for Differentially Flat Systems
Real-Time Control Experiments for Instruction and Research at Caltech
Decompositions for Control Systems on Manifolds with an Affine Connection
Fast Mode Switching for a Thrust Vectored Aircraft
Configuration Flatness of Lagrangian Systems Underactuated by One Control
The Geometry and Control of Dissipative Systems
Nonholonomic control systems: from steering to stabilization with sinuoids
Robust Nonlinear Control Theory with Applications to Aerospace Vehicles
Experimental Comparison of Trajectory Trackers for a Car with Trailers
Trajectory Generation for a Towed Cable System using Differential Flatness
On Measures of Non-Integrability of Pfaffian Systems
Nonlinear Control and Modeling of Rotating Stall in an Axial Flow Compressor
Trajectory Generation for Nonlinear Control Systems
A Homotopy Algorithm for Approximating Geometric Distributions by Integrable Systems
Control on the Sphere and Reduced Attitude Stabilization
Active Control of an Axial Flow Compressor via Pulsed Air Injection
Control of Rotating Stall in a Low-Speed Axial Flow Compressor Using Pulsed Air Injection: Modeling, Simulations, and Experimental Validation
Proportional Derivative (PD) Control on the Euclidean Group
Differential Flatness of Mechanical Control Systems: A Catalog of Prototype Systems
Real Time Trajectory Generation for Differentially Flat Systems with Unstable Zero Dynamics
Converting Smooth, Time-Varying, Asymptotic Stabilizers for Driftless Systems to Homogeneous, Exponential Stabilizers
Nonlinear Control of Mechanical Systems: A Lagrangian Perspective
Robust Performance Analysis for a Class of Uncertain Nonlinear Systems
Equilibrium Controllability for a Class of Mechanical Systems
Approximate Trajectory Generation for Differentially Flat Systems with Zero Dynamics
Active Control of Rotating Stall Using Pulsed Air Injection: A Parametric Study on a Low-Speed, Axial Flow Compressor
Aspects of Geometric Mechanics and Control of Mechanical Systems
Grasping with Flexible Link Fingers: An Initial Study
A Motion Planner for Nonholonomic Robots
Variational Principles in Constrained Systems: Theory and Experiments
Experimental Evaluation of Air Injection for Actuation of Rotating Stall in a Low Speed, Axial Fan
An Efficient Algorithm for Performance Analysis of Nonlinear Control Systems
An Experimental Comparison of Controllers for a Vectored Thrust, Ducted Fan Engine
Nonholonomic Mechanical Systems and Symmetry
Geometric Phases, Control Theory, and Robotics
Exponential Stabilization of Driftless Nonlinear Control Systems via Time-varying, Homogeneous Feedback
Differential Flatness and Absolute Equivalence of Nonlinear Control Systems
Stabilization of Trajectories for Systems with Nonholonomic Constraints
Extending Exponential Stabilizers for Nonholonomic Systems from Kinematic Controllers to Dynamic Controllers
Exponential Stabilization of Driftless Nonlinear Control Systems
Nonholonomic Mechanics and Locomotion: The Snakeboard Example
Experiments in Exponential Stabilization of a Mobile Robot Towing a Trailer
Applications and Extensions of Goursat Normal Form to Control of Nonlinear Systems
Nonholonomic Motion Planning: Steering Using Sinusoids
Trajectory generation for the N-trailer problem using Goursat normal form
A Case Study in Approximate Linearization: The Acrobot Example
Robotic Control and Nonholonomic Motion Planning
Experiments in Planar Manipulation and Grasping
Design Space Exploration of the Violacein Pathway in Escherichia coli Based Cell-Free System
Design and application of stationary phase combinatorial promoters
Identifying and exploiting tolerance to unexpected jumps in synthesized strategies for GR(1) specifications
Model Predictive Control for Signal Temporal Logic Specifications
An analytical approach to bistable biological circuit discrimination using real algebraic geometry
Robust Model Predictive Control with a Safety Mode: Applied to Small-Body Proximity Operations
Optimal nonlinear guidance with inner-loop feedback for hypersonic re-entry
Model-Based Control of Cavity Oscillations, Part I: Experiments
Synthesis of Control Protocols for Switched Electrical Power Systems for Commercial Applications with Safety Specifications
A population-based temporal logic gate for timing and recording chemical events
Interfacing TuLiP with the JPL Statechart Autocoder: Initial progress toward synthesis of flight software from formal specifications
The role of single occupancy effects on integrase dynamics in a cell-free system
Robust Model Predictive Control for Signal Temporal Logic Synthesis
Stochastic Gene Expression in Single Gene Oscillator Variants
Control design for hybrid systems with TuLiP: The temporal logic planning toolbox
Enhancing tolerance to unexpected jumps in GR(1) games
Connected Cruise Control Design Using Probabilistic Model Checking
Quantifying Resource Competition and its Effects in the TX-TL System
Fast Automatic Verification of Large-Scale Systems with Lookup Tables
Repressing Integrase attachment site operation with CRISPR-Cas9 in E. coli
Engineering pulsatile communication in bacterial consortia
Hiding variables when decomposing specifications into GR(1) contracts
Decomposing GR(1) Games with Singleton Liveness Guarantees for Efficient Synthesis
The Effect of Compositional Context on Synthetic Gene Networks
Population regulation in microbial consortia using dual feedback control
Quantitative Modeling of Integrase Dynamics Using a Novel Python Toolbox for Parameter Inference in Synthetic Biology
Parallelizing Synthesis from Temporal Logic Specifications by Identifying Equicontrollable States
Learning-Based Abstractions for Nonlinear Constraint Solving
Synthesis of Correct-by-Construction Behavior Trees
Biophysical Constraints Arising from Compositional Context in Synthetic Gene Networks
Recursively constructing analytic expressions for equilibrium distributions of stochastic biochemical reaction networks
Cell-free and in vivo characterization of Lux, Las, and Rpa quorum activation systems in E. coli
Layering assume-guarantee contracts for hierarchical system design
System-level studies of a cell-free transcription-translation platform for metabolic engineering
A Bayesian approach to inferring chemical signal timing and amplitude in a temporal logic gate using the cell population distributional response
An In Silico Modeling Toolbox for Rapid Prototyping of Circuits in a Biomolecular “Breadboard” System
Control Theory for Synthetic Biology: Recent Advances in System Characterization, Control Design, and Controller Implementation for Synthetic Biology
Length and time scales of cell-cell signaling circuits in agar
Hard Limits And Performance Tradeoffs In A Class Of Sequestration Feedback Systems
Control of bacterial population density with population feedback and molecular sequestration
Proof of concept continuous event logging in living cells
Modeling Dynamic Transcriptional Circuits with CRISPRi
Single day construction of multi-gene circuits with 3G assembly
Long-distance communication in synthetic bacterial consortia through active signal propagation
Role of interaction network topology in controlling microbial population in consortia
Voluntary lane-change policy synthesis with reactive control improvisation
Optimal Experiment Design and Leveraging Competition for Shared Resources in Cell-free Extracts
On-chip membrane protein cell-free expression enables development of a direct binding assay: A curious case of potassium channel KcsA-Kv1.3
Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams
Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations
Cell-Free Extract Data Variability Reduction in the Presence of Structural Non-Identifiability
A modal interface contract theory for guarded input/output automata with an application in traffic system design
Risk-aware motion planning for automated vehicle among human-driven cars
Robust Estimation Framework with Semantic Measurements
End-to-End Safe Reinforcement Learning through Barrier Functions for Safety-Critical Continuous Control Tasks
Inverse Abstraction of Neural Networks Using Symbolic Interpolation
Model of Paradoxical Signaling Regulated T-Cell Population Control for Design of Synthetic Circuits
Cooperation Enhances Robustness of Coexistence in Spatially Structured Consortia
Engineering Transcriptional Regulator Effector Specificity Using Computational Design and In Vitro Rapid Prototyping: Developing a Vanillin Sensor
Fast and flexible simulation and parameter estimation for synthetic biology using bioscrape
Addressable, “Packet-Based” Intercellular Communication through Plasmid Conjugation
Quantitative characterization of random partitioning in the evolution of plasmid-encoded traits
Tunable integrase-mediated differentiation facilitates improved output of burdensome functions in E. coli
A Method for Cost-Effective and Rapid Characterization of Engineered T7-based Transcription Factors by Cell-Free Protein Synthesis Reveals Insights into the Regulation of T7 RNA Polymerase-Driven Expression
Control of density and composition in an engineered two-member bacterial community
An automated model reduction tool to guide the design and analysis of synthetic biological circuits
Design of a genetic layered feedback controller in synthetic biological circuitry
Bacterial Controller Aided Wound Healing: A Case Study in Dynamical Population Controller Design
Analysis of primitive genetic interactions for the design of a genetic signal differentiator
Towards Assume-Guarantee Profiles for Autonomous Vehicles
Counter-example Guided Learning of Bounds on Environment Behavior
Model Reduction Tools For Phenomenological Modeling of Input-Controlled Biological Circuits
Theoretical Design of Paradoxical Signaling-Based Synthetic Population Control Circuit in E. coli
A geometric and structural approach to the analysis and design of biological circuit dynamics: a theory tailored for synthetic biology
Layered Feedback Control Improves Robust Functionality across Heterogeneous Cell Populations
Intermittent Connectivity for Exploration in Communication-Constrained Multi-Agent Systems
Invariant Sets for Integrators and Quadrotor Obstacle Avoidance
Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions
Assessment of Robustness to Temperature in a Negative Feedback Loop and a Feedforward Loop
BioCRNpyler: Compiling chemical reaction networks from biomolecular parts in diverse contexts
A two-state ribosome and protein model can robustly capture the chemical reaction dynamics of gene expression
Analysis of Circuits for Dosage Control in Microbial Populations
Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture
Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications
Synthesis of Static Test Environments for Observing Sequence-like Behaviors in Autonomous Systems
Planning and Optimization for Multi-Robot Planetary Cave Exploration under Intermittent Connectivity Constraints
Learning pose estimation for UAV autonomous navigation and landing using visual-inertial sensor data
Synthetic mammalian signaling circuits for robust cell population control
Reactive motion planning with probabilistic safety guarantees
Engineering Logical Inflammation Sensing Circuit for Modulating Gut Conditions
Rules of the Road: Safety and Liveness Guarantees for Autonomous Vehicles
A MATLAB toolbox for modeling genetic circuits in cell-free systems
Time-Optimal Navigation in Uncertain Environments with High-Level Specifications
Limits of probabilistic safety guarantees when considering human uncertainty
A Method for Cost-Effective and Rapid Characterization of Genetic Parts
Bistable State Switch Enables Ultrasensitive Feedback Control in Heterogeneous Microbial Populations
Constrained risk-averse Markov decision processes
Modeling predicts that CRISPR-based activators, unlike CRISPR-based repressors, scale well with increasing gRNA competition and dCas9 bottlenecking
Systems Level Model of Dietary Effects on Cognition via the Microbiome-Gut-Brain Axis
Guidelines for Designing the Antithetic Feedback Motif
How to model DNA replication in stochastic models of synthetic genetic circuits (and why)
Data-driven network models for genetic circuits from time-series data with incomplete measurements
Risk-Averse Decision Making Under Uncertainty
Robustness Guarantees for Structured Model Reduction of Dynamical Systems
The Python Control Systems Library (python-control)
Robustness guarantees for structured model reduction of dynamical systems with applications to biomolecular models
Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems
From Specification to Implementation: Assume-Guarantee Contracts for Synthetic Biology
Robust Safe Control Synthesis with Disturbance Observer-Based Control Barrier Functions
Layered Feedback Control Overcomes Performance Trade-Off in Synthetic Biomolecular Networks
Construction of an inducible amyloid expression circuit in Bacillus megaterium: A case study with CsgA and TasA
Metabolic engineering of Pseudomonas putida for production of vanillylamine from lignin-derived substrates
Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows
A Model-Free Algorithm for Extremely Resilient Navigation
Evaluation Metrics for Object Detection for Autonomous Systems
Characterization of Integrase and Excisionase Activity in Cell-free Protein Expression System Using a Modeling and Analysis Pipeline
Minimally Constrained Testing for Autonomy with Temporal Logic Specifications
Reasoning over Test Specifications using Assume-Guarantee Contracts
Evaluation Metrics of Object Detection for Quantitative System-Level Analysis of Autonomous Systems
Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications
Context-Aided Variable Elimination for Requirement Engineering
A 65nm CMOS Living-Cell Dynamic Fluorescence Sensor with 1.05fA Sensitivity at 600/700nm Wavelengths
Control education for societal-scale challenges: A community roadmap
Metabolic perturbations to an E. coli-based cell-free system reveal a trade-off between transcription and translation
Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design
Development of cell-free transcription-translation systems in three soil Pseudomonads
A chemical reaction network model of PURE
Engineering the soil bacterium Pseudomonas synxantha 2-79 into a ratiometric bioreporter for phosphorus limitation
TRILL: Orchestrating Modular Deep-Learning Workflows for Democratized, Scalable Protein Analysis and Engineering
Addressable and adaptable intercellular communication via DNA messaging
Integrase-mediated differentiation circuits improve evolutionary stability of burdensome and toxic functions in E. coli
Efficient local validation of partially ordered models via Baysian directed sampling
Optimizing protein expression in the One-Pot PURE system: Insights into reaction composition and translation efficiency
A Field-Deployable Arsenic Sensor Integrating Bacillus Megaterium with CMOS Technology
Specifying and Analyzing Networked and Layered Control Systems Operating on Multiple Clocks
Impact of Chemical Dynamics of Commercial PURE Systems on Malachite Green Aptamer Fluorescence
Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications