Showing papers by "Grzegorz Rozenberg published in 2014"

Model Checking Temporal Properties of Reaction Systems

Abstract: This paper defines a temporal logic for reaction systems (rsCTL). The logic is interpreted over the models for the context restricted reaction systems that generalise standard reaction systems by controlling context sequences. Moreover, a translation from the context restricted reaction systems into boolean functions is defined in order to be used for a symbolic model checking for rsCTL over these systems. The model checking for rsCTL is proved to be pspace-complete. The proposed approach to model checking was implemented and experimentally evaluated using four benchmarks.

Zoom structures and reaction systems yield exploration systems

Abstract: In this paper we extend the framework of reaction systems by introducing (extended) zoom structures which formalize a depository of knowledge of a discipline of science. The integrating structure of such a depository (which is a well-founded partial order) allows one to deal with the hierarchical nature of biology. This leads to the notion of an exploration system which consists of (1) a static part which is a depository of knowledge given by an extended zoom structure , and (2) a dynamic part given by a family of reaction systems . In this setup the depository of knowledge is explored by computations/processes provided by reaction systems from , where this exploration can use/integrate knowledge present on different levels (e.g., atomic, cellular, organism, species, … levels).

Membrane Computing 15th International Conference, CMC 2014

Abstract: Amorphous computing systems typically consist of myriads of tiny simple processors that are randomly distributed at fixed positions or move randomly in a confined volume. The processors are “embodied” meaning that each of them has its own source of energy, has a “body” equipped with various sensors and communication means and has a computational control part. Initially, the processors have no identifiers and from the technological reasons, in the interest of their maximal simplicity, their computational, communication, sensory and locomotion (if any) parts are reduced to an absolute minimum. The processors communicate wirelessly, e.g., in an airborne medium they communicate via a short-range radio, acoustically or optically and in a waterborne medium via molecular communication. In the extreme cases the computational part of the processors can be simplified down to probabilistic finite state automata or even combinatorial circuits and the system as a whole can still be made universally programmable. From the theoretical point of view the structure and the properties of the amorphous systems qualify them among the simplest (non-uniform) universal computational devices. From the practical viewpoint, once technology will enable a mass production of the required processors a host of new applications so far inaccessible to classical approaches to computing will follow. Extended Abstract: The history of amorphous computing systems began by the end of the twentieth century, mainly as an engineering endeavor (cf. [1], [2], [4], [5], [6], or [13]). Namely, in those days the progress in constructing the micro-electro-mechanical systems (MEMS) has enabled to think of devices integrating a central data processing unit (the microprocessor) and several components that interact with the surroundings such as micro-sensors, wireless communication unit, and the energy source in a small unit. These parts can possibly be complemented by micro-actuators and locomotive means. The resulting device can be viewed as an embodied computational unit. Note that such a unit possesses all the necessary parts characterizing autonomous embodied robots. MEMS devices generally range in size from 20 micrometres (20 × 10−6 m) to a millimetre (i.e. 0.02 to 1.0 mm). Current ideas about nano-electro-mechanical systems (NEMS) and nano-technology consider such systems at a nano-scale (10−9 m). The driving force behind the respective development has mainly been a vision of huge amounts of the respective “micro-robots” engaged in various application tasks This work was partially supported by RVO 67985807 and the GA ČR grant No. P202/10/1333.