Design and Analysis of Biomolecular Circuits


Book Description

The book deals with engineering aspects of the two emerging and intertwined fields of synthetic and systems biology. Both fields hold promise to revolutionize the way molecular biology research is done, the way today’s drug discovery works and the way bio-engineering is done. Both fields stress the importance of building and characterizing small bio-molecular networks in order to synthesize incrementally and understand large complex networks inside living cells. Reminiscent of computer-aided design (CAD) of electronic circuits, abstraction is believed to be the key concept to achieve this goal. It allows hiding the overwhelming complexity of cellular processes by encapsulating network parts into abstract modules. This book provides a unique perspective on how concepts and methods from CAD of electronic circuits can be leveraged to overcome complexity barrier perceived in synthetic and systems biology.




Biomolecular Feedback Systems


Book Description

This book provides an accessible introduction to the principles and tools for modeling, analyzing, and synthesizing biomolecular systems. It begins with modeling tools such as reaction-rate equations, reduced-order models, stochastic models, and specific models of important core processes. It then describes in detail the control and dynamical systems tools used to analyze these models. These include tools for analyzing stability of equilibria, limit cycles, robustness, and parameter uncertainty. Modeling and analysis techniques are then applied to design examples from both natural systems and synthetic biomolecular circuits. In addition, this comprehensive book addresses the problem of modular composition of synthetic circuits, the tools for analyzing the extent of modularity, and the design techniques for ensuring modular behavior. It also looks at design trade-offs, focusing on perturbations due to noise and competition for shared cellular resources. Featuring numerous exercises and illustrations throughout, Biomolecular Feedback Systems is the ideal textbook for advanced undergraduates and graduate students. For researchers, it can also serve as a self-contained reference on the feedback control techniques that can be applied to biomolecular systems. Provides a user-friendly introduction to essential concepts, tools, and applications Covers the most commonly used modeling methods Addresses the modular design problem for biomolecular systems Uses design examples from both natural systems and synthetic circuits Solutions manual (available only to professors at press.princeton.edu) An online illustration package is available to professors at press.princeton.edu




Engineering Genetic Circuits


Book Description

This text presents the modeling, analysis, and design methods for systems biology. It discusses how to examine experimental data to learn about mathematical models, develop efficient abstraction and simulation methods to analyze these models, and use analytical methods to design new circuits. The author reviews basic molecular biology and biochemistry principles, covers several methods for modeling and analyzing genetic circuits, and uses phage lambda as an example throughout to help illustrate the methods. He also explores the emerging area of synthetic biology. iBioSim software, lecture slides, and a password-protected solutions manual are available on the author's website.







The Science and Applications of Synthetic and Systems Biology


Book Description

Many potential applications of synthetic and systems biology are relevant to the challenges associated with the detection, surveillance, and responses to emerging and re-emerging infectious diseases. On March 14 and 15, 2011, the Institute of Medicine's (IOM's) Forum on Microbial Threats convened a public workshop in Washington, DC, to explore the current state of the science of synthetic biology, including its dependency on systems biology; discussed the different approaches that scientists are taking to engineer, or reengineer, biological systems; and discussed how the tools and approaches of synthetic and systems biology were being applied to mitigate the risks associated with emerging infectious diseases. The Science and Applications of Synthetic and Systems Biology is organized into sections as a topic-by-topic distillation of the presentations and discussions that took place at the workshop. Its purpose is to present information from relevant experience, to delineate a range of pivotal issues and their respective challenges, and to offer differing perspectives on the topic as discussed and described by the workshop participants. This report also includes a collection of individually authored papers and commentary.




The lac Operon


Book Description




Models, Algorithms, Logics and Tools


Book Description

This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors of computer science in Denmark, on the occasion of his 60th birthday. During the last three decades, Kim Guldstrand Larsen has given major contributions across a remarkably wide range of topics, including real-time, concurrent, and probabilistic models of computation, logic in computer science, and model checking. Since 1995, he has been one of the prime movers behind the model checking tool for real-time systems UPPAAL, for which he was a co-recipient of the CAV Award in 2013. The Festschrift contains 32 papers that feature the broad range of Kim Guldstrand Larsen's research topics, such as formal languages and automata theory; logic; verification, model checking and testing; algorithmic game theory and mechanism design; semantics and reasoning; real-time and distributed systems; and modeling and simulation.




Quantitative Evaluation of Systems


Book Description

This book constitutes the proceedings of the 18th International Conference on Quantitative Evaluation Systems, QEST 2021, held in Paris, France, in August 2021. The 21 full papers and 2 short papers presented together with 2 keynote papers were carefully reviewed and selected from 47 submissions. The papers are organized in the following topics: probabilistic model checking; quantitative models and metamodels: analysis and validation; queueing systems; learning and verification; simulation; performance evaluation; abstractions and aggregations; and stochastic models.




Nonlinear Control of Dynamic Networks


Book Description

Significant progress has been made on nonlinear control systems in the past two decades. However, many of the existing nonlinear control methods cannot be readily used to cope with communication and networking issues without nontrivial modifications. For example, small quantization errors may cause the performance of a "well-designed" nonlinear control system to deteriorate. Motivated by the need for new tools to solve complex problems resulting from smart power grids, biological processes, distributed computing networks, transportation networks, robotic systems, and other cutting-edge control applications, Nonlinear Control of Dynamic Networks tackles newly arising theoretical and real-world challenges for stability analysis and control design, including nonlinearity, dimensionality, uncertainty, and information constraints as well as behaviors stemming from quantization, data-sampling, and impulses. Delivering a systematic review of the nonlinear small-gain theorems, the text: Supplies novel cyclic-small-gain theorems for large-scale nonlinear dynamic networks Offers a cyclic-small-gain framework for nonlinear control with static or dynamic quantization Contains a combination of cyclic-small-gain and set-valued map designs for robust control of nonlinear uncertain systems subject to sensor noise Presents a cyclic-small-gain result in directed graphs and distributed control of nonlinear multi-agent systems with fixed or dynamically changing topology Based on the authors’ recent research, Nonlinear Control of Dynamic Networks provides a unified framework for robust, quantized, and distributed control under information constraints. Suggesting avenues for further exploration, the book encourages readers to take into consideration more communication and networking issues in control designs to better handle the arising challenges.




Optimization of Trustworthy Biomolecular Quantitative Analysis Using Cyber-Physical Microfluidic Platforms


Book Description

A microfluidic biochip is an engineered fluidic device that controls the flow of analytes, thereby enabling a variety of useful applications. According to recent studies, the fields that are best set to benefit from the microfluidics technology, also known as lab-on-chip technology, include forensic identification, clinical chemistry, point-of-care (PoC) diagnostics, and drug discovery. The growth in such fields has significantly amplified the impact of microfluidics technology, whose market value is forecast to grow from $4 billion in 2017 to $13.2 billion by 2023. The rapid evolution of lab-on-chip technologies opens up opportunities for new biological or chemical science areas that can be directly facilitated by sensor-based microfluidics control. For example, the digital microfluidics-based ePlex system from GenMarkDx enables automated disease diagnosis and can bring syndromic testing near patients everywhere. However, as the applications of molecular biology grow, the adoption of microfluidics in many applications has not grown at the same pace, despite the concerted effort of microfluidic systems engineers. Recent studies suggest that state-of-the-art design techniques for microfluidics have two major drawbacks that need to be addressed appropriately: (1) current lab-on-chip systems were only optimized as auxiliary components and are only suitable for sample-limited analyses; therefore, their capabilities may not cope with the requirements of contemporary molecular biology applications; (2) the integrity of these automated lab-on-chip systems and their biochemical operations are still an open question since no protection schemes were developed against adversarial contamination or result-manipulation attacks. Optimization of Trustworthy Biomolecular Quantitative Analysis Using Cyber-Physical Microfluidic Platforms provides solutions to these challenges by introducing a new design flow based on the realistic modeling of contemporary molecular biology protocols. It also presents a microfluidic security flow that provides a high-level of confidence in the integrity of such protocols. In summary, this book creates a new research field as it bridges the technical skills gap between microfluidic systems and molecular biology protocols but it is viewed from the perspective of an electronic/systems engineer.