Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
»
Projects
CPS: Frontier: Collaborative Research: BioCPS for Engineering Living Cells
View
Submitted by Calin Belta on Tue, 12/22/2015 - 11:48am
Project Details
Lead PI:
Calin Belta
Co-PI(s):
Douglas Densmore
Performance Period:
05/01/15
-
04/30/20
Institution(s):
Trustees of Boston University
Sponsor(s):
National Science Foundation
Award Number:
1446607
1395 Reads. Placed 219 out of 804 NSF CPS Projects based on total reads on all related artifacts.
Abstract:
Recent developments in nanotechnology and synthetic biology have enabled a new direction in biological engineering: synthesis of collective behaviors and spatio-temporal patterns in multi-cellular bacterial and mammalian systems. This will have a dramatic impact in such areas as amorphous computing, nano-fabrication, and, in particular, tissue engineering, where patterns can be used to differentiate stem cells into tissues and organs. While recent technologies such as tissue- and organoid on-a-chip have the potential to produce a paradigm shift in tissue engineering and drug development, the synthesis of user-specified, emergent behaviors in cell populations is a key step to unlock this potential and remains a challenging, unsolved problem. This project brings together synthetic biology and micron-scale mobile robotics to define the basis of a next-generation cyber-physical system (CPS) called biological CPS (bioCPS). Synthetic gene circuits for decision making and local communication among the cells are automatically synthesized using a Bio-Design Automation (BDA) workflow. A Robot Assistant for Communication, Sensing, and Control in Cellular Networks (RA), which is designed and built as part of this project, is used to generate desired patterns in networks of engineered cells. In RA, the engineered cells interact with a set of micro-robots that implement control, sensing, and long-range communication strategies needed to achieve the desired global behavior. The micro-robots include both living and non-living matter (engineered cells attached to inorganic substrates that can be controlled using externally applied fields). This technology is applied to test the formation of various patterns in living cells. The project has a rich education and outreach plan, which includes nationwide activities for CPS education of high-school students, lab tours and competitions for high-school and undergraduate students, workshops, seminars, and courses for graduate students, as well as specific initiatives for under-represented groups. Central to the project is the development of theory and computational tools that will significantly advance that state of the art in CPS at large. A novel, formal methods approach is proposed for synthesis of emergent, global behaviors in large collections of locally interacting agents. In particular, a new logic whose formulas can be efficiently learned from quad-tree representations of partitioned images is developed. The quantitative semantics of the logic maps the synthesis of local control and communication protocols to an optimization problem. The project contributes to the nascent area of temporal logic inference by developing a machine learning method to learn temporal logic classifiers from large amounts of data. Novel abstraction and verification techniques for stochastic dynamical systems are defined and used to verify the correctness of the gene circuits in the BDA workflow.
Related Artifacts
Presentations
BioCPS for Engineering Living Cells
|
Download
bioCPS for Engineering Living Cells
|
Download
Posters
CPS: Frontier: Collaborative Research: BioCPS for Engineering Living Cells
|
Download
bioCPS for Engineering Living Cells
|
Download
bioCPS for Engineering Living Cells
|
Download
CPS: Frontier: Collaborative Research: bioCPS for Engineering Living Cells
|
Download
Publications
Grid-Based Temporal Logic Inference
Needs and opportunities in bio-design automation: four areas for focus
Phoenix: A Systems Engineering Approach to Genetic Circuit Synthesis
Phoenix: Genetic Systems Engineering
Semi-supervised pattern synthesis in spatially distributed dynamical systems
Modeling Genetic Circuit Behavior in Transiently Transfected Mammalian Cells
Pattern synthesis in a 3D agent-based model of stem cell differentiation
Genetic Systems Engineering
Utilizing Signal Temporal Logic to Characterize and Compose Modules in Synthetic Biology
Quantification and Synthesis of Emergent Behaviors of Locally Interacting Entities
Modeling Genetic Circuit Behavior in Transiently Transfected Mammalian Cells
Videos
CPS: Frontier: Collaborative Research: BioCPS for Engineering Living Cells
CPS: Frontier: Collaborative Research: BioCPS for Engineering Living Cells
Collaborative Research: bioCPS for Engineering Living Cells
2 attachments
PDF version
Printer-friendly version
CPS Domains
Modeling
Wireless Sensing and Actuation
Robotics
Validation and Verification
CPS Technologies
Education
Foundations