Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book is an introduction to the language of systems biology, which is spoken among many disciplines, from biology to engineering. Authors Thomas Sauter and Marco Albrecht draw on a multidisciplinary background and evidence-based learning to facilitate the understanding of biochemical networks, metabolic modeling and system dynamics. Their pedagogic approach briefly highlights core ideas of concepts in a broader interdisciplinary framework to guide a more effective deep dive thereafter. The learning journey starts with the purity of mathematical concepts, reveals its power to connect biological entities in structure and time, and finally introduces physics concepts to tightly align abstraction with reality. This workbook is all about self-paced learning, supports the flipped-classroom concept, and kick-starts with scientific evidence on studying. Each chapter comes with links to external YouTube videos, learning checklists, and Integrated real-world examples to gain confidence in thinking across scientific perspectives. The result is an integrated approach that opens a line of communication between theory and application, enabling readers to actively learn as they read. This overview of capturing and analyzing the behavior of biological systems will interest adherers of systems biology and network analysis, as well as related fields such as bioinformatics, biology, cybernetics, and data science.

System analysis.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The Discrete Event Simulation (DES) method has received widespread attention and acceptance by both researchers and practitioners in recent years. The range of application of DES spans across many different disciplines and research fields. In research, further development and advancements of the basic DES algorithm continue to be sought while various hybrid methods derived by combining DES with other simulation techniques continue to be developed. This book presents state-of-the-art contributions on fundamental development of the DES method, novel integration of the method with other modeling techniques as well as applications towards simulating and analyzing the performances of various types of systems. This book will be of interest to undergraduate and graduate students, researchers as well as professionals who are actively engaged in DES related work.

Discrete-time systems. --- DES (System analysis) --- Discrete event systems --- Sampled-data systems --- Digital control systems --- Discrete mathematics --- System analysis --- Linear time invariant systems --- Computer modelling & simulation

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France. The 56 full papers and 6 short tool demonstration papers presented in this volume were carefully reviewed and selected from 169 submissions. The proceedings also contain 1 invited talk in full paper length, 13 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, flexibility, and efficiency of tools and algorithms for building computer-controlled systems.

Computer software --- System design --- System analysis --- Verification --- Computer science. --- Theory of Computation. --- Informatics --- Science

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Control systems play an important role in engineering. Fuzzy logic is the natural choice for designing control applications and is the most popular and appropriate for the control of home and industrial appliances. Academic and industrial experts are constantly researching and proposing innovative and effective fuzzy control systems. This book is an edited volume and has 21 innovative chapters arranged into five sections covering applications of fuzzy control systems in energy and power systems, navigation systems, imaging, and industrial engineering. Overall, this book provides a rich set of modern fuzzy control systems and their applications and will be a useful resource for the graduate students, researchers, and practicing engineers in the field of electrical engineering.

Fuzzy systems. --- Systems, Fuzzy --- System analysis --- Fuzzy logic --- Control Theory --- Physical Sciences --- Engineering and Technology --- Mathematics --- Fuzzy Logic

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

When talking about modelling it is natural to talk about simulation. Simulation is the imitation of the operation of a real-world process or systems over time. The objective is to generate a history of the model and the observation of that history helps us understand how the real-world system works, not necessarily involving the real-world into this process. A system (or process) model takes the form of a set of assumptions concerning its operation. In a model mathematical and logical assumptions are considered, and entities and their relationship are delimited. The objective of a model – and its respective simulation – is to answer a vast number of “what-if” questions. Some questions answered in this book are: What if the power distribution system does not work as expected? What if the produced ships were not able to transport all the demanded containers through the Yangtze River in China? And, what if an installed wind farm does not produce the expected amount of energyt? Answering these questions without a dynamic simulation model could be extremely expensive or even impossible in some cases and this book aims to present possible solutions to these problems.

Micro-DYNAMO (Computer program language) --- Digital computer simulation --- DYNAMO (Computer program language) --- Programming languages (Electronic computers) --- System analysis --- Data processing --- Mathematical modelling