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