Matches in SemOpenAlex for { <https://semopenalex.org/work/W2032083196> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2032083196 endingPage "72" @default.
- W2032083196 startingPage "58" @default.
- W2032083196 abstract "We propose an extension of Hybrid I/O Automata (HIOAs) to model agent systems and their implicit communication through perturbation of the environment, like localization of objects or radio signals diffusion and detection. The new object, called World Automaton (WA), is built in such a way to preserve as much as 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 world variables whose values are functions both of time and space. World variables are treated similarly to local variables of HIOAs, except in parallel composition, where the perturbations produced by world variables are summed. In such 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 new operator. Indeed this operator, called inplacement, is needed to represent the possibility of an object (WA) of living inside another object/environment (WA)." @default.
- W2032083196 created "2016-06-24" @default.
- W2032083196 creator A5006624231 @default.
- W2032083196 creator A5082040296 @default.
- W2032083196 date "2013-08-22" @default.
- W2032083196 modified "2023-10-02" @default.
- W2032083196 title "World Automata: a compositional approach to model implicit communication in hierarchical Hybrid Systems" @default.
- W2032083196 cites W1529091257 @default.
- W2032083196 cites W2003194965 @default.
- W2032083196 cites W2098916117 @default.
- W2032083196 cites W2111983756 @default.
- W2032083196 cites W2119020995 @default.
- W2032083196 cites W2135598790 @default.
- W2032083196 cites W2158615203 @default.
- W2032083196 cites W2169630160 @default.
- W2032083196 cites W3022429701 @default.
- W2032083196 cites W4237889140 @default.
- W2032083196 doi "https://doi.org/10.4204/eptcs.124.7" @default.
- W2032083196 hasPublicationYear "2013" @default.
- W2032083196 type Work @default.
- W2032083196 sameAs 2032083196 @default.
- W2032083196 citedByCount "2" @default.
- W2032083196 countsByYear W20320831962014 @default.
- W2032083196 countsByYear W20320831962019 @default.
- W2032083196 crossrefType "journal-article" @default.
- W2032083196 hasAuthorship W2032083196A5006624231 @default.
- W2032083196 hasAuthorship W2032083196A5082040296 @default.
- W2032083196 hasBestOaLocation W20320831961 @default.
- W2032083196 hasConcept C104317684 @default.
- W2032083196 hasConcept C112505250 @default.
- W2032083196 hasConcept C154945302 @default.
- W2032083196 hasConcept C158448853 @default.
- W2032083196 hasConcept C162324750 @default.
- W2032083196 hasConcept C17020691 @default.
- W2032083196 hasConcept C177264268 @default.
- W2032083196 hasConcept C185592680 @default.
- W2032083196 hasConcept C199360897 @default.
- W2032083196 hasConcept C2778029271 @default.
- W2032083196 hasConcept C2781238097 @default.
- W2032083196 hasConcept C31170391 @default.
- W2032083196 hasConcept C34447519 @default.
- W2032083196 hasConcept C41008148 @default.
- W2032083196 hasConcept C55493867 @default.
- W2032083196 hasConcept C80444323 @default.
- W2032083196 hasConcept C86339819 @default.
- W2032083196 hasConceptScore W2032083196C104317684 @default.
- W2032083196 hasConceptScore W2032083196C112505250 @default.
- W2032083196 hasConceptScore W2032083196C154945302 @default.
- W2032083196 hasConceptScore W2032083196C158448853 @default.
- W2032083196 hasConceptScore W2032083196C162324750 @default.
- W2032083196 hasConceptScore W2032083196C17020691 @default.
- W2032083196 hasConceptScore W2032083196C177264268 @default.
- W2032083196 hasConceptScore W2032083196C185592680 @default.
- W2032083196 hasConceptScore W2032083196C199360897 @default.
- W2032083196 hasConceptScore W2032083196C2778029271 @default.
- W2032083196 hasConceptScore W2032083196C2781238097 @default.
- W2032083196 hasConceptScore W2032083196C31170391 @default.
- W2032083196 hasConceptScore W2032083196C34447519 @default.
- W2032083196 hasConceptScore W2032083196C41008148 @default.
- W2032083196 hasConceptScore W2032083196C55493867 @default.
- W2032083196 hasConceptScore W2032083196C80444323 @default.
- W2032083196 hasConceptScore W2032083196C86339819 @default.
- W2032083196 hasLocation W20320831961 @default.
- W2032083196 hasLocation W20320831962 @default.
- W2032083196 hasLocation W20320831963 @default.
- W2032083196 hasLocation W20320831964 @default.
- W2032083196 hasOpenAccess W2032083196 @default.
- W2032083196 hasPrimaryLocation W20320831961 @default.
- W2032083196 hasRelatedWork W2030312511 @default.
- W2032083196 hasRelatedWork W2093234790 @default.
- W2032083196 hasRelatedWork W2109244780 @default.
- W2032083196 hasRelatedWork W2273515602 @default.
- W2032083196 hasRelatedWork W2352495365 @default.
- W2032083196 hasRelatedWork W2367427717 @default.
- W2032083196 hasRelatedWork W2368796975 @default.
- W2032083196 hasRelatedWork W2950840193 @default.
- W2032083196 hasRelatedWork W4300818667 @default.
- W2032083196 hasRelatedWork W790934358 @default.
- W2032083196 hasVolume "124" @default.
- W2032083196 isParatext "false" @default.
- W2032083196 isRetracted "false" @default.
- W2032083196 magId "2032083196" @default.
- W2032083196 workType "article" @default.