The word problem distinguishes counter languages

Counter automata are more powerful versions of finite state automata where addition and subtraction operations are permitted on a set of n integer registers, called counters. We show that the word problem of Zn is accepted by a nondeterministic m-counter automaton if and only if m &= n.

Computing infinite plans for LTL goals using a classical planner

Classical planning has been notably successful in synthesizing finite plans to achieve states where propositional goals hold. In the last few years, classical planning has also been extended to incorporate temporally extended goals, expressed in temporal logics such as LTL, to impose restrictions on the state sequences generated by finite plans. In this work, we take the next step and consider the computation of infinite plans for achieving arbitrary LTL goals. We show that infinite plans can also be obtained efficiently by calling a classical planner once over a classical planning encoding that represents and extends the composition of the planningdomain and the B¨uchi automaton representingthe goal. This compilation scheme has been implemented and a number of experiments are reported.

Estudio y evaluación de una herramienta para representar máquinas de estado finitas

En este artículo se presentan los resultados y conclusiones del trabajo deinvestigación llevado a cabo sobre herramientas informáticas para representación de grafos de autómatas de estado finitos. El principal resultado de esta investigación es el desarrollo de una nueva herramienta, que permita dibujar el grafo de forma totalmente automática, partiendo de una tabla de transiciones donde se describe al autómata en cuestión.

Automatització d'una planta de processos químics

Resum L’any 1969 es van començar a comercialitzar els sistemes digitals programables coneguts com autòmats programables o PLC’s, utilitzats per controlar qualsevol tipus de procés industrial. Al llarg de tots aquests anys, aquests sistemes i tota la tecnologia en general han evolucionat molt, i només és qüestió de temps que la tecnologia que utilitzem avui en dia quedi obsoleta i substituïda per una de millors característiques i amb més avantatges. Aquest és el motiu de l’elaboració d’aquest treball, que com a objectiu pretén modernitzar un procés de fabricació d’una industria química que ha quedat molt limitat a causa de l’antiguitat de la instal•lació. Per dur a terme aquesta modernització, s’introdueixen sistemes de control amb majors prestacions, s’utilitzen xarxes de comunicacions per facilitar el muntatge elèctric de la instal•lació i un sistema de supervisió i adquisició de dades per poder obtenir un control més estricte del procés de fabricació i de tots els factors que intervenen. El funcionament del procés de fabricació és que a partir d’unes matèries primeres líquides emmagatzemades en dipòsits, es dosifiquin aquestes matèries en l’ordre i la quantitat desitjada dins un o diversos recipients per barrejar-les i aplicar els tractaments que siguin necessaris. Tot aquest procés està controlat per un autòmat programable, i disposa de diferents terminals operadors per poder interactuar amb el sistema. També té implementat un sistema SCADA en diversos ordinadors per aportar una visió general de la planta en temps real, un registre de dades dels paràmetres que es controlen i alhora serveix per enllaçar amb la xarxa d’ordinadors existent. Com annex d’aquest treball, es presenten els esquemes elèctrics i el programa de l’autòmat programable per veure totes les característiques elèctriques dels dispositius i el mètode de funcionament del procés. S’ha aconseguit donar un salt tecnològic i poder gaudir de tots els avantatges que ofereixen les noves tecnologies, que com a resultat s’ha optimitzat i millorat el procés de fabricació. De totes les conclusions, la més destacada és la d’haver dissenyat un sistema de control basat en una estructura descentralitzada molt flexible, que es pot expandir i adaptar fàcilment als possibles canvis.

Hysteresis and return-point memory in deterministic cellular automata

We have investigated hysteresis and the return-point memory (RPM) property in deterministic cellular automata with avalanche dynamics. The RPM property reflects a partial ordering of metastable states, preserved by the dynamics. Recently, Sethna et al. [Phys. Rev. Lett. 70, 3347 (1993)] proved this behavior for a homogeneously driven system with static disorder. This Letter shows that the partial ordering and the RPM can be displayed as well by systems driven heterogeneously, as a result of its own evolution dynamics. In particular, we prove the RPM property for a deterministic 2D sandpile automaton driven at a central site.

Long-tailed trapping times and Lévy flights in a self-organized critical granular system

We present a continuous time random walk model for the scale-invariant transport found in a self-organized critical rice pile [K. Christensen et al., Phys. Rev. Lett. 77, 107 (1996)]. From our analytical results it is shown that the dynamics of the experiment can be explained in terms of Lvy flights for the grains and a long-tailed distribution of trapping times. Scaling relations for the exponents of these distributions are obtained. The predicted microscopic behavior is confirmed by means of a cellular automaton model.

Forecasting a language shift based on cellular automata

Language extinction as a consequence of language shifts is a widespread social phenomenon that affects several million people all over the world today. An important task for social sciences research should therefore be to gain an understanding of language shifts, especially as a way of forecasting the extinction or survival of threatened languages, i.e., determining whether or not the subordinate language will survive in communities with a dominant and a subordinate language. In general, modeling is usually a very difficult task in the social sciences, particularly when it comes to forecasting the values of variables. However, the cellular automata theory can help us overcome this traditional difficulty. The purpose of this article is to investigate language shifts in the speech behavior of individuals using the methodology of the cellular automata theory. The findings on the dynamics of social impacts in the field of social psychology and the empirical data from language surveys on the use of Catalan in Valencia allowed us to define a cellular automaton and carry out a set of simulations using that automaton. The simulation results highlighted the key factors in the progression or reversal of a language shift and the use of these factors allowed us to forecast the future of a threatened language in a bilingual community.

Automatització d'una planta de processos químics

Resum L’any 1969 es van començar a comercialitzar els sistemes digitals programables coneguts com autòmats programables o PLC’s, utilitzats per controlar qualsevol tipus de procés industrial. Al llarg de tots aquests anys, aquests sistemes i tota la tecnologia en general han evolucionat molt, i només és qüestió de temps que la tecnologia que utilitzem avui en dia quedi obsoleta i substituïda per una de millors característiques i amb més avantatges. Aquest és el motiu de l’elaboració d’aquest treball, que com a objectiu pretén modernitzar un procés de fabricació d’una industria química que ha quedat molt limitat a causa de l’antiguitat de la instal•lació. Per dur a terme aquesta modernització, s’introdueixen sistemes de control amb majors prestacions, s’utilitzen xarxes de comunicacions per facilitar el muntatge elèctric de la instal•lació i un sistema de supervisió i adquisició de dades per poder obtenir un control més estricte del procés de fabricació i de tots els factors que intervenen. El funcionament del procés de fabricació és que a partir d’unes matèries primeres líquides emmagatzemades en dipòsits, es dosifiquin aquestes matèries en l’ordre i la quantitat desitjada dins un o diversos recipients per barrejar-les i aplicar els tractaments que siguin necessaris. Tot aquest procés està controlat per un autòmat programable, i disposa de diferents terminals operadors per poder interactuar amb el sistema. També té implementat un sistema SCADA en diversos ordinadors per aportar una visió general de la planta en temps real, un registre de dades dels paràmetres que es controlen i alhora serveix per enllaçar amb la xarxa d’ordinadors existent. Com annex d’aquest treball, es presenten els esquemes elèctrics i el programa de l’autòmat programable per veure totes les característiques elèctriques dels dispositius i el mètode de funcionament del procés. S’ha aconseguit donar un salt tecnològic i poder gaudir de tots els avantatges que ofereixen les noves tecnologies, que com a resultat s’ha optimitzat i millorat el procés de fabricació. De totes les conclusions, la més destacada és la d’haver dissenyat un sistema de control basat en una estructura descentralitzada molt flexible, que es pot expandir i adaptar fàcilment als possibles canvis.