Process Calculi Abstractions for Biology

Several approaches have been proposed to model biological systems by means of the formal techniques and tools available in computer science. To mention just a few of them, some representations are inspired by Petri Nets theory, and some other by stochastic processes. A most recent approach consists in interpreting the living entities as terms of process calculi where the behavior of the represented systems can be inferred by applying syntax-driven rules. A comprehensive picture of the state of the art of the process calculi approach to biological modeling is still missing. This paper goes in the direction of providing such a picture by presenting a comparative survey of the process calculi that have been used and proposed to describe the behavior of living entities. This is the preliminary version of a paper that was published in Algorithmic Bioprocesses. The original publication is available at http://www.springer.com/computer/foundations/book/978-3-540-88868-

Recent Advances in Multi Robot Systems

To design a team of robots which is able to perform given tasks is a great concern of many members of robotics community. There are many problems left to be solved in order to have the fully functional robot team. Robotics community is trying hard to solve such problems (navigation, task allocation, communication, adaptation, control, ...). This book represents the contributions of the top researchers in this field and will serve as a valuable tool for professionals in this interdisciplinary field. It is focused on the challenging issues of team architectures, vehicle learning and adaptation, heterogeneous group control and cooperation, task selection, dynamic autonomy, mixed initiative, and human and robot team interaction. The book consists of 16 chapters introducing both basic research and advanced developments. Topics covered include kinematics, dynamic analysis, accuracy, optimization design, modelling, simulation and control of multi robot systems

Abstractions, Analysis Techniques, and Synthesis of Scalable Control Strategies for Robot Swarms

Tasks that require parallelism, redundancy, and adaptation to dynamic, possibly hazardous environments can potentially be performed very efficiently and robustly by a swarm robotic system. Such a system would consist of hundreds or thousands of anonymous, resource-constrained robots that operate autonomously, with little to no direct human supervision. The massive parallelism of a swarm would allow it to perform effectively in the event of robot failures, and the simplicity of individual robots facilitates a low unit cost. Key challenges in the development of swarm robotic systems include the accurate prediction of swarm behavior and the design of robot controllers that can be proven to produce a desired macroscopic outcome. The controllers should be scalable, meaning that they ensure system operation regardless of the swarm size. This thesis presents a comprehensive approach to modeling a swarm robotic system, analyzing its performance, and synthesizing scalable control policies that cause the populations of different swarm elements to evolve in a specified way that obeys time and efficiency constraints. The control policies are decentralized, computed a priori, implementable on robots with limited sensing and communication capabilities, and have theoretical guarantees on performance. To facilitate this framework of abstraction and top-down controller synthesis, the swarm is designed to emulate a system of chemically reacting molecules. The majority of this work considers well-mixed systems when there are interaction-dependent task transitions, with some modeling and analysis extensions to spatially inhomogeneous systems. The methodology is applied to the design of a swarm task allocation approach that does not rely on inter-robot communication, a reconfigurable manufacturing system, and a cooperative transport strategy for groups of robots. The third application incorporates observations from a novel experimental study of the mechanics of cooperative retrieval in Aphaenogaster cockerelli ants. The correctness of the abstractions and the correspondence of the evolution of the controlled system to the target behavior are validated with computer simulations. The investigated applications form the building blocks for a versatile swarm system with integrated capabilities that have performance guarantees

Aerospace Medicine and Biology: A continuing bibliography with indexes, supplement 127, April 1974

This special bibliography lists 279 reports, articles, and other documents introduced into the NASA scientific and technical information system in March 1974

Using MapReduce Streaming for Distributed Life Simulation on the Cloud

Distributed software simulations are indispensable in the study of large-scale life models but often require the use of technically complex lower-level distributed computing frameworks, such as MPI. We propose to overcome the complexity challenge by applying the emerging MapReduce (MR) model to distributed life simulations and by running such simulations on the cloud. Technically, we design optimized MR streaming algorithms for discrete and continuous versions of Conway’s life according to a general MR streaming pattern. We chose life because it is simple enough as a testbed for MR’s applicability to a-life simulations and general enough to make our results applicable to various lattice-based a-life models. We implement and empirically evaluate our algorithms’ performance on Amazon’s Elastic MR cloud. Our experiments demonstrate that a single MR optimization technique called strip partitioning can reduce the execution time of continuous life simulations by 64%. To the best of our knowledge, we are the first to propose and evaluate MR streaming algorithms for lattice-based simulations. Our algorithms can serve as prototypes in the development of novel MR simulation algorithms for large-scale lattice-based a-life models.https://digitalcommons.chapman.edu/scs_books/1014/thumbnail.jp

Engineering derivatives from biological systems for advanced aerospace applications

The present study consisted of a literature survey, a survey of researchers, and a workshop on bionics. These tasks produced an extensive annotated bibliography of bionics research (282 citations), a directory of bionics researchers, and a workshop report on specific bionics research topics applicable to space technology. These deliverables are included as Appendix A, Appendix B, and Section 5.0, respectively. To provide organization to this highly interdisciplinary field and to serve as a guide for interested researchers, we have also prepared a taxonomy or classification of the various subelements of natural engineering systems. Finally, we have synthesized the results of the various components of this study into a discussion of the most promising opportunities for accelerated research, seeking solutions which apply engineering principles from natural systems to advanced aerospace problems. A discussion of opportunities within the areas of materials, structures, sensors, information processing, robotics, autonomous systems, life support systems, and aeronautics is given. Following the conclusions are six discipline summaries that highlight the potential benefits of research in these areas for NASA's space technology programs

A Role for Bottom-Up Synthetic Cells in the Internet of Bio-Nano Things?

The potential role of bottom-up Synthetic Cells (SCs) in the Internet of Bio-Nano Things (IoBNT) is discussed. In particular, this perspective paper focuses on the growing interest in networks of biological and/or artificial objects at the micro- and nanoscale (cells and subcellular parts, microelectrodes, microvessels, etc.), whereby communication takes place in an unconventional manner, i.e., via chemical signaling. The resulting "molecular communication" (MC) scenario paves the way to the development of innovative technologies that have the potential to impact biotechnology, nanomedicine, and related fields. The scenario that relies on the interconnection of natural and artificial entities is briefly introduced, highlighting how Synthetic Biology (SB) plays a central role. SB allows the construction of various types of SCs that can be designed, tailored, and programmed according to specific predefined requirements. In particular, "bottom-up" SCs are briefly described by commenting on the principles of their design and fabrication and their features (in particular, the capacity to exchange chemicals with other SCs or with natural biological cells). Although bottom-up SCs still have low complexity and thus basic functionalities, here, we introduce their potential role in the IoBNT. This perspective paper aims to stimulate interest in and discussion on the presented topics. The article also includes commentaries on MC, semantic information, minimal cognition, wetware neuromorphic engineering, and chemical social robotics, with the specific potential they can bring to the IoBNT

A Role for Bottom-Up Synthetic Cells in the Internet of Bio-Nano Things?

he potential role of bottom-up Synthetic Cells (SCs) in the Internet of Bio-Nano Things (IoBNT) is discussed. In particular, this perspective paper focuses on the growing interest in networks of biological and/or artificial objects at the micro- and nanoscale (cells and subcellular parts, microelectrodes, microvessels, etc.), whereby communication takes place in an unconventional manner, i.e., via chemical signaling. The resulting “molecular communication” (MC) scenario paves the way to the development of innovative technologies that have the potential to impact biotechnology, nanomedicine, and related fields. The scenario that relies on the interconnection of natural and artificial entities is briefly introduced, highlighting how Synthetic Biology (SB) plays a central role. SB allows the construction of various types of SCs that can be designed, tailored, and programmed according to specific predefined requirements. In particular, “bottom-up” SCs are briefly described by commenting on the principles of their design and fabrication and their features (in particular, the capacity to exchange chemicals with other SCs or with natural biological cells). Although bottom-up SCs still have low complexity and thus basic functionalities, here, we introduce their potential role in the IoBNT. This perspective paper aims to stimulate interest in and discussion on the presented topics. The article also includes commentaries on MC, semantic information, minimal cognition, wetware neuromorphic engineering, and chemical social robotics, with the specific potential they can bring to the IoBNT