Property:Title

From Murray Wiki
Jump to navigationJump to search

This is a property of type Page.

previous 202050100250500next 20
Showing 20 pages using this property.
A
A Case Study in Approximate Linearization: The Acrobot Example +
A Case Study in Approximate Linearization: The Acrobot Example  +
R
Robotic Control and Nonholonomic Motion Planning +
Robotic Control and Nonholonomic Motion Planning  +
E
Experiments in Planar Manipulation and Grasping +
Experiments in Planar Manipulation and Grasping  +
D
Design Space Exploration of the Violacein Pathway in Escherichia coli Based Cell-Free System +
Design Space Exploration of the Violacein Pathway in Escherichia coli Based Cell-Free System  +
Design and application of stationary phase combinatorial promoters +
Design and application of stationary phase combinatorial promoters  +
I
Identifying and exploiting tolerance to unexpected jumps in synthesized strategies for GR(1) specifications +
Identifying and exploiting tolerance to unexpected jumps in synthesized strategies for GR(1) specifications  +
M
Model Predictive Control for Signal Temporal Logic Specifications +
Model Predictive Control for Signal Temporal Logic Specifications  +
A
An analytical approach to bistable biological circuit discrimination using real algebraic geometry +
An analytical approach to bistable biological circuit discrimination using real algebraic geometry  +
R
Robust Model Predictive Control with a Safety Mode: Applied to Small-Body Proximity Operations +
Robust Model Predictive Control with a Safety Mode: Applied to Small-Body Proximity Operations  +
O
Optimal nonlinear guidance with inner-loop feedback for hypersonic re-entry +
Optimal nonlinear guidance with inner-loop feedback for hypersonic re-entry  +
M
Model-Based Control of Cavity Oscillations, Part I: Experiments +
Model-Based Control of Cavity Oscillations, Part I: Experiments  +
S
Synthesis of Control Protocols for Switched Electrical Power Systems for Commercial Applications with Safety Specifications +
Synthesis of Control Protocols for Switched Electrical Power Systems for Commercial Applications with Safety Specifications  +
A
A population-based temporal logic gate for timing and recording chemical events +
A population-based temporal logic gate for timing and recording chemical events  +
I
Interfacing TuLiP with the JPL Statechart Autocoder: Initial progress toward synthesis of flight software from formal specifications +
Interfacing TuLiP with the JPL Statechart Autocoder: Initial progress toward synthesis of flight software from formal specifications  +
T
The role of single occupancy effects on integrase dynamics in a cell-free system +
The role of single occupancy effects on integrase dynamics in a cell-free system  +
R
Robust Model Predictive Control for Signal Temporal Logic Synthesis +
Robust Model Predictive Control for Signal Temporal Logic Synthesis  +
S
Stochastic Gene Expression in Single Gene Oscillator Variants +
Stochastic Gene Expression in Single Gene Oscillator Variants  +
C
Control design for hybrid systems with TuLiP: The temporal logic planning toolbox +
Control design for hybrid systems with TuLiP: The temporal logic planning toolbox  +
E
Enhancing tolerance to unexpected jumps in GR(1) games +
Enhancing tolerance to unexpected jumps in GR(1) games  +
C
Connected Cruise Control Design Using Probabilistic Model Checking +
Connected Cruise Control Design Using Probabilistic Model Checking  +
Retrieved from "https://murray.cds.caltech.edu/index.php?title=Property:Title&oldid=20502"