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.
I
Identifying and exploiting tolerance to unexpected jumps in synthesized strategies for GR(1) specifications +
Conference paper  +
R
Robust Model Predictive Control with a Safety Mode: Applied to Small-Body Proximity Operations +
Conference paper  +
O
Optimal nonlinear guidance with inner-loop feedback for hypersonic re-entry +
Conference paper  +
M
Model-Based Control of Cavity Oscillations, Part I: Experiments +
Conference paper  +
S
Synthesis of Control Protocols for Switched Electrical Power Systems for Commercial Applications with Safety Specifications +
Conference paper  +
I
Interfacing TuLiP with the JPL Statechart Autocoder: Initial progress toward synthesis of flight software from formal specifications +
Conference paper  +
R
Robust Model Predictive Control for Signal Temporal Logic Synthesis +
Conference paper  +
S
Stochastic Gene Expression in Single Gene Oscillator Variants +
Conference paper  +
C
Control design for hybrid systems with TuLiP: The temporal logic planning toolbox +
Conference paper  +
E
Enhancing tolerance to unexpected jumps in GR(1) games +
Conference paper  +
C
Connected Cruise Control Design Using Probabilistic Model Checking +
Conference paper  +
Q
Quantifying Resource Competition and its Effects in the TX-TL System +
Conference paper  +
F
Fast Automatic Verification of Large-Scale Systems with Lookup Tables +
Conference paper  +
R
Repressing Integrase attachment site operation with CRISPR-Cas9 in E. coli +
Conference paper  +
E
Engineering pulsatile communication in bacterial consortia +
Conference paper  +
H
Hiding variables when decomposing specifications into GR(1) contracts +
Conference paper  +
D
Decomposing GR(1) Games with Singleton Liveness Guarantees for Efficient Synthesis +
Conference paper  +
P
Population regulation in microbial consortia using dual feedback control +
Conference paper  +
Parallelizing Synthesis from Temporal Logic Specifications by Identifying Equicontrollable States +
Conference paper  +
L
Learning-Based Abstractions for Nonlinear Constraint Solving +
Conference paper  +
Retrieved from "https://murray.cds.caltech.edu/index.php?title=Property:Type&oldid=20371"