]>
2022-05-16T14:54:10+00:00
Papers
14
en
2016-05-15T17:14:54Z
2457524.2186806
Papers
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
A Case Study in Approximate Linearization: The Acrobot Example
0
en
A Case Study in Approximate Linearization: The Acrobot Example
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
A Compositional Approach to Stochastic Optimal Control with Temporal Logic Specifications
0
en
A Compositional Approach to Stochastic Optimal Control with Temporal Logic Specifications
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
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 Contract-Based Methodology for Aircraft Electric Power System Design
0
en
A Contract-Based Methodology for Aircraft Electric Power System Design
A Control-Oriented Analysis of Bio-Inspired Visuomotor Convergence
0
en
A Control-Oriented Analysis of Bio-Inspired Visuomotor Convergence
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
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
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
A Framework for Lyapunov Certificates for Multi-Vehicle Rendezvous Problems
0
en
A Framework for Lyapunov Certificates for Multi-Vehicle Rendezvous Problems
A Frequency Domain Condition for Stability of Interconnected MIMO Systems
0
en
A Frequency Domain Condition for Stability of Interconnected MIMO Systems
A Geometric Perspective on Bifurcation Control
0
en
A Geometric Perspective on Bifurcation Control
A Homotopy Algorithm for Approximating Geometric Distributions by Integrable Systems
0
en
A Homotopy Algorithm for Approximating Geometric Distributions by Integrable Systems
A MATLAB toolbox for modeling genetic circuits in cell-free systems
0
en
A MATLAB toolbox for modeling genetic circuits in cell-free systems
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
A Method for Cost-Effective and Rapid Characterization of Genetic Parts
0
en
A Method for Cost-Effective and Rapid Characterization of Genetic Parts
A Motion Planner for Nonholonomic Robots
0
en
A Motion Planner for Nonholonomic Robots
A Multi-Model Approach to Identification of Biosynthetic Pathways
0
en
A Multi-Model Approach to Identification of Biosynthetic Pathways
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
A Risk-Aware Architecture for Resilient Spacecraft Operations
0
en
A Risk-Aware Architecture for Resilient Spacecraft Operations
A Robust Nonlinear Model Predictive Control Algorithm with a Safety Mode
0
en
A Robust Nonlinear Model Predictive Control Algorithm with a Safety Mode
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 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
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
A Testbed for Nonlinear Flight Control Techniques: The Caltech Ducted Fan
0
en
A Testbed for Nonlinear Flight Control Techniques: The Caltech Ducted Fan
A bio-plausible design for visual attitude stabilization
0
en
A bio-plausible design for visual attitude stabilization
A bio-plausible design for visual pose stabilization
0
en
A bio-plausible design for visual pose stabilization
A bootstrappable bio-plausible design for visual pose stabilization
0
en
A bootstrappable bio-plausible design for visual pose stabilization
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
A group-theoretic approach to formalizing bootstrapping problems
0
en
A group-theoretic approach to formalizing bootstrapping problems
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 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
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
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
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
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
Active Control of Integrated Inlet/Compression Systems: Initial Results
0
en
Active Control of Integrated Inlet/Compression Systems: Initial Results
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
Active Control of an Axial Flow Compressor via Pulsed Air Injection
0
en
Active Control of an Axial Flow Compressor via Pulsed Air Injection
Addressable, “Packet-Based” Intercellular Communication through Plasmid Conjugation
0
en
Addressable, “Packet-Based” Intercellular Communication through Plasmid Conjugation
Agreement Problems in Networks with Directed Graphs and Switching Toplogy
0
en
Agreement Problems in Networks with Directed Graphs and Switching Toplogy
Alice: An information-rich autonomous vehicle for high-speed desert navigation
0
en
Alice: An information-rich autonomous vehicle for high-speed desert navigation
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
An Efficient Algorithm for Performance Analysis of Nonlinear Control Systems
0
en
An Efficient Algorithm for Performance Analysis of Nonlinear Control Systems
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
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
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
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
An Iterative Abstraction Algorithm for Reactive Correct-by-Construction Controller Synthesis
0
en
An Iterative Abstraction Algorithm for Reactive Correct-by-Construction Controller Synthesis
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
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
Analysis and design of a synthetic transcriptional network for exact adaptation
0
en
Analysis and design of a synthetic transcriptional network for exact adaptation
Analysis of Circuits for Dosage Control in Microbial Populations
0
en
Analysis of Circuits for Dosage Control in Microbial Populations
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
Analysis of Dynamics in Escaping Flight Initiation in Drosophila
0
en
Analysis of Dynamics in Escaping Flight Initiation in Drosophila
Analysis of a Digital Clock for Molecular Computing
0
en
Analysis of a Digital Clock for Molecular Computing
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
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
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
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
Approximate Distributed Kalman Filtering in Sensor Networks with Quantifiable Performance
0
en
Approximate Distributed Kalman Filtering in Sensor Networks with Quantifiable Performance
Approximate Trajectory Generation for Differentially Flat Systems with Zero Dynamics
0
en
Approximate Trajectory Generation for Differentially Flat Systems with Zero Dynamics
Approximation of Subnetwork Models using Frequency-Domain Data
0
en
Approximation of Subnetwork Models using Frequency-Domain Data
Aspects of Geometric Mechanics and Control of Mechanical Systems
0
en
Aspects of Geometric Mechanics and Control of Mechanical Systems
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
Asynchronous Distributed Averaging on Communication Networks
0
en
Asynchronous Distributed Averaging on Communication Networks
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
Automatic Synthesis of Robust Embedded Control Software
0
en
Automatic Synthesis of Robust Embedded Control Software
Automaton-Guided Controller Synthesis for Nonlinear Systems with Temporal Logic
0
en
Automaton-Guided Controller Synthesis for Nonlinear Systems with Temporal Logic
Autonomous Driving in Urban Environments: Approaches, Lessons and Challenges
0
en
Autonomous Driving in Urban Environments: Approaches, Lessons and Challenges
Autonomous Reorientation of a Manuever-Limited Spacecraft Under Simple Pointing Constraints
0
en
Autonomous Reorientation of a Manuever-Limited Spacecraft Under Simple Pointing Constraints
Backtracking temporal logic synthesis for uncertain environments
0
en
Backtracking temporal logic synthesis for uncertain environments
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
Bifurcation Control of Rotating Stall with Actuator Magnitude and Rate Limits
0
en
Bifurcation Control of Rotating Stall with Actuator Magnitude and Rate Limits
Bio-Inspired Visuomotor Convergence in Navigation and Flight Control Systems
0
en
Bio-Inspired Visuomotor Convergence in Navigation and Flight Control Systems
BioCRNpyler: Compiling chemical reaction networks from biomolecular parts in diverse contexts
0
en
BioCRNpyler: Compiling chemical reaction networks from biomolecular parts in diverse contexts
Bioligically Inspired Feedback Design for Drosophila Flight
0
en
Bioligically Inspired Feedback Design for Drosophila Flight
Biomolecular resource utilization in elementary cell-free gene circuits
0
en
Biomolecular resource utilization in elementary cell-free gene circuits
Biophysical Constraints Arising from Compositional Context in Synthetic Gene Networks
0
en
Biophysical Constraints Arising from Compositional Context in Synthetic Gene Networks
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
Bistable State Switch Enables Ultrasensitive Feedback Control in Heterogeneous Microbial Populations
0
en
Bistable State Switch Enables Ultrasensitive Feedback Control in Heterogeneous Microbial Populations
Bootstrapping bilinear models of robotic sensorimotor cascades
0
en
Bootstrapping bilinear models of robotic sensorimotor cascades
Bootstrapping bilinear models of simple vehicles
0
en
Bootstrapping bilinear models of simple vehicles
Cascade Discrete-Continuous State Estimators for a Class of Monotone Systems
0
en
Cascade Discrete-Continuous State Estimators for a Class of Monotone Systems
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
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
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
Characterizing and Prototyping Genetic Networks with Cell-Free Transcription-Translation Reactions
0
en
Characterizing and Prototyping Genetic Networks with Cell-Free Transcription-Translation Reactions
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
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
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
Collaborative System Identification via Parameter Consensus
0
en
Collaborative System Identification via Parameter Consensus
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
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
Communication and sensing trade-offs in cooperative mobile networks
0
en
Communication and sensing trade-offs in cooperative mobile networks
Compositional stability analysis based on dual decomposition
0
en
Compositional stability analysis based on dual decomposition
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
Cone Invariance and Rendezvous of Multiple Agents
0
en
Cone Invariance and Rendezvous of Multiple Agents
Cone invariance and rendezvous of multiple agents
0
en
Cone invariance and rendezvous of multiple agents
Configuration Controllability of Simple Mechanical Control Systems
0
en
Configuration Controllability of Simple Mechanical Control Systems
Configuration Flatness of Lagrangian Systems Underactuated by One Control
0
en
Configuration Flatness of Lagrangian Systems Underactuated by One Control
Connected Cruise Control Design Using Probabilistic Model Checking
0
en
Connected Cruise Control Design Using Probabilistic Model Checking
Consensus Protocols for Networks of Dynamic Agents
0
en
Consensus Protocols for Networks of Dynamic Agents
Consensus Seeking Using Multi-Hop Relay Protocol
0
en
Consensus Seeking Using Multi-Hop Relay Protocol
Consensus and Cooperation in Networked Multi-Agent Systems
0
en
Consensus and Cooperation in Networked Multi-Agent Systems
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
Constrained Trajectory Generation for Microsatellite Formation Flying
0
en
Constrained Trajectory Generation for Microsatellite Formation Flying
Constrained risk-averse Markov decision processes
0
en
Constrained risk-averse Markov decision processes
Contracts of Reactivity
0
en
Contracts of Reactivity
Control Over a Network: Using Actuation Buffers to Reduce Transmission Frequency
0
en
Control Over a Network: Using Actuation Buffers to Reduce Transmission Frequency
Control Over a Packet Dropping Network with Norm Bounded Uncertainties
0
en
Control Over a Packet Dropping Network with Norm Bounded Uncertainties
Control Primitives for Robot Systems
0
en
Control Primitives for Robot Systems
Control Program Verification for a Sample Titan Aerobot Mission
0
en
Control Program Verification for a Sample Titan Aerobot Mission
Control System Analysis on Symmetric Cones
0
en
Control System Analysis on Symmetric Cones
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
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
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
Control of bacterial population density with population feedback and molecular sequestration
0
en
Control of bacterial population density with population feedback and molecular sequestration
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
Control on the Sphere and Reduced Attitude Stabilization
0
en
Control on the Sphere and Reduced Attitude Stabilization
Controller Synthesis for Constrained Flight Systems via Receding Horizon Optimization
0
en
Controller Synthesis for Constrained Flight Systems via Receding Horizon Optimization
Controlling biological networks by time-delayed signals
0
en
Controlling biological networks by time-delayed signals
Convergence Properties of Dynamic Agents Consensus Networks with Broken Links
0
en
Convergence Properties of Dynamic Agents Consensus Networks with Broken Links
Conversion and Verification Procedure for Goal-Based Control Programs
0
en
Conversion and Verification Procedure for Goal-Based Control Programs
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
Convex Optimal Uncertainty Quantification
0
en
Convex Optimal Uncertainty Quantification
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
Cooperation Enhances Robustness of Coexistence in Spatially Structured Consortia
0
en
Cooperation Enhances Robustness of Coexistence in Spatially Structured Consortia
Cooperative Control of Multi-Vehicle Systems using Cost Graphs and Optimization
0
en
Cooperative Control of Multi-Vehicle Systems using Cost Graphs and Optimization
Cooperative Task Planning of Multi-Robot Systems with Temporal Constraints
0
en
Cooperative Task Planning of Multi-Robot Systems with Temporal Constraints
Counter-example Guided Learning of Bounds on Environment Behavior
0
en
Counter-example Guided Learning of Bounds on Environment Behavior
Cross-entropy Temporal Logic Motion Planning
0
en
Cross-entropy Temporal Logic Motion Planning
Data Transmission over Networks for Estimation
0
en
Data Transmission over Networks for Estimation
Data Transmission over Networks for Estimation and Control
0
en
Data Transmission over Networks for Estimation and Control
Decentralised minimal-time dynamic consensus
0
en
Decentralised minimal-time dynamic consensus
Decentralized Multi-Agent Optimization via Dual Decomposition
0
en
Decentralized Multi-Agent Optimization via Dual Decomposition
Decomposing GR(1) Games with Singleton Liveness Guarantees for Efficient Synthesis
0
en
Decomposing GR(1) Games with Singleton Liveness Guarantees for Efficient Synthesis
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
Decompositions for Control Systems on Manifolds with an Affine Connection
0
en
Decompositions for Control Systems on Manifolds with an Affine Connection
Delay-Based Approximations of Biological Systems for Analysis and Design
0
en
Delay-Based Approximations of Biological Systems for Analysis and Design
Delay-Based Controller Design for Continuous-Time and Hybrid Applications
0
en
Delay-Based Controller Design for Continuous-Time and Hybrid Applications
Delay-dependent Stability of Genetic Regulatory Networks
0
en
Delay-dependent Stability of Genetic Regulatory Networks
Design Guidelines For Sequestration Feedback Networks
0
en
Design Guidelines For Sequestration Feedback Networks
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 Implementation of a Biomolecular Circuit for Tracking Protein Concentration
0
en
Design and Implementation of a Biomolecular Circuit for Tracking Protein Concentration
Design and application of stationary phase combinatorial promoters
0
en
Design and application of stationary phase combinatorial promoters
Design and implementation of a synthetic biomolecular concentration tracker
0
en
Design and implementation of a synthetic biomolecular concentration tracker
Design and performance of in vitro transcription rate regulatory circuit
0
en
Design and performance of in vitro transcription rate regulatory circuit
Design of a Toolbox of RNA Thermometers
0
en
Design of a Toolbox of RNA Thermometers
Design of a genetic layered feedback controller in synthetic biological circuitry
0
en
Design of a genetic layered feedback controller in synthetic biological circuitry
Design of insulating devices for in vitro synthetic circuits
0
en
Design of insulating devices for in vitro synthetic circuits
Designing Robustness to Temperature in a Feedforward Loop Circuit
0
en
Designing Robustness to Temperature in a Feedforward Loop Circuit
Differential Flatness and Absolute Equivalence of Nonlinear Control Systems
0
en
Differential Flatness and Absolute Equivalence of Nonlinear Control Systems
Differential Flatness of Mechanical Control Systems: A Catalog of Prototype Systems
0
en
Differential Flatness of Mechanical Control Systems: A Catalog of Prototype Systems
Differential Flatness of Two One-Forms in Arbitrary Number of Variables
0
en
Differential Flatness of Two One-Forms in Arbitrary Number of Variables
Differentially Flat Nonlinear Control Systems
0
en
Differentially Flat Nonlinear Control Systems
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
Discrete Function Approximation: Numerical Tools for Nonlinear Control
0
en
Discrete Function Approximation: Numerical Tools for Nonlinear Control
Discrete State Estimators for Systems on a Lattice
0
en
Discrete State Estimators for Systems on a Lattice
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
Distributed Averaging on Asynchronous Communication Networks
0
en
Distributed Averaging on Asynchronous Communication Networks
Distributed Computation for Cooperative Control
0
en
Distributed Computation for Cooperative Control
Distributed Cooperative Control of Multiple Vehicle Formations Using Structural Potential Functions
0
en
Distributed Cooperative Control of Multiple Vehicle Formations Using Structural Potential Functions
Distributed Gradient Systems and Dynamic Coordination
0
en
Distributed Gradient Systems and Dynamic Coordination
Distributed Mission and Contingency Management for the DARPA Urban Challenge
0
en
Distributed Mission and Contingency Management for the DARPA Urban Challenge
Distributed Power Allocation for Vehicle Management Systems
0
en
Distributed Power Allocation for Vehicle Management Systems
Distributed Receding Horizon Control with Applications to Multi-Vehicle Formation Stabilization
0
en
Distributed Receding Horizon Control with Applications to Multi-Vehicle Formation Stabilization
Distributed Sensor Fusion Using Dynamic Consensus
0
en
Distributed Sensor Fusion Using Dynamic Consensus
Distributed Structural Stabilization and Tracking for Formations of Dynamic Multi-Agents
0
en
Distributed Structural Stabilization and Tracking for Formations of Dynamic Multi-Agents
Distributed Synthesis of Control Protocols for Smart Camera Networks
0
en
Distributed Synthesis of Control Protocols for Smart Camera Networks
Dynamic Consensus for Mobile Networks
0
en
Dynamic Consensus for Mobile Networks
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
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
Dynamical Models for Control of Cavity Oscillations
0
en
Dynamical Models for Control of Cavity Oscillations
Dynamics and Stability of Low Reynolds Number Swimming Near a Wall
0
en
Dynamics and Stability of Low Reynolds Number Swimming Near a Wall
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
Effect of Narrowband Channels on the Control
0
en
Effect of Narrowband Channels on the Control
Effective Sensor Scheduling Schemes Employing Feedback in the Communication Loop
0
en
Effective Sensor Scheduling Schemes Employing Feedback in the Communication Loop
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
Effective Transition Rates for Epitaxial Growth Using Fast Modulation
0
en
Effective Transition Rates for Epitaxial Growth Using Fast Modulation
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
Effects of Magnitude Saturation in Control of Bifurcations
0
en
Effects of Magnitude Saturation in Control of Bifurcations
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
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
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
Efficient reactive controller synthesis for a fragment of linear temporal logic
0
en
Efficient reactive controller synthesis for a fragment of linear temporal logic
Ellipsoidal Cones and Rendezvous of Multiple Agents
0
en
Ellipsoidal Cones and Rendezvous of Multiple Agents
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
Engineering Logical Inflammation Sensing Circuit for Modulating Gut Conditions
0
en
Engineering Logical Inflammation Sensing Circuit for Modulating Gut Conditions
Engineering Principles of Synthetic Biochemical Oscillators with Negative Cyclic Feedback
0
en
Engineering Principles of Synthetic Biochemical Oscillators with Negative Cyclic Feedback
Engineering Transcriptional Regulator Effector Specificity Through Rational Design and Rapid Prototyping
0
en
Engineering Transcriptional Regulator Effector Specificity Through Rational Design and Rapid Prototyping
Engineering Transcriptional Regulator Effector Specificity Using Computational Design and In Vitro Rapid Prototyping: Developing a Vanillin Sensor
0
en
Engineering Transcriptional Regulator Effector Specificity Using Computational Design and In Vitro Rapid Prototyping: Developing a Vanillin Sensor
Engineering Transcriptional Regulator Effector Specificity using Computational Design and In Vitro Rapid Prototyping: Developing a Vanillin Sensor
0
en
Engineering Transcriptional Regulator Effector Specificity using Computational Design and In Vitro Rapid Prototyping: Developing a Vanillin Sensor
Engineering pulsatile communication in bacterial consortia
0
en
Engineering pulsatile communication in bacterial consortia
Enhancing tolerance to unexpected jumps in GR(1) games
0
en
Enhancing tolerance to unexpected jumps in GR(1) games
Equilibrium Controllability for a Class of Mechanical Systems
0
en
Equilibrium Controllability for a Class of Mechanical Systems
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
Estimation over Communication Networks: Performance Bounds and Achievability Results
0
en
Estimation over Communication Networks: Performance Bounds and Achievability Results
Estimation schemes for networked control systems using UDP-like communication
0
en
Estimation schemes for networked control systems using UDP-like communication
Estimation with Information Loss: Asymptotic Analysis and Error Bounds
0
en
Estimation with Information Loss: Asymptotic Analysis and Error Bounds
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
Exact Stability Analysis of Discrete-Time Linear Systems with Stochastic Delays
0
en
Exact Stability Analysis of Discrete-Time Linear Systems with Stochastic Delays
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
Experimental Comparison of Trajectory Trackers for a Car with Trailers
0
en
Experimental Comparison of Trajectory Trackers for a Car with Trailers
Experimental Demonstration of the Dynamics and Stability of a Low Reynolds Number Swimmer Near a Plane Wall
0
en
Experimental Demonstration of the Dynamics and Stability of a Low Reynolds Number Swimmer Near a Plane Wall
Experimental Evaluation of Air Injection for Actuation of Rotating Stall in a Low Speed, Axial Fan
0
en
Experimental Evaluation of Air Injection for Actuation of Rotating Stall in a Low Speed, Axial Fan
Experiments in Exponential Stabilization of a Mobile Robot Towing a Trailer
0
en
Experiments in Exponential Stabilization of a Mobile Robot Towing a Trailer
Experiments in Planar Manipulation and Grasping
0
en
Experiments in Planar Manipulation and Grasping
Exponential Stabilization of Driftless Nonlinear Control Systems
0
en
Exponential Stabilization of Driftless Nonlinear Control Systems
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
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
Extremal Properties of Complex Networks
0
en
Extremal Properties of Complex Networks
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
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
Fast Automatic Verification of Large-Scale Systems with Lookup Tables
0
en
Fast Automatic Verification of Large-Scale Systems with Lookup Tables
Fast Mode Switching for a Thrust Vectored Aircraft
0
en
Fast Mode Switching for a Thrust Vectored Aircraft
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
Fault detection and isolation from uninterpreted data in robotic sensorimotor cascades
0
en
Fault detection and isolation from uninterpreted data in robotic sensorimotor cascades
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
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
Feedback Stabilization of Steady-State and Hopf Bifurcations
0
en
Feedback Stabilization of Steady-State and Hopf Bifurcations
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
Feedback architectures to regulate flux of components in artificial gene networks
0
en
Feedback architectures to regulate flux of components in artificial gene networks
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
Finite-Horizon Optimal Control and Stabilization of Time-Scalable Systems
0
en
Finite-Horizon Optimal Control and Stabilization of Time-Scalable Systems
Flat systems, equivalence and trajectory generation
0
en
Flat systems, equivalence and trajectory generation
Flight control in a flapping-wing fruit fly simulator
0
en
Flight control in a flapping-wing fruit fly simulator
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
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
Formal Verification of an Autonomous Vehicle System
0
en
Formal Verification of an Autonomous Vehicle System
Frequency-Weighted Model Reduction with Applications to Structured Models
0
en
Frequency-Weighted Model Reduction with Applications to Structured Models
Future Directions in Control in an Information-Rich World
0
en
Future Directions in Control in an Information-Rich World
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
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
Geometric Control of Particle Manipulation in a Two-Dimensional Fluid
0
en
Geometric Control of Particle Manipulation in a Two-Dimensional Fluid
Geometric Phases and Robotic Locomotion
0
en
Geometric Phases and Robotic Locomotion
Geometric Phases, Control Theory, and Robotics
0
en
Geometric Phases, Control Theory, and Robotics
Geometric trajectory filtering via numerical conformal mapping
0
en
Geometric trajectory filtering via numerical conformal mapping
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
Graph Laplacians and Stabilization of Vehicle Formations
0
en
Graph Laplacians and Stabilization of Vehicle Formations
Grasping with Flexible Link Fingers: An Initial Study
0
en
Grasping with Flexible Link Fingers: An Initial Study
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
Hiding variables when decomposing specifications into GR(1) contracts
0
en
Hiding variables when decomposing specifications into GR(1) contracts
Hot-swapping robot task goals in reactive formal synthesis
0
en
Hot-swapping robot task goals in reactive formal synthesis
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
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
Implementation And Simulation Of Phosphorylation-Based Insulator In Transcription-Translation Platform
0
en
Implementation And Simulation Of Phosphorylation-Based Insulator In Transcription-Translation Platform
Information Flow and Cooperative Control of Vehicle Formations
0
en
Information Flow and Cooperative Control of Vehicle Formations
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
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
Inverse Abstraction of Neural Networks Using Symbolic Interpolation
0
en
Inverse Abstraction of Neural Networks Using Symbolic Interpolation
Inversion Based Trajectory Optimization
0
en
Inversion Based Trajectory Optimization
J2 Dynamics and Formation Flight
0
en
J2 Dynamics and Formation Flight
Just-in-time synthesis for motion planning with temporal logic
0
en
Just-in-time synthesis for motion planning with temporal logic
Kalman Filtering Over A Packet Dropping Network: A Probabilistic Perspective
0
en
Kalman Filtering Over A Packet Dropping Network: A Probabilistic Perspective
Kalman Filtering Over A Packet-delaying Network: A Probabilistic Approach
0
en
Kalman Filtering Over A Packet-delaying Network: A Probabilistic Approach
Kinetic Monte Carlo Simulation of Dynamic Phenomena in Thin Film Growth
0
en
Kinetic Monte Carlo Simulation of Dynamic Phenomena in Thin Film Growth
Lagrangian Mechanics and Carangiform Locomotion
0
en
Lagrangian Mechanics and Carangiform Locomotion
Layered Feedback Control Improves Robust Functionality across Heterogeneous Cell Populations
0
en
Layered Feedback Control Improves Robust Functionality across Heterogeneous Cell Populations
Layering assume-guarantee contracts for hierarchical system design
0
en
Layering assume-guarantee contracts for hierarchical system design
Learning diffeomorphism models of robotic sensorimotor cascades
0
en
Learning diffeomorphism models of robotic sensorimotor cascades
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
Learning-Based Abstractions for Nonlinear Constraint Solving
0
en
Learning-Based Abstractions for Nonlinear Constraint Solving
Length and time scales of cell-cell signaling circuits in agar
0
en
Length and time scales of cell-cell signaling circuits in agar
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
Limits of probabilistic safety guarantees when considering human uncertainty
0
en
Limits of probabilistic safety guarantees when considering human uncertainty
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
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
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
Linear System Identifiability from Distributional and Time Series Data
0
en
Linear System Identifiability from Distributional and Time Series Data
Linear models for control of cavity flow oscillations
0
en
Linear models for control of cavity flow oscillations
Long-distance communication in synthetic bacterial consortia through active signal propagation
0
en
Long-distance communication in synthetic bacterial consortia through active signal propagation
Low-Observable Nonlinear Trajectory Generation for Unmanned Air Vehicles
0
en
Low-Observable Nonlinear Trajectory Generation for Unmanned Air Vehicles
MVWT-II: The Second Generation Caltech Multi-Vehicle Wireless Testbed
0
en
MVWT-II: The Second Generation Caltech Multi-Vehicle Wireless Testbed
Managing information in networked and multi-agent control systems
0
en
Managing information in networked and multi-agent control systems
Model Predictive Control for Signal Temporal Logic Specifications
0
en
Model Predictive Control for Signal Temporal Logic Specifications
Model Predictive Control for an Uncertain Smart Thermal Grid
0
en
Model Predictive Control for an Uncertain Smart Thermal Grid
Model Predictive Control of Coordinated Multi-Vehicle Formations
0
en
Model Predictive Control of Coordinated Multi-Vehicle Formations
Model Predictive Control of a Thurst-Vectored Flight Control Experiment
0
en
Model Predictive Control of a Thurst-Vectored Flight Control Experiment
Model Predictive Control with Signal Temporal Logic Specifications
0
en
Model Predictive Control with Signal Temporal Logic Specifications
Model Reduction Tools For Phenomenological Modeling of Input-Controlled Biological Circuits
0
en
Model Reduction Tools For Phenomenological Modeling of Input-Controlled Biological Circuits
Model Reduction and System Identification for Master Equation Control Systems
0
en
Model Reduction and System Identification for Master Equation Control 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 via Centering and Karhunen Loeve Expansion
0
en
Model Reduction via Centering and Karhunen Loeve Expansion
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
Model reduction of interconnected linear systems
0
en
Model reduction of interconnected linear systems
Model-Based Control of Cavity Oscillations, Part I: Experiments
0
en
Model-Based Control of Cavity Oscillations, Part I: Experiments
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
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
Modeling Dynamic Transcriptional Circuits with CRISPRi
0
en
Modeling Dynamic Transcriptional Circuits with CRISPRi
Modeling Environmental Disturbances with the Chemical Master Equation
0
en
Modeling Environmental Disturbances with the Chemical Master Equation
Modeling and Control of Epitaxial Thin Film Growth
0
en
Modeling and Control of Epitaxial Thin Film Growth
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
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
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
Modelling Efficient Pisciform Swimming for Control
0
en
Modelling Efficient Pisciform Swimming for Control
Modelling and Experimental Investigation of Carangiform Locomotion for Control
0
en
Modelling and Experimental Investigation of Carangiform Locomotion for Control
Motion Planning with Wireless Network Constraints
0
en
Motion Planning with Wireless Network Constraints
Motion planning in observations space with learned diffeomorphism models
0
en
Motion planning in observations space with learned diffeomorphism models
Moving bounding boxes and incremental synthesis for dynamic obstacles
0
en
Moving bounding boxes and incremental synthesis for dynamic obstacles
Multi-Hop Relay Protocols for Fast Consensus Seeking
0
en
Multi-Hop Relay Protocols for Fast Consensus Seeking
Multi-dimensional state estimation in adversarial environment
0
en
Multi-dimensional state estimation in adversarial environment
Negative Feedback Facilitates Temperature Robustness in Biomolecular Circuit Dynamics
0
en
Negative Feedback Facilitates Temperature Robustness in Biomolecular Circuit Dynamics
Negative autoregulation matches production and demand in synthetic transcriptional networks
0
en
Negative autoregulation matches production and demand in synthetic transcriptional networks
Networks with the Smallest Average Distance and the Largest Average Clustering
0
en
Networks with the Smallest Average Distance and the Largest Average Clustering
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
Nonholonomic Mechanical Systems and Symmetry
0
en
Nonholonomic Mechanical Systems and Symmetry
Nonholonomic Mechanical Systems with Symmetry
0
en
Nonholonomic Mechanical Systems with Symmetry
Nonholonomic Mechanics and Locomotion: The Snakeboard Example
0
en
Nonholonomic Mechanics and Locomotion: The Snakeboard Example
Nonholonomic Motion Planning: Steering Using Sinusoids
0
en
Nonholonomic Motion Planning: Steering Using Sinusoids
Nonholonomic control systems: from steering to stabilization with sinuoids
0
en
Nonholonomic control systems: from steering to stabilization with sinuoids
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
Nonlinear Control Methods for Planar Carangiform Robot Fish
0
en
Nonlinear Control Methods for Planar Carangiform Robot Fish
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
Nonlinear Control of Mechanical Systems: A Lagrangian Perspective
0
en
Nonlinear Control of Mechanical Systems: A Lagrangian Perspective
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 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
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
Nonlinear Lateral Control Strategy for Nonholonomic Vehicles
0
en
Nonlinear Lateral Control Strategy for Nonholonomic Vehicles
Nonlinear Trajectory Generation for Unmanned Air Vehicles with Multiple Radars
0
en
Nonlinear Trajectory Generation for Unmanned Air Vehicles with Multiple Radars
Nonlinear Trajectory Generation for the Caltech Multi-Vehicle Wireless Testbed
0
en
Nonlinear Trajectory Generation for the Caltech Multi-Vehicle Wireless Testbed
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
Observability of a Class of Hybrid Systems on Bounded Lattices
0
en
Observability of a Class of Hybrid Systems on Bounded Lattices
Observers for a Class of Hybrid Systems on a Lattice
0
en
Observers for a Class of Hybrid Systems on a Lattice
On Decentralized Classification using a Network of Mobile Sensors
0
en
On Decentralized Classification using a Network of Mobile Sensors
On LQG Control Across a Stochastic Packet-Dropping Link
0
en
On LQG Control Across a Stochastic Packet-Dropping Link
On Measures of Non-Integrability of Pfaffian Systems
0
en
On Measures of Non-Integrability of Pfaffian Systems
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
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 Sensor Coverage by Mobile Sensors
0
en
On Sensor Coverage by Mobile Sensors
On Sensor Fusion in the Presence of Packet-Dropping Communication Channels
0
en
On Sensor Fusion in the Presence of Packet-Dropping Communication Channels
On Synthesizing Robust Discrete Controllers under Modeling Uncertainty
0
en
On Synthesizing Robust Discrete Controllers under Modeling Uncertainty
On a Cooperative Pursuit Strategy
0
en
On a Cooperative Pursuit Strategy
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
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
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
On the Effect of Quantization on Performance
0
en
On the Effect of Quantization on Performance
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
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
Online Control Customization via Optimization-Based Control
0
en
Online Control Customization via Optimization-Based Control
Online Horizon Selection in Receding Horizon Temporal Logic Planning
0
en
Online Horizon Selection in Receding Horizon Temporal Logic Planning
Optimal Control of Affine Connection Control Systems: A Variational Approach
0
en
Optimal Control of Affine Connection Control Systems: A Variational Approach
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
Optimal Control of Nonlinear Systems with Temporal Logic Specifications
0
en
Optimal Control of Nonlinear Systems with 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
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
Optimal LQG Control Across a Packet-Dropping Link
0
en
Optimal LQG Control Across a Packet-Dropping Link
Optimal LQG control across packet-dropping links
0
en
Optimal LQG control across packet-dropping links
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
Optimal and Cooperative Control of Vehicle Formations
0
en
Optimal and Cooperative Control of Vehicle Formations
Optimal nonlinear guidance with inner-loop feedback for hypersonic re-entry
0
en
Optimal nonlinear guidance with inner-loop feedback for hypersonic re-entry
Optimization-Based Navigation for the DARPA Grand Challenge
0
en
Optimization-Based Navigation for the DARPA Grand Challenge
Optimization-based Control of Nonlinear Systems with Linear Temporal Logic Specifications
0
en
Optimization-based Control of Nonlinear Systems with Linear Temporal Logic Specifications
Optimum Allocation of Computing Resources in Networked Sensing and Control
0
en
Optimum Allocation of Computing Resources in Networked Sensing and Control
Outer flatness: trajectory generation for a model helicopter
0
en
Outer flatness: trajectory generation for a model helicopter
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
Parallelizing Synthesis from Temporal Logic Specifications by Identifying Equicontrollable States
0
en
Parallelizing Synthesis from Temporal Logic Specifications by Identifying Equicontrollable States
Parametric Delay-margin Maximization of Consensus Network Using Local Control Scheme
0
en
Parametric Delay-margin Maximization of Consensus Network Using Local Control Scheme
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
Patching task-level robot controllers based on a local Î¼-calculus formula
0
en
Patching task-level robot controllers based on a local Î¼-calculus formula
Performance Metrics for a Biomolecular Step Response
0
en
Performance Metrics for a Biomolecular Step Response
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
Polyhedral Cone Invariance Applied to Rendezvous of Multiple Agents
0
en
Polyhedral Cone Invariance Applied to Rendezvous of Multiple Agents
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
Population regulation in microbial consortia using dual feedback control
0
en
Population regulation in microbial consortia using dual feedback control
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
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
Primitives for Human Motion: A Dynamical Approach
0
en
Primitives for Human Motion: A Dynamical Approach
Privacy Preserving Average Consensus
0
en
Privacy Preserving Average Consensus
Probabilistic Performance of State Estimation Across a Lossy Network
0
en
Probabilistic Performance of State Estimation Across a Lossy Network
Probabilistic Safety Analysis of Sensor-Driven Hybrid Automata
0
en
Probabilistic Safety Analysis of Sensor-Driven Hybrid Automata
Proof of concept continuous event logging in living cells
0
en
Proof of concept continuous event logging in living cells
Proportional Derivative (PD) Control on the Euclidean Group
0
en
Proportional Derivative (PD) Control on the Euclidean Group
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
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
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
Quantification and Minimization of Crosstalk Sensitivity in Networks
0
en
Quantification and Minimization of Crosstalk Sensitivity in Networks
Quantifying Crosstalk in Biochemical Systems
0
en
Quantifying Crosstalk in Biochemical Systems
Quantifying Resource Competition and its Effects in the TX-TL System
0
en
Quantifying Resource Competition and its Effects in the TX-TL System
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
Quantitative Performance Bounds in Biomolecular Circuits due to Temperature Uncertainty
0
en
Quantitative Performance Bounds in Biomolecular Circuits due to Temperature Uncertainty
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
Quantized Consensus via Adaptive Stochastic Gossip Algorithm
0
en
Quantized Consensus via Adaptive Stochastic Gossip Algorithm
Rapid Hover to Forward Flight Transitions for a Thrust Vectored Aircraft
0
en
Rapid Hover to Forward Flight Transitions for a Thrust Vectored Aircraft
Rapid cell-free forward engineering of novel genetic ring oscillators
0
en
Rapid cell-free forward engineering of novel genetic ring oscillators
Rapid in vitro engineering of 16 two-input logic gates
0
en
Rapid in vitro engineering of 16 two-input logic gates
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
Reactive Protocols for Aircraft Electric Power Distribution
0
en
Reactive Protocols for Aircraft Electric Power Distribution
Reactive Synthesis from Signal Temporal Logic Specifications
0
en
Reactive Synthesis from Signal Temporal Logic Specifications
Reactive motion planning with probabilistic safety guarantees
0
en
Reactive motion planning with probabilistic safety guarantees
Real Time Trajectory Generation for Differentially Flat Systems
0
en
Real Time Trajectory Generation for Differentially Flat 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
Real-Time Constrained Trajectory Generation Applied to a Flight Control Experiment
0
en
Real-Time Constrained Trajectory Generation Applied to a Flight Control Experiment
Real-Time Control Experiments for Instruction and Research at Caltech
0
en
Real-Time Control Experiments for Instruction and Research at Caltech
Real-Time Optimal Trajectory Generation for Constrained Dynamical Systems
0
en
Real-Time Optimal Trajectory Generation for Constrained Dynamical Systems
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
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
Real-valued average consensus over noisy quantized channels
0
en
Real-valued average consensus over noisy quantized channels
Receding Horizon Control for Temporal Logic Specifications
0
en
Receding Horizon Control for Temporal Logic Specifications
Receding Horizon Control of Multi-Vehicle Formations: A Distributed Implementation
0
en
Receding Horizon Control of Multi-Vehicle Formations: A Distributed Implementation
Receding Horizon Control of a Vectored Thrust Flight Experiment
0
en
Receding Horizon Control of a Vectored Thrust Flight Experiment
Receding Horizon Temporal Logic Planning
0
en
Receding Horizon Temporal Logic Planning
Receding Horizon Temporal Logic Planning for Dynamical Systems
0
en
Receding Horizon Temporal Logic Planning for Dynamical Systems
Recent research in cooperative control of multivehicle systems
0
en
Recent research in cooperative control of multivehicle systems
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
Reduction Strategies for Kinetic Monte Carlo Models of Thin Film Growth
0
en
Reduction Strategies for Kinetic Monte Carlo Models of Thin Film Growth
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
Regulatory activity revealed by dynamic correlations in gene expression noise
0
en
Regulatory activity revealed by dynamic correlations in gene expression noise
Repressing Integrase attachment site operation with CRISPR-Cas9 in E. coli
0
en
Repressing Integrase attachment site operation with CRISPR-Cas9 in E. coli
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
Resource optimisation in a wireless sensor network with guaranteed estimator performance
0
en
Resource optimisation in a wireless sensor network with guaranteed estimator performance
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â
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
Risk-Averse Planning Under Uncertainty
0
en
Risk-Averse Planning Under Uncertainty
Risk-aware motion planning for automated vehicle among human-driven cars
0
en
Risk-aware motion planning for automated vehicle among human-driven cars
Robot Navigation in Dense Human Crowds: the Case for Cooperation
0
en
Robot Navigation in Dense Human Crowds: the Case for Cooperation
Robotic Control and Nonholonomic Motion Planning
0
en
Robotic Control and Nonholonomic Motion Planning
Robotic Manipulation with Flexible Link Fingers
0
en
Robotic Manipulation with Flexible Link Fingers
Robust Connectivity of Networked Vehicles
0
en
Robust Connectivity of Networked Vehicles
Robust Control of Uncertain Markov Decision Processes with Temporal Logic Specifications
0
en
Robust Control of Uncertain Markov Decision Processes with Temporal Logic Specifications
Robust Control over a Packet-Based Network
0
en
Robust Control over a Packet-Based Network
Robust Estimation Framework with Semantic Measurements
0
en
Robust Estimation Framework with Semantic Measurements
Robust Model Predictive Control for Signal Temporal Logic Synthesis
0
en
Robust Model Predictive Control for Signal Temporal Logic Synthesis
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
Robust Nonlinear Control Theory with Applications to Aerospace Vehicles
0
en
Robust Nonlinear Control Theory with Applications to Aerospace Vehicles
Robust Performance Analysis for a Class of Uncertain Nonlinear Systems
0
en
Robust Performance Analysis for a Class of Uncertain Nonlinear Systems
Robustness Analysis of Accelerometry Using an Electrostatically Suspended Gyroscope
0
en
Robustness Analysis of Accelerometry Using an Electrostatically Suspended Gyroscope
Role of interaction network topology in controlling microbial population in consortia
0
en
Role of interaction network topology in controlling microbial population in consortia
Rules of the Road: Safety and Liveness Guarantees for Autonomous Vehicles
0
en
Rules of the Road: Safety and Liveness Guarantees for Autonomous Vehicles
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
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
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
Sensing, Navigation and Reasoning Technologies for the DARPA Urban Challenge
0
en
Sensing, Navigation and Reasoning Technologies for the DARPA Urban Challenge
Sensor Scheduling Algorithms Requiring Limited Computation
0
en
Sensor Scheduling Algorithms Requiring Limited Computation
Sensorimotor Convergence in Visual Navigation and Flight Control Systems
0
en
Sensorimotor Convergence in Visual Navigation and Flight Control Systems
Simple Delay-Based Implementation of Continuous-Time Controllers
0
en
Simple Delay-Based Implementation of Continuous-Time Controllers
Simultaneous Force-Position Control for Grasping Using Flexible Link Manipulators
0
en
Simultaneous Force-Position Control for Grasping Using Flexible Link Manipulators
Simultaneous Stabilization of Stall and Surge via Axisymmetric Air Injection
0
en
Simultaneous Stabilization of Stall and Surge via Axisymmetric Air Injection
Single day construction of multi-gene circuits with 3G assembly
0
en
Single day construction of multi-gene circuits with 3G assembly
Situational Reasoning for Road Driving in an Urban Environment
0
en
Situational Reasoning for Road Driving in an Urban Environment
Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution
0
en
Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution
Stability Analysis of Interconnected Nonlinear Systems Under Matrix Feedback
0
en
Stability Analysis of Interconnected Nonlinear Systems Under Matrix Feedback
Stability Analysis of Stochastically Varying Formations of Dynamic Agents
0
en
Stability Analysis of Stochastically Varying Formations of Dynamic Agents
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
Stability of Discrete Time Systems with Stochastically Delayed Feedback
0
en
Stability of Discrete Time Systems with Stochastically Delayed Feedback
Stabilization of Feedback Systems via Distribution of Delays
0
en
Stabilization of Feedback Systems via Distribution of Delays
Stabilization of Trajectories for Systems with Nonholonomic Constraints
0
en
Stabilization of Trajectories for Systems with Nonholonomic Constraints
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
State Estimation Over Packet Dropping Networks Using Multiple Description Coding
0
en
State Estimation Over Packet Dropping Networks Using Multiple Description Coding
State Estimation Utilization Multiple Description Coding over Lossy Networks
0
en
State Estimation Utilization Multiple Description Coding over Lossy Networks
State Estimation in Multi-Agent Decision and Control Systems
0
en
State Estimation in Multi-Agent Decision and Control Systems
Stochastic Gene Expression in Single Gene Oscillator Variants
0
en
Stochastic Gene Expression in Single Gene Oscillator Variants
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
Symbolic construction of GR(1) contracts for systems with full information
0
en
Symbolic construction of GR(1) contracts for systems with full information
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
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
Synthesis from multi-paradigm specifications
0
en
Synthesis from multi-paradigm specifications
Synthesis of Control Protocols for Autonomous Systems
0
en
Synthesis of Control Protocols for Autonomous Systems
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
Synthesis of Correct-by-Construction Behavior Trees
0
en
Synthesis of Correct-by-Construction Behavior Trees
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
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
Synthesis of Embedded Control Systems with High Sampling Frequencies
0
en
Synthesis of Embedded Control Systems with High Sampling Frequencies
Synthesis of Reactive Control Protocols for Differentially Flat Systems
0
en
Synthesis of Reactive Control Protocols for Differentially Flat Systems
Synthesis of Reactive Protocols for Vehicle-to-Vehicle Communication
0
en
Synthesis of Reactive Protocols for Vehicle-to-Vehicle Communication
Synthesis of Reactive Switching Protocols from Temporal Logic Specifications
0
en
Synthesis of Reactive Switching Protocols from 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
Synthesis of Switching Protocols from Temporal Logic Specifications
0
en
Synthesis of Switching Protocols from Temporal Logic Specifications
Synthesizing Combination Therapies for Evolutionary Dynamics of Disease for Nonlinear Pharmacodynamics
0
en
Synthesizing Combination Therapies for Evolutionary Dynamics of Disease for Nonlinear Pharmacodynamics
Synthetic circuit for exact adaptation and fold-change detection
0
en
Synthetic circuit for exact adaptation and fold-change detection
Synthetic logic circuits using RNA aptamer against T7 RNA polymerase
0
en
Synthetic logic circuits using RNA aptamer against T7 RNA polymerase
Synthetic mammalian signaling circuits for robust cell population control
0
en
Synthetic mammalian signaling circuits for robust cell population control
System architectures and environment modeling for high-speed autonomous navigation
0
en
System architectures and environment modeling for high-speed autonomous navigation
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
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
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
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
Temperature Dependence of Biomolecular Circuit Designs
0
en
Temperature Dependence of Biomolecular Circuit Designs
Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations
0
en
Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations
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
The Caltech Multi-Vehicle Wireless Testbed
0
en
The Caltech Multi-Vehicle Wireless Testbed
The Dynamic Sensor Coverage Problem
0
en
The Dynamic Sensor Coverage Problem
The Dynamics of Thin Film Growth: A Modeling Study
0
en
The Dynamics of Thin Film Growth: A Modeling Study
The Effect of Compositional Context on Synthetic Gene Networks
0
en
The Effect of Compositional Context on Synthetic Gene Networks
The Effect of Sensor Health on State Estimation
0
en
The Effect of Sensor Health on State Estimation
The Geometry and Control of Dissipative Systems
0
en
The Geometry and Control of Dissipative Systems
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
The RoboFlag Competition
0
en
The RoboFlag Competition
The effects of time-varying temperature on delays in genetic networks
0
en
The effects of time-varying temperature on delays in genetic networks
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
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
Time-Delayed Feedback Channel Design: Discrete Time H infty Approach
0
en
Time-Delayed Feedback Channel Design: Discrete Time H infty Approach
Time-Optimal Navigation in Uncertain Environments with High-Level Specifications
0
en
Time-Optimal Navigation in Uncertain Environments with High-Level Specifications
Timing molecular motion and production with a synthetic transcriptional clock
0
en
Timing molecular motion and production with a synthetic transcriptional clock
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
Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams
0
en
Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams
Towards Assume-Guarantee Profiles for Autonomous Vehicles
0
en
Towards Assume-Guarantee Profiles for Autonomous Vehicles
Towards Formal Synthesis of Reactive Controllers for Dexterous Robotic Manipulation
0
en
Towards Formal Synthesis of Reactive Controllers for Dexterous Robotic Manipulation
Towards Robust Control Over a Packet Dropping Network
0
en
Towards Robust Control Over a Packet Dropping Network
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
Towards a Packet-based Control Theory - Part II: Rate Issues
0
en
Towards a Packet-based Control Theory - Part II: Rate Issues
Tracking for Fully Actuated Mechanical Systems: A Geometric Framework
0
en
Tracking for Fully Actuated Mechanical Systems: A Geometric Framework
Trajectory Generation for Mechanical Systems with Application to Robotic Locomotion
0
en
Trajectory Generation for Mechanical Systems with Application to Robotic Locomotion
Trajectory Generation for Nonlinear Control Systems
0
en
Trajectory Generation for Nonlinear Control Systems
Trajectory Generation for a Towed Cable System using Differential Flatness
0
en
Trajectory Generation for a Towed Cable System using Differential Flatness
Trajectory generation for the N-trailer problem using Goursat normal form
0
en
Trajectory generation for the N-trailer problem using Goursat normal form
Trajectory tracking for fully actuated mechanical systems
0
en
Trajectory tracking for fully actuated mechanical systems
TuLiP: A Software Toolbox for Receding Horizon Temporal Logic Planning
0
en
TuLiP: A Software Toolbox for Receding Horizon Temporal Logic Planning
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
Tuning a synthetic in vitro oscillator using control-theoretic tools
0
en
Tuning a synthetic in vitro oscillator using control-theoretic tools
UAV as a Reliable Wingman: A Flight Demonstration
0
en
UAV as a Reliable Wingman: A Flight Demonstration
Uncertain semantics, representation nuisances, and necessary invariance properties of bootstrapping agents
0
en
Uncertain semantics, representation nuisances, and necessary invariance properties of bootstrapping agents
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)
Uniting local and global controllers for the Caltech ducted fan
0
en
Uniting local and global controllers for the Caltech ducted fan
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
Using Hierarchical Decomposition to Speed Up Average Consensus
0
en
Using Hierarchical Decomposition to Speed Up Average Consensus
Variable Elimination for Scalable Receding Horizon Temporal Logic Planning
0
en
Variable Elimination for Scalable Receding Horizon Temporal Logic Planning
Variational Principles in Constrained Systems: Theory and Experiments
0
en
Variational Principles in Constrained Systems: Theory and Experiments
Vehicle Motion Planning Using Stream Functions
0
en
Vehicle Motion Planning Using Stream Functions
Vision as a Compensatory Mechanism for Disturbance Rejection in Upwind Flight
0
en
Vision as a Compensatory Mechanism for Disturbance Rejection in Upwind Flight
Voluntary lane-change policy synthesis with reactive control improvisation
0
en
Voluntary lane-change policy synthesis with reactive control improvisation
When are Distributed Algorithms Robust?
0
en
When are Distributed Algorithms Robust?
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
A Case Study in Approximate Linearization: The Acrobot Example
0
en
A Case Study in Approximate Linearization: The Acrobot Example
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
A Compositional Approach to Stochastic Optimal Control with Temporal Logic Specifications
0
en
A Compositional Approach to Stochastic Optimal Control with Temporal Logic Specifications
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
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 Contract-Based Methodology for Aircraft Electric Power System Design
0
en
A Contract-Based Methodology for Aircraft Electric Power System Design
A Control-Oriented Analysis of Bio-Inspired Visuomotor Convergence
0
en
A Control-Oriented Analysis of Bio-Inspired Visuomotor Convergence
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
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
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
A Framework for Lyapunov Certificates for Multi-Vehicle Rendezvous Problems
0
en
A Framework for Lyapunov Certificates for Multi-Vehicle Rendezvous Problems
A Frequency Domain Condition for Stability of Interconnected MIMO Systems
0
en
A Frequency Domain Condition for Stability of Interconnected MIMO Systems
A Geometric Perspective on Bifurcation Control
0
en
A Geometric Perspective on Bifurcation Control
A Homotopy Algorithm for Approximating Geometric Distributions by Integrable Systems
0
en
A Homotopy Algorithm for Approximating Geometric Distributions by Integrable Systems
A MATLAB toolbox for modeling genetic circuits in cell-free systems
0
en
A MATLAB toolbox for modeling genetic circuits in cell-free systems
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
A Method for Cost-Effective and Rapid Characterization of Genetic Parts
0
en
A Method for Cost-Effective and Rapid Characterization of Genetic Parts
A Motion Planner for Nonholonomic Robots
0
en
A Motion Planner for Nonholonomic Robots
A Multi-Model Approach to Identification of Biosynthetic Pathways
0
en
A Multi-Model Approach to Identification of Biosynthetic Pathways
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
A Risk-Aware Architecture for Resilient Spacecraft Operations
0
en
A Risk-Aware Architecture for Resilient Spacecraft Operations
A Robust Nonlinear Model Predictive Control Algorithm with a Safety Mode
0
en
A Robust Nonlinear Model Predictive Control Algorithm with a Safety Mode
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 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
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
A Testbed for Nonlinear Flight Control Techniques: The Caltech Ducted Fan
0
en
A Testbed for Nonlinear Flight Control Techniques: The Caltech Ducted Fan
A bio-plausible design for visual attitude stabilization
0
en
A bio-plausible design for visual attitude stabilization
A bio-plausible design for visual pose stabilization
0
en
A bio-plausible design for visual pose stabilization
A bootstrappable bio-plausible design for visual pose stabilization
0
en
A bootstrappable bio-plausible design for visual pose stabilization
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
A group-theoretic approach to formalizing bootstrapping problems
0
en
A group-theoretic approach to formalizing bootstrapping problems
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 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
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
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
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
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
Active Control of Integrated Inlet/Compression Systems: Initial Results
0
en
Active Control of Integrated Inlet/Compression Systems: Initial Results
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
Active Control of an Axial Flow Compressor via Pulsed Air Injection
0
en
Active Control of an Axial Flow Compressor via Pulsed Air Injection
Addressable, “Packet-Based” Intercellular Communication through Plasmid Conjugation
0
en
Addressable, “Packet-Based” Intercellular Communication through Plasmid Conjugation
Agreement Problems in Networks with Directed Graphs and Switching Toplogy
0
en
Agreement Problems in Networks with Directed Graphs and Switching Toplogy
Alice: An information-rich autonomous vehicle for high-speed desert navigation
0
en
Alice: An information-rich autonomous vehicle for high-speed desert navigation
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
An Efficient Algorithm for Performance Analysis of Nonlinear Control Systems
0
en
An Efficient Algorithm for Performance Analysis of Nonlinear Control Systems
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
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
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
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
An Iterative Abstraction Algorithm for Reactive Correct-by-Construction Controller Synthesis
0
en
An Iterative Abstraction Algorithm for Reactive Correct-by-Construction Controller Synthesis
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
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
Analysis and design of a synthetic transcriptional network for exact adaptation
0
en
Analysis and design of a synthetic transcriptional network for exact adaptation
Analysis of Circuits for Dosage Control in Microbial Populations
0
en
Analysis of Circuits for Dosage Control in Microbial Populations
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
Analysis of Dynamics in Escaping Flight Initiation in Drosophila
0
en
Analysis of Dynamics in Escaping Flight Initiation in Drosophila
Analysis of a Digital Clock for Molecular Computing
0
en
Analysis of a Digital Clock for Molecular Computing
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
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
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
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
Approximate Distributed Kalman Filtering in Sensor Networks with Quantifiable Performance
0
en
Approximate Distributed Kalman Filtering in Sensor Networks with Quantifiable Performance
Approximate Trajectory Generation for Differentially Flat Systems with Zero Dynamics
0
en
Approximate Trajectory Generation for Differentially Flat Systems with Zero Dynamics
Approximation of Subnetwork Models using Frequency-Domain Data
0
en
Approximation of Subnetwork Models using Frequency-Domain Data
Aspects of Geometric Mechanics and Control of Mechanical Systems
0
en
Aspects of Geometric Mechanics and Control of Mechanical Systems
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
Asynchronous Distributed Averaging on Communication Networks
0
en
Asynchronous Distributed Averaging on Communication Networks
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
Automatic Synthesis of Robust Embedded Control Software
0
en
Automatic Synthesis of Robust Embedded Control Software
Automaton-Guided Controller Synthesis for Nonlinear Systems with Temporal Logic
0
en
Automaton-Guided Controller Synthesis for Nonlinear Systems with Temporal Logic
Autonomous Driving in Urban Environments: Approaches, Lessons and Challenges
0
en
Autonomous Driving in Urban Environments: Approaches, Lessons and Challenges
Autonomous Reorientation of a Manuever-Limited Spacecraft Under Simple Pointing Constraints
0
en
Autonomous Reorientation of a Manuever-Limited Spacecraft Under Simple Pointing Constraints
Backtracking temporal logic synthesis for uncertain environments
0
en
Backtracking temporal logic synthesis for uncertain environments
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
Bifurcation Control of Rotating Stall with Actuator Magnitude and Rate Limits
0
en
Bifurcation Control of Rotating Stall with Actuator Magnitude and Rate Limits
Bio-Inspired Visuomotor Convergence in Navigation and Flight Control Systems
0
en
Bio-Inspired Visuomotor Convergence in Navigation and Flight Control Systems
BioCRNpyler: Compiling chemical reaction networks from biomolecular parts in diverse contexts
0
en
BioCRNpyler: Compiling chemical reaction networks from biomolecular parts in diverse contexts
Bioligically Inspired Feedback Design for Drosophila Flight
0
en
Bioligically Inspired Feedback Design for Drosophila Flight
Biomolecular resource utilization in elementary cell-free gene circuits
0
en
Biomolecular resource utilization in elementary cell-free gene circuits
Biophysical Constraints Arising from Compositional Context in Synthetic Gene Networks
0
en
Biophysical Constraints Arising from Compositional Context in Synthetic Gene Networks
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
Bistable State Switch Enables Ultrasensitive Feedback Control in Heterogeneous Microbial Populations
0
en
Bistable State Switch Enables Ultrasensitive Feedback Control in Heterogeneous Microbial Populations
Bootstrapping bilinear models of robotic sensorimotor cascades
0
en
Bootstrapping bilinear models of robotic sensorimotor cascades
Bootstrapping bilinear models of simple vehicles
0
en
Bootstrapping bilinear models of simple vehicles
Cascade Discrete-Continuous State Estimators for a Class of Monotone Systems
0
en
Cascade Discrete-Continuous State Estimators for a Class of Monotone Systems
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
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
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
Characterizing and Prototyping Genetic Networks with Cell-Free Transcription-Translation Reactions
0
en
Characterizing and Prototyping Genetic Networks with Cell-Free Transcription-Translation Reactions
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
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
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
Collaborative System Identification via Parameter Consensus
0
en
Collaborative System Identification via Parameter Consensus
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
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
Communication and sensing trade-offs in cooperative mobile networks
0
en
Communication and sensing trade-offs in cooperative mobile networks
Compositional stability analysis based on dual decomposition
0
en
Compositional stability analysis based on dual decomposition
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
Cone Invariance and Rendezvous of Multiple Agents
0
en
Cone Invariance and Rendezvous of Multiple Agents
INST
102
en
INST