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
Synthesis of Static Test Environments for Observing Sequence-like Behaviors in Autonomous Systems +
Submitted, 2021 NASA Formal Methods (NFM)  +
C
Context-Aided Variable Elimination for Requirement Engineering +
Submitted, 2023 Formal Methods in Computer-Aided Design (FMCAD)  +
S
Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows +
Submitted, 2023 International Conference on Robotics and Automation (ICRA)  +
E
Evaluation Metrics for Object Detection for Autonomous Systems +
Submitted, 2023 International Conference on Robotics and Automation (ICRA)  +
Efficient local validation of partially ordered models via Baysian directed sampling +
Submitted, 2024 American Control Conference (ACC)  +
A
A Model-Free Algorithm for Extremely Resilient Navigation +
Submitted, 2024 International Conference on Robotics and Automation (ICRA)  +
T
TRILL: Orchestrating Modular Deep-Learning Workflows for Democratized, Scalable Protein Analysis and Engineering +
Submitted, 2024 SEED  +
L
Linear DNA for rapid prototyping of synthetic biological circuits in an Escherichia coli based TX-TL cell-free system +
Submitted, <i>ACS Synthetic Biology</i>, September 2013  +
D
Distributed Receding Horizon Control with Applications to Multi-Vehicle Formation Stabilization +
Submitted, <i>Automatica</i>  +
S
State Estimation Over Packet Dropping Networks Using Multiple Description Coding +
Submitted, <i>Automatica</i>, July 2005  +
O
On a Stochastic Sensor Selection Algorithm with Applications in Sensor Scheduling and Sensor Coverage +
Submitted, <i>Automatica</i>, September 2004  +
H
Hard Limits And Performance Tradeoffs In A Class Of Sequestration Feedback Systems +
Submitted, <i>Cell Systems</i> (Nov 2018)  +
C
Cone Invariance and Rendezvous of Multiple Agents +
Submitted, <i>IEEE T. Automatic Control</i>  +
U
UAV as a Reliable Wingman: A Flight Demonstration +
Submitted, <i>IEEE T. Control Systems Technology</i>  +
O
Optimal LQG Control Across a Packet-Dropping Link +
Submitted, <i>Systems and Control Letters</i>  +
P
Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design +
Submitted, ACM Transactions on Cyber-Physical Systems (TCPS), Aug 2023  +
N
Negative autoregulation matches production and demand in synthetic transcriptional networks +
Submitted, ACS Synthetic Biology (4 Oct 2013)  +
A
A Field-Deployable Arsenic Sensor Integrating Bacillus Megaterium with CMOS Technology +
Submitted, ACS Synthetic Biology, 2024  +
I
Impact of Chemical Dynamics of Commercial PURE Systems on Malachite Green Aptamer Fluorescence +
Submitted, ACS Synthetic Biology, 2024  +
S
Synthesis and Validation of Control Software For A Vehicular Electric Power Distribution Testbed +
Submitted, AIAA J. Aerospace Information Systems (Aug 2013)  +
Retrieved from "https://murray.cds.caltech.edu/index.php?title=Property:Source&oldid=20093"