]> 2026-07-09T13:01:04+00:00 Completed projects 14 en 2015-11-26T02:21:49Z 2457352.5984838 Completed projects 14 [2,"smw-category-invalid-redirect-target","Projects"] Completed projects# ERR9f97a6322f85674333a2b590cfc9fa0a Caltech Multi-Vehicle Wireless Testbed 0 en Caltech Multi-Vehicle Wireless Testbed RoboFlag 2005 0 en RoboFlag 2005 Packet-Based Estimation and Control 0 en Packet-Based Estimation and Control Networked Feedback Systems in Biology 0 en Networked Feedback Systems in Biology Model-Based Design and Qualification of Complex Systems 0 en Model-Based Design and Qualification of Complex Systems Molecular Programming Project 0 en Molecular Programming Project Network Science and Engineering: A Theory of Network Architecture 0 en Network Science and Engineering: A Theory of Network Architecture Distributed Sense and Control Systems 0 en Distributed Sense and Control Systems Control Design for Cyberphysical Systems Using Slow Computing 0 en Control Design for Cyberphysical Systems Using Slow Computing CAGEN: Critical Assessment of Genetically Engineered Networks 0 en CAGEN: Critical Assessment of Genetically Engineered Networks Biomolecular Feedback Circuits for Modular, Robust and Rapid Response 0 en Biomolecular Feedback Circuits for Modular, Robust and Rapid Response Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems 0 en Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems Biomolecular Breadboards for Prototyping and Debugging Synthetic Biocircuits 0 en Biomolecular Breadboards for Prototyping and Debugging Synthetic Biocircuits Programmable Molecular Technology Initiative 0 en Programmable Molecular Technology Initiative Model-guided Discovery and Optimization of Cell-based Sensors 0 en Model-guided Discovery and Optimization of Cell-based Sensors The TerraSwarm Research Center 0 en The TerraSwarm Research Center ICyPhy: Industrial Cyber-Physical Systems 0 en ICyPhy: Industrial Cyber-Physical Systems Molecular Programming Architectures, Abstractions, Algorithms, and Applications 0 en Molecular Programming Architectures, Abstractions, Algorithms, and Applications Biomolecular Circuits for Rapid Detection and Response to Environmental Events 0 en Biomolecular Circuits for Rapid Detection and Response to Environmental Events Theory-Based Engineering of Biomolecular Circuits in Living Cells 0 en Theory-Based Engineering of Biomolecular Circuits in Living Cells Resilient Risk-Aware Autonomy for the Exploration of Uncertain and Extreme Environments 0 en Resilient Risk-Aware Autonomy for the Exploration of Uncertain and Extreme Environments Improvement of E. coli transcription-translation (TX-TL) system 0 en Improvement of E. coli transcription-translation (TX-TL) system Establishing microfluidic cell-free systems for the rapid prototyping of synthetic genetic networks 0 en Establishing microfluidic cell-free systems for the rapid prototyping of synthetic genetic networks Cell-Free Expression of Membrane Proteins with Applications to Drug Discovery 0 en Cell-Free Expression of Membrane Proteins with Applications to Drug Discovery Temporal Logic Specifications for Control System Design in Automotive Systems 0 en Temporal Logic Specifications for Control System Design in Automotive Systems VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems 0 en VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems Rapid, Reliable and Repeatable Platforms for Cell-Free Prototyping 0 en Rapid, Reliable and Repeatable Platforms for Cell-Free Prototyping Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors 0 en Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors Synthesizing flight software (FSW) discrete controllers from formal specifications 0 en Synthesizing flight software (FSW) discrete controllers from formal specifications Safety-Critical Autonomy and Verification for Space Missions 0 en Safety-Critical Autonomy and Verification for Space Missions Genetic Circuits for Multi-Cellular Machines 0 en Genetic Circuits for Multi-Cellular Machines Field-Programmable, Recombinase-Based Biomolecular Circuits 0 en Field-Programmable, Recombinase-Based Biomolecular Circuits Engineering Durable Cell-Free Biological Capabilities for Advanced Sensing and Prototyping 0 en Engineering Durable Cell-Free Biological Capabilities for Advanced Sensing and Prototyping Enabling Technologies for Cell-Silicon Interfacing 0 en Enabling Technologies for Cell-Silicon Interfacing Fundamental Biological Factors Underlying Human Performance: From Molecular Diagnostics and Detection to Behavior and Systems Biology 0 en Fundamental Biological Factors Underlying Human Performance: From Molecular Diagnostics and Detection to Behavior and Systems Biology Developing Standardized Cell-Free Platforms for Rapid Prototyping of Synthetic Biology Circuits and Pathways 0 en Developing Standardized Cell-Free Platforms for Rapid Prototyping of Synthetic Biology Circuits and Pathways Design of Digitally Controlled Bacterial Circuits for Bioenabled Materials 0 en Design of Digitally Controlled Bacterial Circuits for Bioenabled Materials Assurance for Learning Enabled Systems 0 en Assurance for Learning Enabled Systems Formal Methods for V&V and T&E of Autonomous Systems 0 en Formal Methods for V&V and T&E of Autonomous Systems An Open Synthetic Biology Toolkit for Engineering Reliable Genetic Circuits in Microbes in Soil 0 en An Open Synthetic Biology Toolkit for Engineering Reliable Genetic Circuits in Microbes in Soil Engineering Replication-, Growth-, and Division-Deficient E. coli for Safe, Stable and Efficient Function 0 en Engineering Replication-, Growth-, and Division-Deficient E. coli for Safe, Stable and Efficient Function Actuation of Synthetic Cells Via Proto-Flagellar Motors 0 en Actuation of Synthetic Cells Via Proto-Flagellar Motors Safety-Critical Cyber-Physical Systems: From Validation & Verification to Test & Evaluation 0 en Safety-Critical Cyber-Physical Systems: From Validation & Verification to Test & Evaluation Engineering Reliable Genetic Circuits for Characterization and Remediation of Soil Ecologies 0 en Engineering Reliable Genetic Circuits for Characterization and Remediation of Soil Ecologies Multi-Layer, Composable and Programmable Biomolecular Circuits for Microbial Consortia 0 en Multi-Layer, Composable and Programmable Biomolecular Circuits for Microbial Consortia Deciphering the Rules of Nucleus Architecture with Synthetic Cells and Organelles 0 en Deciphering the Rules of Nucleus Architecture with Synthetic Cells and Organelles Upscaling Engineering of Synthetic Biomachines 0 en Upscaling Engineering of Synthetic Biomachines Control of Functional Bioenabled Materials using Synthetic Cells 0 en Control of Functional Bioenabled Materials using Synthetic Cells Caltech Multi-Vehicle Wireless Testbed 0 en Caltech Multi-Vehicle Wireless Testbed RoboFlag 2005 0 en RoboFlag 2005 Packet-Based Estimation and Control 0 en Packet-Based Estimation and Control Networked Feedback Systems in Biology 0 en Networked Feedback Systems in Biology Model-Based Design and Qualification of Complex Systems 0 en Model-Based Design and Qualification of Complex Systems Molecular Programming Project 0 en Molecular Programming Project Network Science and Engineering: A Theory of Network Architecture 0 en Network Science and Engineering: A Theory of Network Architecture Distributed Sense and Control Systems 0 en Distributed Sense and Control Systems Control Design for Cyberphysical Systems Using Slow Computing 0 en Control Design for Cyberphysical Systems Using Slow Computing CAGEN: Critical Assessment of Genetically Engineered Networks 0 en CAGEN: Critical Assessment of Genetically Engineered Networks Biomolecular Feedback Circuits for Modular, Robust and Rapid Response 0 en Biomolecular Feedback Circuits for Modular, Robust and Rapid Response Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems 0 en Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems Biomolecular Breadboards for Prototyping and Debugging Synthetic Biocircuits 0 en Biomolecular Breadboards for Prototyping and Debugging Synthetic Biocircuits Programmable Molecular Technology Initiative 0 en Programmable Molecular Technology Initiative Model-guided Discovery and Optimization of Cell-based Sensors 0 en Model-guided Discovery and Optimization of Cell-based Sensors The TerraSwarm Research Center 0 en The TerraSwarm Research Center ICyPhy: Industrial Cyber-Physical Systems 0 en ICyPhy: Industrial Cyber-Physical Systems Molecular Programming Architectures, Abstractions, Algorithms, and Applications 0 en Molecular Programming Architectures, Abstractions, Algorithms, and Applications Biomolecular Circuits for Rapid Detection and Response to Environmental Events 0 en Biomolecular Circuits for Rapid Detection and Response to Environmental Events Theory-Based Engineering of Biomolecular Circuits in Living Cells 0 en Theory-Based Engineering of Biomolecular Circuits in Living Cells Resilient Risk-Aware Autonomy for the Exploration of Uncertain and Extreme Environments 0 en Resilient Risk-Aware Autonomy for the Exploration of Uncertain and Extreme Environments Improvement of E. coli transcription-translation (TX-TL) system 0 en Improvement of E. coli transcription-translation (TX-TL) system Establishing microfluidic cell-free systems for the rapid prototyping of synthetic genetic networks 0 en Establishing microfluidic cell-free systems for the rapid prototyping of synthetic genetic networks Cell-Free Expression of Membrane Proteins with Applications to Drug Discovery 0 en Cell-Free Expression of Membrane Proteins with Applications to Drug Discovery Temporal Logic Specifications for Control System Design in Automotive Systems 0 en Temporal Logic Specifications for Control System Design in Automotive Systems VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems 0 en VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems Rapid, Reliable and Repeatable Platforms for Cell-Free Prototyping 0 en Rapid, Reliable and Repeatable Platforms for Cell-Free Prototyping Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors 0 en Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors Synthesizing flight software (FSW) discrete controllers from formal specifications 0 en Synthesizing flight software (FSW) discrete controllers from formal specifications Safety-Critical Autonomy and Verification for Space Missions 0 en Safety-Critical Autonomy and Verification for Space Missions Genetic Circuits for Multi-Cellular Machines 0 en Genetic Circuits for Multi-Cellular Machines Field-Programmable, Recombinase-Based Biomolecular Circuits 0 en Field-Programmable, Recombinase-Based Biomolecular Circuits Engineering Durable Cell-Free Biological Capabilities for Advanced Sensing and Prototyping 0 en Engineering Durable Cell-Free Biological Capabilities for Advanced Sensing and Prototyping Enabling Technologies for Cell-Silicon Interfacing 0 en Enabling Technologies for Cell-Silicon Interfacing Fundamental Biological Factors Underlying Human Performance: From Molecular Diagnostics and Detection to Behavior and Systems Biology 0 en Fundamental Biological Factors Underlying Human Performance: From Molecular Diagnostics and Detection to Behavior and Systems Biology Developing Standardized Cell-Free Platforms for Rapid Prototyping of Synthetic Biology Circuits and Pathways 0 en Developing Standardized Cell-Free Platforms for Rapid Prototyping of Synthetic Biology Circuits and Pathways Design of Digitally Controlled Bacterial Circuits for Bioenabled Materials 0 en Design of Digitally Controlled Bacterial Circuits for Bioenabled Materials Assurance for Learning Enabled Systems 0 en Assurance for Learning Enabled Systems Formal Methods for V&V and T&E of Autonomous Systems 0 en Formal Methods for V&V and T&E of Autonomous Systems An Open Synthetic Biology Toolkit for Engineering Reliable Genetic Circuits in Microbes in Soil 0 en An Open Synthetic Biology Toolkit for Engineering Reliable Genetic Circuits in Microbes in Soil Engineering Replication-, Growth-, and Division-Deficient E. coli for Safe, Stable and Efficient Function 0 en Engineering Replication-, Growth-, and Division-Deficient E. coli for Safe, Stable and Efficient Function Actuation of Synthetic Cells Via Proto-Flagellar Motors 0 en Actuation of Synthetic Cells Via Proto-Flagellar Motors Safety-Critical Cyber-Physical Systems: From Validation & Verification to Test & Evaluation 0 en Safety-Critical Cyber-Physical Systems: From Validation & Verification to Test & Evaluation Engineering Reliable Genetic Circuits for Characterization and Remediation of Soil Ecologies 0 en Engineering Reliable Genetic Circuits for Characterization and Remediation of Soil Ecologies Multi-Layer, Composable and Programmable Biomolecular Circuits for Microbial Consortia 0 en Multi-Layer, Composable and Programmable Biomolecular Circuits for Microbial Consortia Deciphering the Rules of Nucleus Architecture with Synthetic Cells and Organelles 0 en Deciphering the Rules of Nucleus Architecture with Synthetic Cells and Organelles Upscaling Engineering of Synthetic Biomachines 0 en Upscaling Engineering of Synthetic Biomachines Control of Functional Bioenabled Materials using Synthetic Cells 0 en Control of Functional Bioenabled Materials using Synthetic Cells INST 102 en INST