Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• Synthesizing Combination Therapies for Evolutionary Dynamics of Disease for Nonlinear Pharmacodynamics  + (2014 Conference on Decision and Control (CDC))
• A Compositional Approach to Stochastic Optimal Control with Co-safe Temporal Logic Specifications  + (2014 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS))
• A stochastic framework for the design of transient and steady state behavior of biochemical reaction networks  + (2015 Conference on Decision and Control (CDC))
• A State-space Realization Approach to Set Identification of Biochemical Kinetic Parameters  + (2015 European Control Conference (ECC))
• Robust Model Predictive Control for Signal Temporal Logic Synthesis  + (2015 IFAC Conference on Analysis and Design of Hybrid Systems (ADHS))
• Reactive Synthesis from Signal Temporal Logic Specifications  + (2015 International Conference on Hybrid Systems: Computation and Control (HSCC))
• Linear System Identifiability from Distributional and Time Series Data  + (2016 American Control Conference (ACC))
• Symbolic construction of GR(1) contracts for systems with full information  + (2016 American Control Conference (ACC))
• Quantifying Resource Competition and its Effects in the TX-TL System  + (2016 Conference on Decision and Control (CDC))
• Model Predictive Control for an Uncertain Smart Thermal Grid  + (2016 European Control Conference (ECC))
• Control design for hybrid systems with TuLiP: The temporal logic planning toolbox  + (2016 IEEE Conference on Control Applications (CCA))
• Synthesis of Control Protocols for Switched Electrical Power Systems for Commercial Applications with Safety Specifications  + (2016 IEEE Symposium on Computational Intelligence in Control and Automation)
• Stochastic Gene Expression in Single Gene Oscillator Variants  + (2016 Synthetic Biology: Engineering, Evolution and Design (SEED) Conference)
• The role of single occupancy effects on integrase dynamics in a cell-free system  + (2016 Synthetic Biology: Engineering, Evolution and Design (SEED) Conference (17 May 2016))
• Decomposing GR(1) Games with Singleton Liveness Guarantees for Efficient Synthesis  + (2017 Conference on Decision and Control (CDC))
• Enhancing tolerance to unexpected jumps in GR(1) games  + (2017 Int'l Conference on Cyberphysical Systems (ICCPS))
• Learning-Based Abstractions for Nonlinear Constraint Solving  + (2017 International Joint Conference on Artificial Intelligence (IJCAI))
• Quantitative Modeling of Integrase Dynamics Using a Novel Python Toolbox for Parameter Inference in Synthetic Biology  + (2017 Synthetic Biology: Engineering, Evolution, and Design (SEED) Conference)
• A Bayesian approach to inferring chemical signal timing and amplitude in a temporal logic gate using the cell population distributional response  + (2017 Winter q-bio Conference)
• Single day construction of multi-gene circuits with 3G assembly  + (2018 Synthetic Biology: Engineering, Evolution and Design (SEED) Conference)
• Long-distance communication in synthetic bacterial consortia through active signal propagation  + (2018 Synthetic Biology: Engineering, Evolution and Design (SEED) Conference)
• Length and time scales of cell-cell signaling circuits in agar  + (2018 Winter q-bio)
• Control of bacterial population density with population feedback and molecular sequestration  + (2018 Winter q-bio)
• Modeling Dynamic Transcriptional Circuits with CRISPRi  + (2018 Winter q-bio)
• Counter-example Guided Learning of Bounds on Environment Behavior  + (2019 Conference on Robot Learning (CoRL))

• Parallelizing Synthesis from Temporal Logic Specifications by Identifying Equicontrollable States  + (2019 International Symposium on Robotics Research (ISRR))

• An automated model reduction tool to guide the design and analysis of synthetic biological circuits  + (2019 International Workshop on Biodesign Automation (IWBDA))
• Proof of concept continuous event logging in living cells  + (2019 Synthetic Biology: Engineering, Evolution and Design (SEED) Conference)
• Design of a genetic layered feedback controller in synthetic biological circuitry  + (2019 Synthetic Biology: Engineerinng, Evolution and Design (SEED) Conference)
• Invariant Sets for Integrators and Quadrotor Obstacle Avoidance  + (2020 American Control Conference (ACC))
• Risk-Averse Planning Under Uncertainty  + (2020 American Control Conference (ACC))
• Learning pose estimation for UAV autonomous navigation and landing using visual-inertial sensor data  + (2020 American Control Conference (ACC))
• Intermittent Connectivity for Exploration in Communication-Constrained Multi-Agent Systems  + (2020 International Conference on Cyberphysical Systems (ICCPS))
• Model Reduction Tools For Phenomenological Modeling of Input-Controlled Biological Circuits  + (2020 Winter q-bio)
• Theoretical Design of Paradoxical Signaling-Based Synthetic Population Control Circuit in E. coli  + (2020 Winter q-bio)
• A geometric and structural approach to the analysis and design of biological circuit dynamics: a theory tailored for synthetic biology  + (2020 Winter q-bio)
• Layered Feedback Control Improves Robust Functionality across Heterogeneous Cell Populations  + (2020 Winter q-bio)
• A two-state ribosome and protein model can robustly capture the chemical reaction dynamics of gene expression  + (2020 Winter q-bio)
• Risk-Averse Decision Making Under Uncertainty  + (2021 AAAI Conference on Artificial Intelligence (AAAI-21))
• Bistable State Switch Enables Ultrasensitive Feedback Control in Heterogeneous Microbial Populations  + (2021 American Control Conference (ACC))
• Systems Level Model of Dietary Effects on Cognition via the Microbiome-Gut-Brain Axis  + (2021 European Control Conference (ECC))
• From Specification to Implementation: Assume-Guarantee Contracts for Synthetic Biology  + (2022 International Workshop on Biodesign Automation (IWBDA))
• Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems  + (2022 NASA Formal Methods Symposium (NFM))
• A 65nm CMOS Living-Cell Dynamic Fluorescence Sensor with 1.05fA Sensitivity at 600/700nm Wavelengths  + (2023 IEEE International Solid-State Circuits Conference (ISSCC))
• Controller Synthesis for Constrained Flight Systems via Receding Horizon Optimization  + (2nd AIAA "Unmanned Unlimited" Systems, Technologies, and Operations: Aerospace, Land, and Sea Conference and Workshop & Exhibit)
• Constrained risk-averse Markov decision processes  + (35th AAAI Conference on Artificial Intelligence (AAAI-21))
• Engineering Logical Inflammation Sensing Circuit for Modulating Gut Conditions  + (3rd International Microbiome Engineering Conference)
• POD Based Models of Self-Sustained Oscillations in the Flow Past an Open Cavity  + (6th AIAA/CEAS Aeroacoustics Conference)
• Dynamical Models for Control of Cavity Oscillations  + (7th AIAA/CEAS Aeroacoustics Conference)
• Planning and Optimization for Multi-Robot Planetary Cave Exploration under Intermittent Connectivity Constraints  + (8th ICAPS Workshop on Planning and Robotics)
• Nonholonomic Motion Planning: Steering Using Sinusoids  + (<em>IEEE T. Automatic Control</em>, 38(5):700-716)