2,721 research outputs found
Dynamic Programming on Nominal Graphs
Many optimization problems can be naturally represented as (hyper) graphs,
where vertices correspond to variables and edges to tasks, whose cost depends
on the values of the adjacent variables. Capitalizing on the structure of the
graph, suitable dynamic programming strategies can select certain orders of
evaluation of the variables which guarantee to reach both an optimal solution
and a minimal size of the tables computed in the optimization process. In this
paper we introduce a simple algebraic specification with parallel composition
and restriction whose terms up to structural axioms are the graphs mentioned
above. In addition, free (unrestricted) vertices are labelled with variables,
and the specification includes operations of name permutation with finite
support. We show a correspondence between the well-known tree decompositions of
graphs and our terms. If an axiom of scope extension is dropped, several
(hierarchical) terms actually correspond to the same graph. A suitable
graphical structure can be found, corresponding to every hierarchical term.
Evaluating such a graphical structure in some target algebra yields a dynamic
programming strategy. If the target algebra satisfies the scope extension
axiom, then the result does not depend on the particular structure, but only on
the original graph. We apply our approach to the parking optimization problem
developed in the ASCENS e-mobility case study, in collaboration with
Volkswagen. Dynamic programming evaluations are particularly interesting for
autonomic systems, where actual behavior often consists of propagating local
knowledge to obtain global knowledge and getting it back for local decisions.Comment: In Proceedings GaM 2015, arXiv:1504.0244
A coalgebraic semantics for causality in Petri nets
In this paper we revisit some pioneering efforts to equip Petri nets with
compact operational models for expressing causality. The models we propose have
a bisimilarity relation and a minimal representative for each equivalence
class, and they can be fully explained as coalgebras on a presheaf category on
an index category of partial orders. First, we provide a set-theoretic model in
the form of a a causal case graph, that is a labeled transition system where
states and transitions represent markings and firings of the net, respectively,
and are equipped with causal information. Most importantly, each state has a
poset representing causal dependencies among past events. Our first result
shows the correspondence with behavior structure semantics as proposed by
Trakhtenbrot and Rabinovich. Causal case graphs may be infinitely-branching and
have infinitely many states, but we show how they can be refined to get an
equivalent finitely-branching model. In it, states are equipped with
symmetries, which are essential for the existence of a minimal, often
finite-state, model. The next step is constructing a coalgebraic model. We
exploit the fact that events can be represented as names, and event generation
as name generation. Thus we can apply the Fiore-Turi framework: we model causal
relations as a suitable category of posets with action labels, and generation
of new events with causal dependencies as an endofunctor on this category. Then
we define a well-behaved category of coalgebras. Our coalgebraic model is still
infinite-state, but we exploit the equivalence between coalgebras over a class
of presheaves and History Dependent automata to derive a compact
representation, which is equivalent to our set-theoretical compact model.
Remarkably, state reduction is automatically performed along the equivalence.Comment: Accepted by Journal of Logical and Algebraic Methods in Programmin
Cross-diffusion driven instability in a predator-prey system with cross-diffusion
In this work we investigate the process of pattern formation induced by
nonlinear diffusion in a reaction-diffusion system with Lotka-Volterra
predator-prey kinetics. We show that the cross-diffusion term is responsible of
the destabilizing mechanism that leads to the emergence of spatial patterns.
Near marginal stability we perform a weakly nonlinear analysis to predict the
amplitude and the form of the pattern, deriving the Stuart-Landau amplitude
equations. Moreover, in a large portion of the subcritical zone, numerical
simulations show the emergence of oscillating patterns, which cannot be
predicted by the weakly nonlinear analysis. Finally when the pattern invades
the domain as a travelling wavefront, we derive the Ginzburg-Landau amplitude
equation which is able to describe the shape and the speed of the wave.Comment: 15 pages, 5 figure
Pattern formation driven by cross--diffusion in a 2D domain
In this work we investigate the process of pattern formation in a two
dimensional domain for a reaction-diffusion system with nonlinear diffusion
terms and the competitive Lotka-Volterra kinetics. The linear stability
analysis shows that cross-diffusion, through Turing bifurcation, is the key
mechanism for the formation of spatial patterns. We show that the bifurcation
can be regular, degenerate non-resonant and resonant. We use multiple scales
expansions to derive the amplitude equations appropriate for each case and show
that the system supports patterns like rolls, squares, mixed-mode patterns,
supersquares, hexagonal patterns
Turing Instability and Pattern Formation in an Activator-Inhibitor System with Nonlinear Diffusion
In this work we study the effect of density dependent nonlinear diffusion on
pattern formation in the Lengyel--Epstein system. Via the linear stability
analysis we determine both the Turing and the Hopf instability boundaries and
we show how nonlinear diffusion intensifies the tendency to pattern formation;
%favors the mechanism of pattern formation with respect to the classical linear
diffusion case; in particular, unlike the case of classical linear diffusion,
the Turing instability can occur even when diffusion of the inhibitor is
significantly slower than activator's one. In the Turing pattern region we
perform the WNL multiple scales analysis to derive the equations for the
amplitude of the stationary pattern, both in the supercritical and in the
subcritical case. Moreover, we compute the complex Ginzburg-Landau equation in
the vicinity of the Hopf bifurcation point as it gives a slow spatio-temporal
modulation of the phase and amplitude of the homogeneous oscillatory solution.Comment: Accepted for publication in Acta Applicandae Mathematica
- …