Property:Source

From Murray Wiki
Jump to navigationJump to search

This is a property of type Text.

previous 202050100250500next 20
Showing 20 pages using this property.
H
Hot-swapping robot task goals in reactive formal synthesis +
Submitted, 2014 Conference on Decision and Control (CDC)  +
S
Strategy-Driven Partitioning into Switching Modes for Piecewise-Affine Systems with Continuous Environments +
Submitted, 2014 Conference on Decision and Control (CDC)  +
O
Optimization-based Control of Nonlinear Systems with Linear Temporal Logic Specifications +
Submitted, 2014 International Conference on Robotics and Automation (ICRA)  +
M
Moving bounding boxes and incremental synthesis for dynamic obstacles +
Submitted, 2014 International Conference on Robotics and Automation (ICRA)  +
S
System identification of phosophorylation based insulator in a cell-free in vitro transcription-translation system +
Submitted, 2014 Winter q-bio Conference (5 Nov 2013)  +
I
Implementation And Simulation Of Phosphorylation-Based Insulator In Transcription-Translation Platform +
Submitted, 2014 Winter q-bio Conference (5 Nov 2013)  +
A
Analysis of Delays in Transcriptional Signaling Networks with Time-Varying Temperature-Dependent Rate Coefficients +
Submitted, 2014 Winter q-bio Conference (5 Nov 2013)  +
V
Variable Elimination for Scalable Receding Horizon Temporal Logic Planning +
Submitted, 2015 American Control Conference (ACC)  +
M
Multi-dimensional state estimation in adversarial environment +
Submitted, 2015 Chinese Control Conference (CCC)  +
G
Global Dynamical Structure Reconstruction from Reconstructed Dynamical Structure Subnetworks: Applications to Biochemical Reaction Networks +
Submitted, 2015 Conference on Decision and Control (CDC)  +
Q
Quantitative Performance Bounds in Biomolecular Circuits due to Temperature Uncertainty +
Submitted, 2015 Conference on Decision and Control (CDC)  +
C
Control System Analysis on Symmetric Cones +
Submitted, 2015 Conference on Decision and Control (CDC)  +
S
Synthesis of Distributed Longitudinal Control 1 Protocols for a Platoon of Autonomous Vehicles +
Submitted, 2015 Conference on Decision and Control (CDC)  +
E
Engineering Principles of Synthetic Biochemical Oscillators with Negative Cyclic Feedback +
Submitted, 2015 Conference on Decision and Control (CDC)  +
A
A Risk-Aware Architecture for Resilient Spacecraft Operations +
Submitted, 2015 IEEE Aerospace Conference  +
An Iterative Abstraction Algorithm for Reactive Correct-by-Construction Controller Synthesis +
Submitted, 2015 International Conference on Hybrid Systems: Computation and Control (HSCC)  +
O
Online Horizon Selection in Receding Horizon Temporal Logic Planning +
Submitted, 2015 International Conference on Hybrid Systems: Computation and Control (HSCC)  +
C
Cross-entropy Temporal Logic Motion Planning +
Submitted, 2015 International Conference on Hybrid Systems: Computation and Control (HSCC)  +
S
Systematic Design and Implementation of a Novel Synthetic Fold-Change Detector Biocircuit In Vivo +
Submitted, 2015 Winter q-bio Conference (5 Nov 2014)  +
Synthesis from multi-paradigm specifications +
Submitted, 2015 Workshop on Synthesis (SYNT)  +
Retrieved from "https://murray.cds.caltech.edu/index.php?title=Property:Source&oldid=20093"