This open access volume presents a novel computational framework for understanding how collections of excitable cells work. The key approach in the text is to model excitable tissue by representing the individual cells constituting the tissue. This is in stark contrast to the common approach where homogenization is used to develop models where the cells are not explicitly present. The approach allows for very detailed analysis of small collections of excitable cells, but computational challenges limit the applicability in the presence of large collections of cells.

This book constitutes the refereed proceedings of the 10th International Conference on Hybrid Systems: Computation and Control, HSCC 2007, held in Pisa, Italy in April 2007. The 44 revised full papers and 39 revised short papers presented together with the abstracts of 3 keynote talks were carefully reviewed and selected from 167 submissions. Among the topics addressed are models of heterogeneous systems, computability and complexity issues, real-time computing and control, embedded and resource-aware control, control and estimation over wireless networks, tools for analysis, verification, control, and design, programming languages support and implementation, applications, including automotive, communication networks, avionics, energy systems, transportation networks, biology and other sciences, manufacturing, and robotics.

This Festschrift volume, published in honor of Ugo Montanari on the occasion of his 65th birthday, contains 43 papers that examine the research areas to which he has contributed, from logic programming to software engineering, as well as his many achievements.

This open access volume presents a novel computational framework for understanding how collections of excitable cells work. The key approach in the text is to model excitable tissue by representing the individual cells constituting the tissue. This is in stark contrast to the common approach where homogenization is used to develop models where the cells are not explicitly present. The approach allows for very detailed analysis of small collections of excitable cells, but computational challenges limit the applicability in the presence of large collections of cells.

This book constitutes the refereed proceedings of the 11th International Conference on Hybrid Systems: Computation and Control, HSCC 2008, held in St. Louis, MO, USA, in April 2008. The 42 revised full papers and 20 revised short papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The papers focus on research in embedded, reactive systems involving the interplay between symbolic/switching and continuous dynamical behaviors and feature the latest developments of applications and theoretical advancements in the design, analysis, control, optimization, and implementation of hybrid systems, with particular attention to embedded and networked control systems.

This text explores the use of cellular automata in modeling pattern formation in biological systems. It describes several mathematical modeling approaches utilizing cellular automata that can be used to study the dynamics of interacting cell systems both in simulation and in practice. New in this edition are chapters covering cell migration, tissue development, and cancer dynamics, as well as updated references and new research topic suggestions that reflect the rapid development of the field. The book begins with an introduction to pattern-forming principles in biology and the various mathematical modeling techniques that can be used to analyze them. Cellular automaton models are then discussed in detail for different types of cellular processes and interactions, including random movement, cell migration, adhesive cell interaction, alignment and cellular swarming, growth processes, pigment cell pattern formation, tissue development, tumor growth and invasion, and Turing-type patterns and excitable media. In the final chapter, the authors critically discuss possibilities and limitations of the cellular automaton approach in modeling various biological applications, along with future research directions. Suggestions for research projects are provided throughout the book to encourage additional engagement with the material, and an accompanying simulator is available for readers to perform their own simulations on several of the models covered in the text. QR codes are included within the text for easy access to the simulator. With its accessible presentation and interdisciplinary approach, Cellular Automaton Modeling of Biological Pattern Formation is suitable for graduate and advanced undergraduate students in mathematical biology, biological modeling, and biological computing. It will also be a valuable resource for researchers and practitioners in applied mathematics, mathematical biology, computational physics, bioengineering, and computer science. PRAISE FOR THE FIRST EDITION “An ideal guide for someone with a mathematical or physical background to start exploring biological modelling. Importantly, it will also serve as an excellent guide for experienced modellers to innovate and improve their methodologies for analysing simulation results.” —Mathematical Reviews