Property:Type

From Murray Wiki
Jump to navigationJump to search

This is a property of type Text.

previous 202050100250500next 20
Showing 20 pages using this property.
C
Control System Analysis on Symmetric Cones +
Conference Paper  +
A
An Iterative Abstraction Algorithm for Reactive Correct-by-Construction Controller Synthesis +
Conference Paper  +
S
Synthesis of Distributed Longitudinal Control 1 Protocols for a Platoon of Autonomous Vehicles +
Conference Paper  +
E
Engineering Principles of Synthetic Biochemical Oscillators with Negative Cyclic Feedback +
Conference Paper  +
M
Model Predictive Control for an Uncertain Smart Thermal Grid +
Conference Paper  +
A
A stochastic framework for the design of transient and steady state behavior of biochemical reaction networks +
Conference Paper  +
S
Synthesis from multi-paradigm specifications +
Conference Paper  +
P
Prototyping 1,4-butanediol (BDO) biosynthesis pathway in a cell-free transcription-translation (TX-TL) system +
Conference Paper  +
D
Design of a Toolbox of RNA Thermometers +
Conference Paper  +
M
Multi-dimensional state estimation in adversarial environment +
Conference Paper  +
C
Characterization of minimum inducer separation time for a two-input integrase-based event detector +
Conference Paper  +
S
Systematic Design and Implementation of a Novel Synthetic Fold-Change Detector Biocircuit In Vivo +
Conference Paper  +
A
A Risk-Aware Architecture for Resilient Spacecraft Operations +
Conference Paper  +
A State-space Realization Approach to Set Identification of Biochemical Kinetic Parameters +
Conference Paper  +
O
Online Horizon Selection in Receding Horizon Temporal Logic Planning +
Conference Paper  +
R
Reactive Synthesis from Signal Temporal Logic Specifications +
Conference Paper  +
C
Cross-entropy Temporal Logic Motion Planning +
Conference Paper  +
V
Variable Elimination for Scalable Receding Horizon Temporal Logic Planning +
Conference Paper  +
A
A Compositional Approach to Stochastic Optimal Control with Co-safe Temporal Logic Specifications +
Conference Paper  +
M
Modeling the Effects of Compositional Context on Promoter Activity in an E. Coli Extract based Transcription-Translation System +
Conference Paper  +
Retrieved from "https://murray.cds.caltech.edu/index.php?title=Property:Type&oldid=20371"