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.
S
Synthetic mammalian signaling circuits for robust cell population control +
Submitted, Cell Systems  +
T
The Effect of Compositional Context on Synthetic Gene Networks +
Submitted, Cell Systems (bioRxiv preprint)  +
R
Reactive motion planning with probabilistic safety guarantees +
Submitted, Conference on Robotic Learning (CoRL)  +
A
A Domain-Specific Language for Reactive Control Protocols for Aircraft Electric Power Systems +
Submitted, Hybrid Systems: Computation and Control (HSCC) 2013  +
An Aircraft Electric Power Testbed for Validating Automatically Synthesized Reactive Control Protocols +
Submitted, Hybrid Systems: Computation and Control (HSCC) 2013  +
P
Pre-orders for Reasoning about Input-to-State Stability Properties of Hybrid Systems +
Submitted, Hybrid Systems: Computation and Control (HSCC) 2013  +
N
Nonlinear Control Methods for Planar Carangiform Robot Fish +
Submitted, IEEE International Conference on Robotics and Automation, May 2001  +
M
Model Predictive Control for Signal Temporal Logic Specifications +
Submitted, IEEE T. Automatic Control (2 Jan 2016)  +
S
Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution +
Submitted, IEEE T. Control of Networked Systems (14 Nov 2013)  +
B
Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications +
Submitted, IEEE Transactions on Automatic Control, 2023  +
F
Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications +
Submitted, IEEE Transactions on Robotics, 2024  +
I
Inversion Based Trajectory Optimization +
Submitted, IFAC Symposium on Nonlinear Control Systems Design (NOLCOS)  +
C
Contracts of Reactivity +
Submitted, Int'l Conf on Formal Modeling and Analysis of Timed Systems (FORMATS) 2019  +
B
Bootstrapping bilinear models of simple vehicles +
Submitted, International Journal of Robotics Research (IJRR), Dec 2013  +
R
Reasoning over Test Specifications using Assume-Guarantee Contracts +
Submitted, NASA Formal Methods (NFM), 2023  +
A
Analysis of primitive genetic interactions for the design of a genetic signal differentiator +
Submitted, OUP Synthetic Biology, May 2019  +
T
The effects of time-varying temperature on delays in genetic networks +
Submitted, SIAM J. Applied Dynamical Systems (SIADS)  +
C
Convex Optimal Uncertainty Quantification +
Submitted, SIAM Journal on Optimization (28 Nov 2013)  +
N
Negative Feedback Facilitates Temperature Robustness in Biomolecular Circuit Dynamics +
Submitted, Synthetic Biology: Engineering, Evolution and Design (SEED)  +
A
A MATLAB toolbox for modeling genetic circuits in cell-free systems +
Synthetic Biology, 6(1):ysab007, 2021  +
Retrieved from "https://murray.cds.caltech.edu/index.php?title=Property:Source&oldid=20093"