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

• Cascade Discrete-Continuous State Estimators for a Class of Monotone Systems  + (Domitilla Del Vecchio and Richard M. Murray)
• Observability and Local Observer Construction for Unknown Parameters in Linearly and Nonlinearly Parameterized Systems  + (Domitilla Del Vecchio and Richard M. Murray)
• Discrete State Estimators for a Class of Nondeterministic Hybrid Systems on a Lattice  + (Domitilla Del Vecchio and Richard M. Murray)
• Observers for a Class of Hybrid Systems on a Lattice  + (Domitilla Del Vecchio and Richard M. Murray)
• Observability of a Class of Hybrid Systems on Bounded Lattices  + (Domitilla Del Vecchio and Richard M. Murray)
• Discrete State Estimators for Systems on a Lattice  + (Domitilla Del Vecchio, Richard M. Murray, Erik Klavins)
• Classification of Human Motion into Dynamics Based Primitives with Application to Drawing Tasks  + (Domitilla Del Vecchio, Richard M. Murray, Pietro Perona)
• Primitives for Human Motion: A Dynamical Approach  + (Domitilla Del Vecchio, Richard M. Murray, Pietro Perona)
• Segmentation of Human Motion into Dynamics Based Primitives with Application to Drawing Tasks  + (Domitilla Del Vecchio, Richard M. Murray, Pietro Perona)
• Existence of Cascade Discrete-Continuous State Estimators for Systems on a Partial Order  + (Domtilla Del Vecchio and Richard M. Murray)
• Active Control of Integrated Inlet/Compression Systems: Initial Results  + (Douglas G. Macmartin, Ashish Verma, Richard M. Murray, James D. Paduano)
• Synthesis of Distributed Longitudinal Control 1 Protocols for a Platoon of Autonomous Vehicles  + (Duo Han, Yilin Mo, Richard M. Murray)
• Engineering Transcriptional Regulator Effector Specificity Using Computational Design and In Vitro Rapid Prototyping: Developing a Vanillin Sensor  + (E. L. de los Santos)
• Metabolic engineering of Pseudomonas putida for production of vanillylamine from lignin-derived substrates  + (Elin M. Larsson)
• Construction of an inducible amyloid expression circuit in Bacillus megaterium: A case study with CsgA and TasA  + (Elin M. Larsson)
• Development of cell-free transcription-translation systems in three soil Pseudomonads  + (Elin M. Larsson)
• Engineering the soil bacterium Pseudomonas synxantha 2-79 into a ratiometric bioreporter for phosphorus limitation  + (Dianne K. Newman)
• An analytical approach to bistable biological circuit discrimination using real algebraic geometry  + (Dan Siegal-Gaskins)
• Bistable State Switch Enables Ultrasensitive Feedback Control in Heterogeneous Microbial Populations  + (Christian Cuba Samaniego)
• Design of insulating devices for in vitro synthetic circuits  + (Elisa Franco, Domitilla Del Del Vecchio, Richard M Murray)
• Timing molecular motion and production with a synthetic transcriptional clock  + (Elisa Franco, Eike Friedrichs, Jongmin Kim, Ralf Jungmann, Richard Murray, Erik Winfree, Friedrich C. Simmel)
• Negative autoregulation matches production and demand in synthetic transcriptional networks  + (Elisa Franco, Giulia Giordano, Per-Ola Forsberg, Richard M. Murray)
• Design and performance of in vitro transcription rate regulatory circuit  + (Elisa Franco, Richard M Murray)
• Quantitative characterization of random partitioning in the evolution of plasmid-encoded traits  + (Andrew D. Halleran)
• Design and Implementation of a Biomolecular Circuit for Tracking Protein Concentration  + (Emmanuel L. C. de los Santos*, Victoria Hsiao* and Richard M. Murray)
• Engineering Transcriptional Regulator Effector Specificity Through Rational Design and Rapid Prototyping  + (Emmanuel L.C. de los Santos, Joseph T. Meyerowitz, Stephen L. Mayo, and Richard M. Murray)
• Engineering Transcriptional Regulator Effector Specificity using Computational Design and In Vitro Rapid Prototyping: Developing a Vanillin Sensor  + (Emmanuel Lorenzo Cornejo de los Santos, Joseph T Meyerowitz, Stephen L Mayo, Richard M Murray)
• Biophysical Constraints Arising from Compositional Context in Synthetic Gene Networks  + (Aaron J. Dy)
• Data-driven network models for genetic circuits from time-series data with incomplete measurements  + (Enoch Yeung)
• The Effect of Compositional Context on Synthetic Gene Networks  + (Aaron J Dy)
• Modeling the Effects of Compositional Context on Promoter Activity in an E. Coli Extract based Transcription-Translation System  + (Enoch Yeung, Andrew Ng, Jongmin Kim, Zachary Z. Sun, and Richard M. Murray)
• Modeling Environmental Disturbances with the Chemical Master Equation  + (Enoch Yeung, James L. Beck, and Richard M. Murray)
• Global Dynamical Structure Reconstruction from Reconstructed Dynamical Structure Subnetworks: Applications to Biochemical Reaction Networks  + (Enoch Yeung, Jongmin Kim, Jorge Gonc ̧alves, and Richard M. Murray)
• Resource Competition as a Source of Non-Minimum Phase Behavior in Transcription-Translation Systems  + (Enoch Yeung, Jongmin Kim, Richard M. Murray)
• Quantifying Crosstalk in Biochemical Systems  + (Enoch Yeung, Jongmin Kim, Ye Yuan, Jorge Goncalves and Richard M. Murray)
• System identification of phosophorylation based insulator in a cell-free in vitro transcription-translation system  + (Enoch Yeung, Shaobin Guo, Richard M. Murray)
• Distributed Computation for Cooperative Control  + (Eric Klavins and Richard M. Murray)
• Optimal Control of Nonlinear Systems with Temporal Logic Specifications  + (Eric M. Wolff and Richard M. Murray)
• Optimal Control with Weighted Average Costs and Temporal Logic Specifications  + (Eric M. Wolff, Ufuk Topcu and Richard M. Murray)
• Robust Control of Uncertain Markov Decision Processes with Temporal Logic Specifications  + (Eric M. Wolff, Ufuk Topcu and Richard M. Murray)
• Automaton-Guided Controller Synthesis for Nonlinear Systems with Temporal Logic  + (Eric M. Wolff, Ufuk Topcu, and Richard M. Murray)
• Efficient reactive controller synthesis for a fragment of linear temporal logic  + (Eric M. Wolff, Ufuk Topcu, and Richard M. Murray)
• Optimization-based Control of Nonlinear Systems with Linear Temporal Logic Specifications  + (Eric M. Wolff, Ufuk Topcu, and Richard M. Murray)
• Optimal Control of Non-deterministic Systems for a Computationally Efficient Fragment of Temporal Logic  + (Eric M. Wolff, Ufuk Topcu, and Richard M. Murray)
• Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows  + (Aaron D. Ames)
• Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications  + (Aaron D. Ames)
• Robust Safe Control Synthesis with Disturbance Observer-Based Control Barrier Functions  + (Ersin Das)
• Hard Limits And Performance Tradeoffs In A Class Of Sequestration Feedback Systems  + (Ania-Ariadna Baetica)
• A geometric and structural approach to the analysis and design of biological circuit dynamics: a theory tailored for synthetic biology  + (Fangzhou Xiao)
• Systems Level Model of Dietary Effects on Cognition via the Microbiome-Gut-Brain Axis  + (Anish Sarma)
• A 65nm CMOS Living-Cell Dynamic Fluorescence Sensor with 1.05fA Sensitivity at 600/700nm Wavelengths  + (Azita Emami)
• A Field-Deployable Arsenic Sensor Integrating Bacillus Megaterium with CMOS Technology  + (Azita Emami)
• Efficient control synthesis for augmented finite transition systems with an application to switching protocols  + (Fei Sun, Necmiye Ozay, Eric M. Wolff, Jun Liu and Richard M. Murray)
• Cooperative Task Planning of Multi-Robot Systems with Temporal Constraints  + (Feng-Li Lian and Richard M. Murray)
• Real-Time Trajectory Generation for the Cooperative Path Planning of Multi-Vehicle Systems  + (Feng-Li Lian and Richard M. Murray)
• Intermittent Connectivity for Exploration in Communication-Constrained Multi-Agent Systems  + (Aaron D. Ames)
• Planning and Optimization for Multi-Robot Planetary Cave Exploration under Intermittent Connectivity Constraints  + (Aaron D. Ames and Richard M. Murray)
• Learning pose estimation for UAV autonomous navigation and landing using visual-inertial sensor data  + (Animashree Anandkumar)
• Nonlinear Control of Mechanical Systems: A Reimannian Geometry Approach  + (Francesco Bullo)
• Experimental Comparison of Trajectory Trackers for a Car with Trailers  + (Francesco Bullo and Richard M. Murray)
• Trajectory tracking for fully actuated mechanical systems  + (Francesco Bullo and Richard M. Murray)
• Tracking for Fully Actuated Mechanical Systems: A Geometric Framework  + (Francesco Bullo and Richard M. Murray)
• Proportional Derivative (PD) Control on the Euclidean Group  + (Francesco Bullo and Richard Murray)
• Control on the Sphere and Reduced Attitude Stabilization  + (Francesco Bullo, Richard M. Murray, Augusto Sarti)

• Flight dynamics and control of evasive maneuvers: the fruit fly's takeoff  + (Francisco A Zabala, Gwyneth M Card, Ebraheem I Fontaine, Michael H Dickinson, Richard M Murray)
• Analysis of Dynamics in Escaping Flight Initiation in Drosophila  + (Francisco A Zabala, Gwyneth M Card, Ebraheem I Fontaine, Richard M Murray, Michael H Dickinson)
• Control education for societal-scale challenges: A community roadmap  + (John Anthony Rossiter)
• Analysis of primitive genetic interactions for the design of a genetic signal differentiator  + (Wolfgang Halter)
• Optimal Experiment Design and Leveraging Competition for Shared Resources in Cell-free Extracts  + (Wolfgang Halter)
• Metabolic engineering of Pseudomonas putida for production of vanillylamine from lignin-derived substrates  + (João Heitor Colombelli Manfrão-Netto)
• Controlling biological networks by time-delayed signals  + (G Orosz, J Moehlis, Richard M Murray)
• Stabilization of Trajectories for Systems with Nonholonomic Constraints  + (G. Walsh, D. Tilbury, S. Sastry, R. Murray, and J-P. Laumond)
• End-to-End Safe Reinforcement Learning through Barrier Functions for Safety-Critical Continuous Control Tasks  + (Richard Cheng)
• Connected Cruise Control Design Using Probabilistic Model Checking  + (Jin I. Ge)
• The role of single occupancy effects on integrase dynamics in a cell-free system  + (Georgios Artavanis)
• Feedback architectures to regulate flux of components in artificial gene networks  + (Giulia Giordano, Elisa Franco and Richard M. Murray)
• System-level studies of a cell-free transcription-translation platform for metabolic engineering  + (Yong Y. Wu)
• Model of Paradoxical Signaling Regulated T-Cell Population Control for Design of Synthetic Circuits  + (Michaelle N. Mayalu)
• Frequency-Weighted Model Reduction with Applications to Structured Models  + (Henrik Sandberg and Richard M. Murray)
• Model reduction of interconnected linear systems  + (Henrik Sandberg, Richard M Murray)
• Approximation of Subnetwork Models using Frequency-Domain Data  + (Henrik Sandberg, Richard M. Murray)
• Rapid cell-free forward engineering of novel genetic ring oscillators  + (Henrike Niederholtmeyer, Zachary Sun, Yutaka Hori, Enoch Yeung, Amanda Verpoorte, Richard M Murray and Sebastian J Maerkl)
• A Domain-Specific Language for Reactive Control Protocols for Aircraft Electric Power Systems  + (Huan Xu, Necmiye Ozay and Richard M. Murray)
• Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution  + (Huan Xu, Ufuk Topcu, and Richard M. Murray)
• Reactive Protocols for Aircraft Electric Power Distribution  + (Huan Xu, Ufuk Topcu, and Richard M. Murray)
• Decentralized Multi-Agent Optimization via Dual Decomposition  + (Håkan Terelius, Ufuk Topcu, Richard M Murray)
• From Specification to Implementation: Assume-Guarantee Contracts for Synthetic Biology  + (Ayush Pandey)
• Reasoning over Test Specifications using Assume-Guarantee Contracts  + (Apurva Badithela)
• Context-Aided Variable Elimination for Requirement Engineering  + (Inigo Incer)
• Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design  + (Inigo Incer)
• Specifying and Analyzing Networked and Layered Control Systems Operating on Multiple Clocks  + (Inigo Incer)
• Synthesis from multi-paradigm specifications  + (Ioannis Filippidis, Richard M. Murray and Gerard J. Holzmann)
• Control design for hybrid systems with TuLiP: The temporal logic planning toolbox  + (Ioannis Filippidis)
• Layering assume-guarantee contracts for hierarchical system design  + (Ioannis Filippidis and Richard M. Murray)
• Strategy-Driven Partitioning into Switching Modes for Piecewise-Affine Systems with Continuous Environments  + (Ioannis Filippidis and Richard M. Murray)
• Hiding variables when decomposing specifications into GR(1) contracts  + (Ioannis Filippidis and Richard M. Murray)
• Parallelizing Synthesis from Temporal Logic Specifications by Identifying Equicontrollable States  + (Sumanth Dathathri)
• Symbolic construction of GR(1) contracts for systems with full information  + (Ioannis Filippidis and Richard M. Murray)
• Control System Analysis on Symmetric Cones  + (Ivan Papusha and Richard M. Murray)
• Collaborative System Identification via Parameter Consensus  + (Ivan Papusha, Eugene Lavretsky and Richard M. Murray)
• A Motion Planner for Nonholonomic Robots  + (J-P. Laumond, P. E. Jacobs, M. Taix and R. M. Murray)
• Robustness Analysis of Accelerometry Using an Electrostatically Suspended Gyroscope  + (J. Alex Fax, Daniel A. Hill, and Richard M. Murray)
• Optimal and Cooperative Control of Vehicle Formations  + (J. Alexander Fax)
• Information Flow and Cooperative Control of Vehicle Formations  + (J. Alexander Fax and Richard M. Murray)
• Graph Laplacians and Stabilization of Vehicle Formations  + (J. Alexander Fax and Richard M. Murray)
• Robust Performance Analysis for a Class of Uncertain Nonlinear Systems  + (J. E. Tierno, R. M. Murray)
• An Efficient Algorithm for Performance Analysis of Nonlinear Control Systems  + (J. E. Tierno, R. M. Murray, J. C. Doyle)
• Optimal nonlinear guidance with inner-loop feedback for hypersonic re-entry  + (J. M. Carson III)
• Bio-Inspired Visuomotor Convergence in Navigation and Flight Control Systems  + (J. Sean Humbert)
• A Control-Oriented Analysis of Bio-Inspired Visuomotor Convergence  + (J. Sean Humbert and Richard M. Murray and Michael H. Dickinson)
• Sensorimotor Convergence in Visual Navigation and Flight Control Systems  + (J. Sean Humbert, Richard M. Murray, Michael H. Dickinson)
• Engineering Transcriptional Regulator Effector Specificity Using Computational Design and In Vitro Rapid Prototyping: Developing a Vanillin Sensor  + (E. L. de los Santos)
• A Bayesian approach to inferring chemical signal timing and amplitude in a temporal logic gate using the cell population distributional response  + (Ania-Ariadna Baetica)
• A Model-Free Algorithm for Extremely Resilient Navigation  + (Christian J. Stromberger)
• Biophysical Constraints Arising from Compositional Context in Synthetic Gene Networks  + (Enoch Yeung)
• The Effect of Compositional Context on Synthetic Gene Networks  + (Enoch Yeung)
• Long-distance communication in synthetic bacterial consortia through active signal propagation  + (James M Parkin)
• Length and time scales of cell-cell signaling circuits in agar  + (Joy Doong)
• Engineering pulsatile communication in bacterial consortia  + (James Parkin)
• The Python Control Systems Library (python-control)  + (Sawyer Fuller)
• On Quantized Consensus by Means of Gossip Algorithm -- Part II: Convergence Time  + (Javad Lavaei, Richard M Murray)
• On Quantized Consensus by Means of Gossip Algorithm -- Part I: Convergence Proof  + (Javad Lavaei, Richard M Murray)
• Quantized Consensus via Adaptive Stochastic Gossip Algorithm  + (Javad Lavaei, Richard M Murray)
• Simple Delay-Based Implementation of Continuous-Time Controllers  + (Javad Lavaei, Somayeh Sojoudi, Richard M Murray)
• Delay-Based Controller Design for Continuous-Time and Hybrid Applications  + (Javad Lavaei, Somayeh Sojoudi, Richard M Murray)
• Synthesis of Embedded Control Systems with High Sampling Frequencies  + (Javad Lavaei, Somayeh Sojoudi, Richard M Murray)
• Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture  + (Josefine Graebener)
• Data-driven network models for genetic circuits from time-series data with incomplete measurements  + (Enoch Yeung)
• Coarse analysis of multiscale systems: diffuser flows, charged particle motion, and connections to averaging theory  + (Jimmy Fung)
• Risk-aware motion planning for automated vehicle among human-driven cars  + (Jin I. Ge)
• Voluntary lane-change policy synthesis with reactive control improvisation  + (Jin I. Ge and Richard M. Murray)
• Sensing, Navigation and Reasoning Technologies for the DARPA Urban Challenge  + (Joel W Burdick, Noel duToit, Andrew Howard, Christian Looman, Jeremy Ma, Richard M Murray, Tichakorn Wongpiromsarn)
• Limits of probabilistic safety guarantees when considering human uncertainty  + (Richard Cheng)
• Delay-dependent Stability of Genetic Regulatory Networks  + (Johan Ugander)
• Analysis of a Digital Clock for Molecular Computing  + (Johan Ugander, Mary J Dunlop, Richard M Murray)
• A Field-Deployable Arsenic Sensor Integrating Bacillus Megaterium with CMOS Technology  + (Chelsea Y Hu)
• A Method for Cost-Effective and Rapid Characterization of Genetic Parts  + (John B. McManus)
• 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  + (John B. McManus)
• Construction of an inducible amyloid expression circuit in Bacillus megaterium: A case study with CsgA and TasA  + (Elin M. Larsson)
• Robust Nonlinear Control Theory with Applications to Aerospace Vehicles  + (John C. Doyle and Richard M. Murray)
• Systems Level Model of Dietary Effects on Cognition via the Microbiome-Gut-Brain Axis  + (Michaëlle N. Mayalu)
• Robust Model Predictive Control with a Safety Mode: Applied to Small-Body Proximity Operations  + (John Carson)
• Hard Limits And Performance Tradeoffs In A Class Of Sequestration Feedback Systems  + (Noah Olsman)
• A Robust Nonlinear Model Predictive Control Algorithm with a Safety Mode  + (John M Carson, Behcet Acikmese, Richard M Murray, Douglas G MacMynowski)
• A robust model predictive control algorithm augmented with a reactive safety mode  + (John M. Carson III, Behçet AçıkmeÅe, Richard M. Murray, Douglas G. MacMartin)
• A geometric and structural approach to the analysis and design of biological circuit dynamics: a theory tailored for synthetic biology  + (John P. Marken)
• Addressable, “Packet-Based” Intercellular Communication through Plasmid Conjugation  + (John P. Marken)
• Addressable and adaptable intercellular communication via DNA messaging  + (John P. Marken and Richard M. Murray)
• Nonlinear Trajectory Generation for the Caltech Multi-Vehicle Wireless Testbed  + (Jonathan Chauvin, Laure Sinegre, Richard M. Murray)
• An In Silico Modeling Toolbox for Rapid Prototyping of Circuits in a Biomolecular “Breadboard” System  + (Zoltan A. Tuza)
• Analysis and design of a synthetic transcriptional network for exact adaptation  + (Jongmin Kim and Richard M. Murray)
• Synthetic circuit for exact adaptation and fold-change detection  + (Jongmin Kim, Ishan Khetarpal, Shaunak Sen and Richard M. Murray)
• Synthetic logic circuits using RNA aptamer against T7 RNA polymerase  + (Jongmin Kim, Juan F Quijano, Enoch Yeung, Richard M Murray)
• Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows  + (Apurva Badithela)
• Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications  + (Josefine B. Graebener)
• Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems  + (Josefine Graebener)
• Minimally Constrained Testing for Autonomy with Temporal Logic Specifications  + (Apurva Badithela)
• Development of cell-free transcription-translation systems in three soil Pseudomonads  + (Joseph T. Meyerowitz)
• Control Program Verification for a Sample Titan Aerobot Mission  + (Julia M B Braman, Richard M Murray)
• Conversion and Verification Procedure for Goal-Based Control Programs  + (Julia M B Braman, Richard M Murray)
• Probabilistic Safety Analysis of Sensor-Driven Hybrid Automata  + (Julia M B Braman, Richard M Murray)
• Automatic Conversion Software for the Safety Verification of Goal-Based Control Programs  + (Julia M B Braman, Richard M Murray)
• Safety Verification of Fault Tolerant Goal-based Control Programs with Estimation Uncertainty  + (Julia M B Braman, Richard M Murray)
• Failure Probability of Verifiable Goal-based Control Programs due to State Estimation Uncertainty  + (Julia M B Braman, Richard M Murray)
• Synthesis of Switching Protocols from Temporal Logic Specifications  + (Jun Liu, Necmiye Ozay, Ufuk Topcu and Richard M. Murray)
• Synthesis of Reactive Switching Protocols from Temporal Logic Specifications  + (Jun Liu, Necmiye Ozay, Ufuk Topcu, and Richard M. Murray)
• Synthesis of Reactive Control Protocols for Differentially Flat Systems  + (Jun Liu, Ufuk Topcu, Necmiye Ozay, and Richard M. Murray)
• Synthetic mammalian signaling circuits for robust cell population control  + (Yitong Ma)
• Nonlinear Control Methods for Planar Carangiform Robot Fish  + (K. A. Morgansen, V. Duindam, R. J. Mason, J. W. Burdick and R. M. Murray)
• Towards Assume-Guarantee Profiles for Autonomous Vehicles  + (Tung Phan-Minh)
• Robust Estimation Framework with Semantic Measurements  + (Karena X. Cai)
• Rules of the Road: Safety and Liveness Guarantees for Autonomous Vehicles  + (Karena X. Cai)
• Low-Observable Nonlinear Trajectory Generation for Unmanned Air Vehicles  + (Kathy Misovec, Tamer Inanc, Jerry Wohletz, Richard Murray)
• Efficient local validation of partially ordered models via Baysian directed sampling  + (Kellan Moorse and Richard Murray)
• A 65nm CMOS Living-Cell Dynamic Fluorescence Sensor with 1.05fA Sensitivity at 600/700nm Wavelengths  + (Fatemeh Aghimand)
• Resource optimisation in a wireless sensor network with guaranteed estimator performance  + (L Shi, A Capponi, K Johansson, R Murray)
• System architectures and environment modeling for high-speed autonomous navigation  + (Lars B Cremean)
• Stability Analysis of Interconnected Nonlinear Systems Under Matrix Feedback  + (Lars B. Cremean and Richard M. Murray)
• Model-Based Estimation of Off-Highway Road Geometry using Single-Axis LADAR and Inertial Sensing  + (Lars B. Cremean and Richard M. Murray)
• Uncertainty-based Sensor Fusion of Range Data for Real-time Digital Elevation Mapping (RTDEM)  + (Lars Cremean and Richard M. Murray)
• The Caltech Multi-Vehicle Wireless Testbed  + (Lars Cremean, William Dunbar, David van Gogh, Jason Hickey, Eric Klavins, Jason Meltzer, Richard M. Murray)
• Interfacing TuLiP with the JPL Statechart Autocoder: Initial progress toward synthesis of flight software from formal specifications  + (Sumanth Dathathri)
• Control of bacterial population density with population feedback and molecular sequestration  + (Reed D McCardell)
• Bacterial Controller Aided Wound Healing: A Case Study in Dynamical Population Controller Design  + (Leopold N. Green)
• Engineering Logical Inflammation Sensing Circuit for Modulating Gut Conditions  + (Liana N. Merk)
• Towards a Packet-based Control Theory - Part II: Rate Issues  + (Ling Shi and Richard M. Murray)
• Towards a Packet-Based Control Theory - Part I: Stabilization over a Packet-Based Network  + (Ling Shi and Richard M. Murray)
• Estimation Over Wireless Sensor Networks: Tradeoff between Communication, Computation and Estimation Qualities  + (Ling Shi, Karl Henrik Johansson, Richard M Murray)
• Optimal Sensor Hop Selection: Sensor Energy Minimization and Network Lifetime Maximization with Guaranteed System Performance  + (Ling Shi, Karl Henrik Johansson, Richard M Murray)