A Bayesian approach to inferring chemical signal timing and amplitude in a temporal logic gate using the cell population distributional response

A Contract-Based Methodology for Aircraft Electric Power System Design

article by Pierluigi Nuzzo et al published 2014 in IEEE Access

A Multi-Model Approach to Identification of Biosynthetic Pathways

A bio-plausible design for visual attitude stabilization

A case study on reactive protocols for aircraft electric power distribution

A compositional approach to stochastic optimal control with co-safe temporal logic specifications

article

A homotopy algorithm for approximating geometric distributions by integrable systems

A hovercraft robot that uses insect-inspired visual autocorrelation for motion control in a corridor

scholarly article published December 2011

A multi-paradigm language for reactive synthesis ⬇️

A population-based temporal logic gate for timing and recording chemical events

artículo científico publicado en 2016

A population-based temporal logic gate for timing and recording chemical events

A risk-aware architecture for resilient spacecraft operations

scholarly article published March 2015

A robust model predictive control algorithm augmented with a reactive safety mode

article

A scalable formulation for engineering combination therapies for evolutionary dynamics of disease

A state-space realization approach to set identification of biochemical kinetic parameters

A stochastic framework for the design of transient and steady state behavior of biochemical reaction networks

A survey of good practice in control education

Alice: An Information-Rich Autonomous Vehicle for High-Speed Desert Navigation

Alice: An information-rich autonomous vehicle for high-speed desert navigation

An aircraft electric power testbed for validating automatically synthesized reactive control protocols

An analytical approach to bistable biological circuit discrimination using real algebraic geometry

artículo científico publicado en 2015

An analytical approach to bistable biological circuit discrimination using real algebraic geometry

scholarly article published 30 August 2014

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 ⬇️

Analysis and design of a synthetic transcriptional network for exact adaptation

Analysis of Circuits for Dosage Control in Microbial Populations

Analysis of a Digital Clock for Molecular Computing

Analysis of control systems on symmetric cones

Asynchronous Distributed Averaging on Communication Networks

Automaton-guided controller synthesis for nonlinear systems with temporal logic

Autonomous driving in urban environments: approaches, lessons and challenges

artículo científico

Backtracking temporal logic synthesis for uncertain environments

Bifurcation control of rotating stall with actuator magnitude and rate limits: Part II—control synthesis and comparison with experiments

Bifurcation control of rotating stall with actuator magnitude and rate limits: Part I—model reduction and qualitative dynamics

BioCRNpyler: Compiling chemical reaction networks from biomolecular parts in diverse contexts

artículo científico publicado en 2022

Biologically Inspired Feedback Design for Drosophila Flight

Bisimulation conversion and verification procedure for goal-based control systems

Bootstrapping bilinear models of Simple Vehicles

Bootstrapping bilinear models of robotic sensorimotor cascades

Bootstrapping sensorimotor cascades: A group-theoretic perspective

Cell-free extract based optimization of biomolecular circuits with droplet microfluidics

artículo científico publicado en 2017

Change sensor topology when needed: How to efficiently use system resources in control and estimation over wireless networks

Characterizing and prototyping genetic networks with cell-free transcription-translation reactions

artículo científico publicado en 2015

Characterizing the Effects of Air Injection on Compressor Performance for Use in Active Control of Rotating Stall

Collaborative system identification via parameter consensus

artículo científico

Communication and sensing trade-offs in cooperative mobile networks

article by Yasamin Mostofi et al published 2008 in Asian Journal of Control

Complexity Management in the State Estimation of Multi-Agent Systems

Compositional stability analysis based on dual decomposition

article

Consensus and Cooperation in Networked Multi-Agent Systems

Context Dependence of Biological Circuits

Control Software Synthesis and Validation for a Vehicular Electric Power Distribution Testbed

Control design for hybrid systems with TuLiP: The Temporal Logic Planning toolbox

Control over a packet dropping network with norm bounded uncertainties

Controlling biological networks by time-delayed signals

artículo científico publicado en 2010

Convex Optimal Uncertainty Quantification

Cross-entropy temporal logic motion planning

Decentralized Multi-Agent Optimization via Dual Decomposition

Decomposition of human motion into dynamics-based primitives with application to drawing tasks

article

Design Guidelines For Sequestration Feedback Networks

Design and implementation of a biomolecular concentration tracker

artículo científico publicado en 2014

Design and performance of in vitro transcription rate regulatory circuits

Design of insulating devices for in vitro synthetic circuits

Design, modeling and synthesis of an in vitro transcription rate regulatory circuit

Designing robustness to temperature in a feedforward loop circuit

Development of prokaryotic cell-free systems for synthetic biology

article

Discrete state estimators for systems on a lattice

Discriminating external and internal causes for heading changes in freely flying Drosophila

artículo científico publicado en 2013

Distributed Synthesis of Control Protocols for Smart Camera Networks

Distributed power allocation for vehicle management systems

Distributed receding horizon control for multi-vehicle formation stabilization

article

Dynamic state estimation in distributed aircraft electric control systems via adaptive submodularity

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

artículo científico publicado en 2009

Dynamics of escaping flight initiations of Drosophila melanogaster

Editorial for SEED 2014 Special Issue

artículo científico publicado en 2015

Effective Sensor Scheduling Schemes in a Sensor Network by Employing Feedback in the Communication Loop

Effective transition rates for epitaxial growth using fast modulation

scholarly article in Physical Review B, vol. 70 no. 4, July 2004

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

Engineering Transcriptional Regulator Effector Specificity Using Computational Design and In Vitro Rapid Prototyping: Developing a Vanillin Sensor.

artículo científico publicado en 2015

Engineering principles of synthetic biochemical oscillators with negative cyclic feedback

Estimation for Nonlinear Dynamical Systems over Packet-Dropping Networks

Estimation schemes for networked control systems using UDP-like communication

Exact stability analysis of discrete-time linear systems with stochastic delays

Experimental Evaluation of Air Injection for Actuation of Rotating Stall in a Low Speed, Axial Fan

Fault detection and isolation from uninterpreted data in robotic sensorimotor cascades

Feedback stabilization of bifurcations in multivariable nonlinear systems—Part I: equilibrium bifurcations

scholarly article by Yong Wang & Richard M. Murray published 2007 in International Journal of Robust and Nonlinear Control

Feedback stabilization of bifurcations in multivariable nonlinear systems—Part II: Hopf bifurcations

scholarly article by Yong Wang & Richard M. Murray published 2007 in International Journal of Robust and Nonlinear Control

Finding analytic stationary solutions to the chemical master equation by gluing state spaces at one or two states recursively

scholarly article published 3 March 2017

Flight dynamics and control of evasive maneuvers: the fruit fly's takeoff

artículo científico publicado en 2009

Flying Drosophila stabilize their vision-based velocity controller by sensing wind with their antennae

artículo científico publicado en 2014

Framework for Low-Observable Trajectory Generation in Presence of Multiple Radars

Frequency-Weighted Model Reduction with Applications to Structured Models

Gene circuit performance characterization and resource usage in a cell-free "breadboard".

artículo científico publicado en 2014

Geometric control of particle manipulation in a two-dimensional fluid

Geometric phases and robotic locomotion

Global network identification from reconstructed dynamical structure subnetworks: Applications to biochemical reaction networks

Hard Limits And Performance Tradeoffs In A Class Of Sequestration Feedback Systems

Hot-swapping robot task goals in reactive formal synthesis

Implementation and System Identification of a Phosphorylation-Based Insulator in a Cell-Free Transcription-Translation System

article published in 2017

Interfacing TuLiP with the JPL statechart autocoder: Initial progress toward synthesis of flight software from formal specifications

Joint DAC/IWBDA special session engineering biology

Just-in-time synthesis for reactive motion planning with temporal logic

Kalman Filtering Over a Packet-Dropping Network: A Probabilistic Perspective

Kalman Filtering with Uncertain Process and Measurement Noise Covariances with Application to State Estimation in Sensor Networks

Kalman filtering over a packet dropping network: A probabilistic approach

Kalman filtering over a packet-delaying network: A probabilistic approach

article published in 2009

Kalman filtering over wireless fading channelsâ How to handle packet drop

scholarly article by Yasamin Mostofi & Richard M. Murray published December 2009 in International Journal of Robust and Nonlinear Control

Layering Assume-Guarantee Contracts for Hierarchical System Design

Learning diffeomorphism models of robotic sensorimotor cascades

Length and time scales of cell-cell signaling circuits in agar

Linear DNA for rapid prototyping of synthetic biological circuits in an Escherichia coli based TX-TL cell-free system

artículo científico publicado en 2013

Linear models for control of cavity flow oscillations

Linear system identifiability from distributional and time series data

Model predictive control with signal temporal logic specifications

Model reduction for compressible flows using POD and Galerkin projection

Modeling Dynamic Transcriptional Circuits with CRISPRi

Modeling environmental disturbances with the chemical master equation

article published in 2013

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

article

Motion planning in observations space with learned diffeomorphism models

article published in 2013

Multi-dimensional state estimation in adversarial environment

Negative autoregulation matches production and demand in synthetic transcriptional networks.

artículo científico publicado en 2014

Nilpotent bases for a class of nonintegrable distributions with applications to trajectory generation for nonholonomic systems

Non-holonomic control systems: from steering to stabilization with sinusoids

Nonlinear lateral control strategy for nonholonomic vehicles

On a stochastic sensor selection algorithm with applications in sensor scheduling and sensor coverage

On quantized consensus by means of gossip algorithm - Part I: Convergence proof

On quantized consensus by means of gossip algorithm - Part II: Convergence time

On synthesizing robust discrete controllers under modeling uncertainty

Online horizon selection in receding horizon temporal logic planning

Optimal Control of Nonlinear Systems with Temporal Logic Specifications

Optimal LQG control across packet-dropping links

Optimal control of non-deterministic systems for a computationally efficient fragment of temporal logic

Optimal sensor hop selection: Sensor energy minimization and network lifetime maximization with guaranteed system performance

Optimization of convergence rate and stability margin of information flow in cooperative systems

Optimization-based trajectory generation with linear temporal logic specifications

Patching task-level robot controllers based on a local μ-calculus formula

article

Performance of Non-Homogeneous Multi-Agent Systems on a Graph

Periodically Controlled Hybrid Systems

Population diversification in a yeast metabolic program promotes anticipation of environmental shifts

artículo científico publicado en 2015

Pre-orders for reasoning about stability properties with respect to input of hybrid systems

Privacy preserving average consensus

Probabilistic performance of state estimation across a lossy network

Proof of concept continuous event logging in living cells

Protocols for implementing an Escherichia coli based TX-TL cell-free expression system for synthetic biology

scientific article published on 16 September 2013

Prototyping And Implementation Of A Novel Feedforward Loop In A Cell-Free Transcription-Translation System And Cells

Quantitative Modeling of Integrase Dynamics Using a Novel Python Toolbox for Parameter Inference in Synthetic Biology

scholarly article published 27 March 2017

Quantized consensus via adaptive stochastic gossip algorithm

Random consensus protocol in large-scale networks

Rapid cell-free forward engineering of novel genetic ring oscillators

artículo científico publicado en 2015

Rapidly characterizing the fast dynamics of RNA genetic circuitry with cell-free transcription-translation (TX-TL) systems

artículo científico publicado en 2014

Reactive controllers for differentially flat systems with temporal logic constraints

Reactive synthesis from signal temporal logic specifications

Real-valued average consensus over noisy quantized channels

article published in 2009

Receding Horizon Temporal Logic Planning

Receding horizon control for temporal logic specifications

Receding horizon temporal logic planning for dynamical systems

Recent Research in Cooperative Control of Multivehicle Systems

Reduction and identification methods for Markovian control systems, with application to thin film deposition

scholarly article by Martha A. Gallivan & Richard M. Murray published 12 December 2003 in International Journal of Robust and Nonlinear Control

Regulatory activity revealed by dynamic correlations in gene expression noise

artículo científico publicado en 2008

Resource competition as a source of non-minimum phase behavior in transcription-translation systems

article

Reverse engineering combination therapies for evolutionary dynamics of disease: An ℌ ∞ approach

Robot navigation in dense human crowds: Statistical models and experimental studies of human–robot cooperation

Robot navigation in dense human crowds: the case for cooperation

Robust Model Predictive Control for Signal Temporal Logic Synthesis

article

Robust control of uncertain Markov Decision Processes with temporal logic specifications

Safety verification of a fault tolerant reconfigurable autonomous goal-based robotic control system

Safety verification of fault tolerant goal-based control programs with estimation uncertainty

Simple condition for stability of systems interconnected over networks

Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution

Stability of Systems with Stochastic Delays and Applications to Genetic Regulatory Networks

artículo científico publicado en 2016

Stabilization of Feedback Systems via Distribution of Delays

State Estimation Over an Unreliable Network

State estimation over packet dropping networks using multiple description coding

article published in 2006

Symbolic construction of GR(1) contracts for systems with full information

Synergistic dual positive feedback loops established by molecular sequestration generate robust bimodal response

artículo científico publicado en 2012

Synthesis of Reactive Switching Protocols From Temporal Logic Specifications

Synthesis of correct-by-construction control protocols for hybrid systems using partial state information

Synthesis of embedded control systems with high sampling frequencies

Synthesis of reactive controllers for hybrid systems (keynote)

Synthesizing combination therapies for evolutionary dynamics of disease for nonlinear pharmacodynamics

article

Synthetic circuit for exact adaptation and fold-change detection

artículo científico publicado en 2014

Temperature dependence of biomolecular circuit designs

The Swarm at the Edge of the Cloud

article

The effects of time-varying temperature on delays in genetic networks.

artículo científico publicado en 2016

The role of single occupancy effects on integrase dynamics in a cell-free system

Timing molecular motion and production with a synthetic transcriptional clock

artículo científico publicado en 2011

To Drop or Not to Drop: Design Principles for Kalman Filtering Over Wireless Fading Channels

To Drop or Not to Drop: Receiver Design Principles for Estimation over Wireless Links

Towards formal synthesis of reactive controllers for dexterous robotic manipulation

Trajectory Planning of Differentially Flat Systems with Dynamics and Inequalities

TuLiP

Tuning a synthetic in vitro oscillator using control-theoretic tools

Uncertain semantics, representation nuisances, and necessary invariance properties of bootstrapping agents

Variable elimination for scalable receding horizon temporal logic planning

Variational principles for constrained systems: Theory and experiment

article by Andrew D. Lewis & Richard M. Murray published November 1995 in International Journal of Non-Linear Mechanics

Verification of Periodically Controlled Hybrid Systems

Verifying Cyber-Physical Interactions in Safety-Critical Systems