]> 2026-07-03T12:35:03+00:00 Project 14 en 2016-06-11T11:44:27Z 2457550.9892014 Project 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 A Brain Circuit Program for Understanding the Sensorimotor Basis of Behavior 0 en A Brain Circuit Program for Understanding the Sensorimotor Basis of Behavior Dissecting microbiome-gut-brain circuits for microbial modulation of host cognition in response to diet and stress 0 en Dissecting microbiome-gut-brain circuits for microbial modulation of host cognition in response to diet and stress 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 Rules of Composition in Synthetic Biology Across Scales of Complexity: Theory and Tools 0 en Rules of Composition in Synthetic Biology Across Scales of Complexity: Theory and Tools Center for Harnessing Microbiota from Military Environments (CHARMME) 0 en Center for Harnessing Microbiota from Military Environments (CHARMME) Layered T&E for Safety-Critical Autonomous Systems 0 en Layered T&E for Safety-Critical Autonomous Systems 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 Design and Implementation of Multi-Component Synthetic Cells 0 en Design and Implementation of Multi-Component Synthetic Cells Developer Cell: A modular, extensible chassis for building synthetic cells 0 en Developer Cell: A modular, extensible chassis for building synthetic cells 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 A Brain Circuit Program for Understanding the Sensorimotor Basis of Behavior 0 en A Brain Circuit Program for Understanding the Sensorimotor Basis of Behavior Dissecting microbiome-gut-brain circuits for microbial modulation of host cognition in response to diet and stress 0 en Dissecting microbiome-gut-brain circuits for microbial modulation of host cognition in response to diet and stress 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 Rules of Composition in Synthetic Biology Across Scales of Complexity: Theory and Tools 0 en Rules of Composition in Synthetic Biology Across Scales of Complexity: Theory and Tools Center for Harnessing Microbiota from Military Environments (CHARMME) 0 en Center for Harnessing Microbiota from Military Environments (CHARMME) Layered T&E for Safety-Critical Autonomous Systems 0 en Layered T&E for Safety-Critical Autonomous Systems 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 Design and Implementation of Multi-Component Synthetic Cells 0 en Design and Implementation of Multi-Component Synthetic Cells Developer Cell: A modular, extensible chassis for building synthetic cells 0 en Developer Cell: A modular, extensible chassis for building synthetic cells INST 102 en INST