243 research outputs found
Adaptability Checking in Multi-Level Complex Systems
A hierarchical model for multi-level adaptive systems is built on two basic
levels: a lower behavioural level B accounting for the actual behaviour of the
system and an upper structural level S describing the adaptation dynamics of
the system. The behavioural level is modelled as a state machine and the
structural level as a higher-order system whose states have associated logical
formulas (constraints) over observables of the behavioural level. S is used to
capture the global and stable features of B, by a defining set of allowed
behaviours. The adaptation semantics is such that the upper S level imposes
constraints on the lower B level, which has to adapt whenever it no longer can
satisfy them. In this context, we introduce weak and strong adaptabil- ity,
i.e. the ability of a system to adapt for some evolution paths or for all
possible evolutions, respectively. We provide a relational characterisation for
these two notions and we show that adaptability checking, i.e. deciding if a
system is weak or strong adaptable, can be reduced to a CTL model checking
problem. We apply the model and the theoretical results to the case study of
motion control of autonomous transport vehicles.Comment: 57 page, 10 figures, research papaer, submitte
A Graph Grammar for Modelling RNA Folding
We propose a new approach for modelling the process of RNA folding as a graph
transformation guided by the global value of free energy. Since the folding
process evolves towards a configuration in which the free energy is minimal,
the global behaviour resembles the one of a self-adaptive system. Each RNA
configuration is a graph and the evolution of configurations is constrained by
precise rules that can be described by a graph grammar.Comment: In Proceedings GaM 2016, arXiv:1612.0105
Non locality, Topology, Formal Languages: New Global Tools to Handle Large Data Sets
AbstractThe basic idea that stems out of this work is that large sets of data can be handled through an organized set of mathematical and computational tools rooted in a global geometric vision of data space allowing to explore the structure and hidden information patterns thereof. Based on this perspective, the objective is naturally that of discovering and letting emerge, directly from probing the data space, the manifold hidden relations (patterns), e.g. correlations among facts, interactions among entities, relations among concepts and formally describing, in a semantic mining context, the discovered information. In this note, we propose an approach that exploits topological methods for classifying global information into equivalence classes and regular languages for describing the corresponding automaton as element an of hidden complex system
Modelling and analysis of biochemical signalling pathway cross-talk
Signalling pathways are abstractions that help life scientists structure the coordination of cellular activity. Cross-talk between pathways accounts for many of the complex behaviours exhibited by signalling pathways and is often critical in producing the correct signal-response relationship. Formal models of signalling pathways and cross-talk in particular can aid understanding and drive experimentation. We define an approach to modelling based on the concept that a pathway is the (synchronising) parallel composition of instances of generic modules (with internal and external labels). Pathways are then composed by (synchronising) parallel composition and renaming; different types of cross-talk result from different combinations of synchronisation and renaming. We define a number of generic modules in PRISM and five types of cross-talk: signal flow, substrate availability, receptor function, gene expression and intracellular communication. We show that Continuous Stochastic Logic properties can both detect and distinguish the types of cross-talk. The approach is illustrated with small examples and an analysis of the cross-talk between the TGF-b/BMP, WNT and MAPK pathways
Building a MultiAgent System from a User Workflow Specification
This paper provides a methodology to build
a MultiAgent System (MAS) described in terms of interactive
components from a domain-specic User Workow
Specication (UWS). We use a Petri nets-based notation
to describe workow specications. This, besides using a
familiar and well-studied notation, guarantees an highlevel
of description and independence with more concrete
vendor-specic process denition languages. In order to
bridge the gap between workow specications and MASs,
we exploit other intermediate Petri nets-based notations.
Transformation rules are given to translate a notation to
another. The generated agent-based application implements
the original workow specication. Run-time support is
provided by a middleware suitable for the execution of the
generated code
An Individual-based Probabilistic Model for Fish Stock Simulation
We define an individual-based probabilistic model of a sole (Solea solea)
behaviour. The individual model is given in terms of an Extended Probabilistic
Discrete Timed Automaton (EPDTA), a new formalism that is introduced in the
paper and that is shown to be interpretable as a Markov decision process. A
given EPDTA model can be probabilistically model-checked by giving a suitable
translation into syntax accepted by existing model-checkers. In order to
simulate the dynamics of a given population of soles in different environmental
scenarios, an agent-based simulation environment is defined in which each agent
implements the behaviour of the given EPDTA model. By varying the probabilities
and the characteristic functions embedded in the EPDTA model it is possible to
represent different scenarios and to tune the model itself by comparing the
results of the simulations with real data about the sole stock in the North
Adriatic sea, available from the recent project SoleMon. The simulator is
presented and made available for its adaptation to other species.Comment: In Proceedings AMCA-POP 2010, arXiv:1008.314
Time to Organize the Bioinformatics Resourceome
The initial steps toward a bioinformatics resourceome are
clear. First, an overall ontology with the high-level concepts
(algorithms, databases, organizations, papers, people, etc.)
must be created, with a set of standard attributes and a
standard set of relations between these concepts (e.g., people
publish papers, papers describe algorithms or databases,
organizations house people, etc.). The initial ontology should
be compact and built for distributed collaborative extension.
Second, a mechanism for people to extend this ontology with
subconcepts in order to describe their own resources should
be designed. The precise location of a tool within a taxonomy
is not critical—the author will place it somewhere based on
the location of similar/competing resources or based on a
best-informed guess. Others may create links to the resource
from other appropriate locations in the taxonomy in order to
ensure that competing interpretations of the appropriate
conceptual location for the resource are accommodated.
Third, the formats for the ontologies and the resource
descriptions should be published so enterprising software
engineers can create interfaces for surfing, searching, and
viewing the resources. The resulting distributed system of
resource descriptions would be extensible, robust, and useful
to the entire biomedical research community
- …