40,502 research outputs found
CASP Solutions for Planning in Hybrid Domains
CASP is an extension of ASP that allows for numerical constraints to be added
in the rules. PDDL+ is an extension of the PDDL standard language of automated
planning for modeling mixed discrete-continuous dynamics.
In this paper, we present CASP solutions for dealing with PDDL+ problems,
i.e., encoding from PDDL+ to CASP, and extensions to the algorithm of the EZCSP
CASP solver in order to solve CASP programs arising from PDDL+ domains. An
experimental analysis, performed on well-known linear and non-linear variants
of PDDL+ domains, involving various configurations of the EZCSP solver, other
CASP solvers, and PDDL+ planners, shows the viability of our solution.Comment: Under consideration in Theory and Practice of Logic Programming
(TPLP
Canalizing Kauffman networks: non-ergodicity and its effect on their critical behavior
Boolean Networks have been used to study numerous phenomena, including gene
regulation, neural networks, social interactions, and biological evolution.
Here, we propose a general method for determining the critical behavior of
Boolean systems built from arbitrary ensembles of Boolean functions. In
particular, we solve the critical condition for systems of units operating
according to canalizing functions and present strong numerical evidence that
our approach correctly predicts the phase transition from order to chaos in
such systems.Comment: to be published in PR
Synchronization of Coupled Boolean Phase Oscillators
We design, characterize, and couple Boolean phase oscillators that include
state-dependent feedback delay. The state-dependent delay allows us to realize
an adjustable coupling strength, even though only Boolean signals are
exchanged. Specifically, increasing the coupling strength via the range of
state-dependent delay leads to larger locking ranges in uni- and bi-directional
coupling of oscillators in both experiment and numerical simulation with a
piecewise switching model. In the unidirectional coupling scheme, we unveil
asymmetric triangular-shaped locking regions (Arnold tongues) that appear at
multiples of the natural frequency of the oscillators. This extends
observations of a single locking region reported in previous studies. In the
bidirectional coupling scheme, we map out a symmetric locking region in the
parameter space of frequency detuning and coupling strength. Because of large
scalability of our setup, our observations constitute a first step towards
realizing large-scale networks of coupled oscillators to address fundamental
questions on the dynamical properties of networks in a new experimental
setting.Comment: 8 pages, 8 figure
- …