Property:Funding

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 Bayesian approach to inferring chemical signal timing and amplitude in a temporal logic gate using the cell population distributional response +
Theory-Based Engineering of Biomolecular Circuits in Living Cells  +
A Compositional Approach to Stochastic Optimal Control with Co-safe Temporal Logic Specifications +
Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems  +
A Compositional Approach to Stochastic Optimal Control with Temporal Logic Specifications +
Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems  +
A Contract-Based Methodology for Aircraft Electric Power System Design +
ICyPhy: Industrial Cyber-Physical Systems  +
A MATLAB toolbox for modeling genetic circuits in cell-free systems +
Rapid, Reliable and Repeatable Platforms for Cell-Free Prototyping  +
A Method for Cost-Effective and Rapid Characterization of Engineered T7-based Transcription Factors by Cell-Free Protein Synthesis Reveals Insights into the Regulation of T7 RNA Polymerase-Driven Expression +
Engineering Durable Cell-Free Biological Capabilities for Advanced Sensing and Prototyping  +
A Method for Cost-Effective and Rapid Characterization of Genetic Parts +
Engineering Durable Cell-Free Biological Capabilities for Advanced Sensing and Prototyping  +
A Model-Free Algorithm for Extremely Resilient Navigation +
Safety-Critical Cyber-Physical Systems: From Validation & Verification to Test & Evaluation  +
A Risk-Aware Architecture for Resilient Spacecraft Operations +
Resilient Risk-Aware Autonomy for the Exploration of Uncertain and Extreme Environments  +
A State-space Realization Approach to Set Identification of Biochemical Kinetic Parameters +
Biomolecular Breadboards for Prototyping and Debugging Synthetic Biocircuits  +
A geometric and structural approach to the analysis and design of biological circuit dynamics: a theory tailored for synthetic biology +
Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors  +
A hovercraft robot that uses insect-inspired visual autocorrelation for motion control in a corridor +
ARO ICB 2003  +
A modal interface contract theory for guarded input/output automata with an application in traffic system design +
Temporal Logic Specifications for Control System Design in Automotive Systems  +
A population-based temporal logic gate for timing and recording chemical events +
Biomolecular Circuits for Rapid Detection and Response to Environmental Events  +
A stochastic framework for the design of transient and steady state behavior of biochemical reaction networks +
Theory-Based Engineering of Biomolecular Circuits in Living Cells  +
A two-state ribosome and protein model can robustly capture the chemical reaction dynamics of gene expression +
Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors  +
AFOSR BRI, DARPA BioCon +
Theory-Based Engineering of Biomolecular Circuits in Living Cells  +, Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors  +
Addressable, “Packet-Based” Intercellular Communication through Plasmid Conjugation +
Field-Programmable, Recombinase-Based Biomolecular Circuits  +
An Aircraft Electric Power Testbed for Validating Automatically Synthesized Reactive Control Protocols +
Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems  +
An Iterative Abstraction Algorithm for Reactive Correct-by-Construction Controller Synthesis +
ICyPhy: Industrial Cyber-Physical Systems  +
Retrieved from "https://murray.cds.caltech.edu/index.php?title=Property:Funding&oldid=20121"