English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

We propose an extension of Hybrid I/O Automata (HIOAs) to model agent systemsand their implicit communication through perturbation of the environment, likelocalization of objects or radio signals diffusion and detection. The newobject, called World Automaton (WA), is built in such a way to preserve as muchas possible of the compositional properties of HIOAs and its underlying theory.From the formal point of view we enrich classical HIOAs with a set of worldvariables whose values are functions both of time and space. World variablesare treated similarly to local variables of HIOAs, except in parallelcomposition, where the perturbations produced by world variables are summed. Insuch way, we obtain a structure able to model both agents and environments,thus inducing a hierarchy in the model and leading to the introduction of a newoperator. Indeed this operator, called inplacement, is needed to represent thepossibility of an object (WA) of living inside another object/environment (WA).

World Automata: a compositional approach to model implicit communication in hierarchical Hybrid Systems