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.
O
Optimal LQG control across packet-dropping links +
Systems and Control Letters, 56(6):439-446  +
P
Protein degradation in a TX-TL cell-free expression system using ClpXP protease +
Technical Report, 7 July 2014  +
F
Flight control in a flapping-wing fruit fly simulator +
The Neuromorphic Engineer  +
T
Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations +
To appear in IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), 2018  +
Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams +
To appear in Robotics: Science and Systems (RSS), 2018.  +
W
When are Distributed Algorithms Robust? +
To appear, 2006 Conference on Decision and Control (CDC)  +
O
On Sensor Coverage by Mobile Sensors +
To appear, 2006 Conference on Decision and Control (CDC)  +
M
Model-Based Estimation of Off-Highway Road Geometry using Single-Axis LADAR and Inertial Sensing +
To appear, 2006 International Conference on Robotics and Automation (ICRA)  +
F
Frequency-Weighted Model Reduction with Applications to Structured Models +
To appear, 2007 American Control Conference (ACC)  +
B
Bioligically Inspired Feedback Design for Drosophila Flight +
To appear, 2007 American Control Conference (ACC)  +
C
Convex optimal uncertainty quantification: Algorithms and a case study in energy storage placement for power grids +
To appear, 2013 American Control Conference (ACC)  +
A
Automaton-Guided Controller Synthesis for Nonlinear Systems with Temporal Logic +
To appear, 2013 International Conference on Intelligent Robots and Systems (IROS)  +
V
Voluntary lane-change policy synthesis with reactive control improvisation +
To appear, 2018 Conference on Decision and Control (CDC)  +
O
Optimal Experiment Design and Leveraging Competition for Shared Resources in Cell-free Extracts +
To appear, 2018 Conference on Decision and Control (CDC)  +
R
Role of interaction network topology in controlling microbial population in consortia +
To appear, 2018 Conference on Decision and Control (CDC)  +
E
End-to-End Safe Reinforcement Learning through Barrier Functions for Safety-Critical Continuous Control Tasks +
To appear, 2019 AAAI Conference on Artificial Intelligence  +
I
Inverse Abstraction of Neural Networks Using Symbolic Interpolation +
To appear, 2019 AAAI Conference on Artificial Intelligence  +
F
Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions +
To appear, 2020 Conference on Decision and Control (CDC)  +
L
Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications +
To appear, 2021 Conference on Decision and Control  +
T
Time-Optimal Navigation in Uncertain Environments with High-Level Specifications +
To appear, 2021 Conference on Decision and Control (CDC)  +
Retrieved from "https://murray.cds.caltech.edu/index.php?title=Property:Source&oldid=20093"