8,413 Hits in 4.3 sec

State Transition Graphs for Semantic Analysis of Movement Behaviours

Natalia Andrienko, Gennady Andrienko
2017 Information Visualization  
In analysis of movement data, state transition graphs can be used to represent semantic abstractions of mobility behaviours, where states correspond to semantic categories of visited places (such as 'home  ...  For comprehensive analysis of movement data, state transition graphs need to be combined with representations reflecting the spatial and temporal aspects of the movement.  ...  Acknowledgements This research was supported by EU within projects SoBigData Research Infrastructure (grant agreement 654024) and VaVeL "Variety, Veracity, VaLue: Handling the Multiplicity of Urban Sensors  ... 
doi:10.1177/1473871617692841 fatcat:5a7bu7cn7bbvblu3iiy5cprote

Translating Model Simulators to Analysis Models [chapter]

Juan de Lara, Hans Vangheluwe
2008 Lecture Notes in Computer Science  
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language by means of graph transformation rules  ...  The approach is geared to the generation of transformations from Domain-Specific Visual Languages (DSVLs) into semantic domains with an explicit notion of transition, like for example Petri nets.  ...  Work sponsored by the Spanish Ministry of Science and Education, project MOSAIC (TSI2005-08225-C07-06). We thank the referees for their useful comments.  ... 
doi:10.1007/978-3-540-78743-3_6 fatcat:a5vgmbvkyndszlzpwshtp74ul4

Semantic Trajectory Analytics and Recommender Systems in Cultural Spaces

Sotiris Angelis, Konstantinos Kotis, Dimitris Spiliotopoulos
2021 Big Data and Cognitive Computing  
Semantic trajectories can efficiently model human movement for further analysis and pattern recognition, while personalised recommender systems can adapt to constantly changing user needs and provide meaningful  ...  The paper presents a system architecture design for the recognition of semantic trajectory patterns and for the inferencing of possible synthesis of visitor trajectories in cultural spaces, such as museums  ...  Acknowledgments: The authors would like to thank Alexandra Kallitsa for her valuable contribution. Conflicts of Interest: The authors declare no conflict of interest.  ... 
doi:10.3390/bdcc5040080 fatcat:kjdlbtlxmzatjp7iiq23uiff4e

Automating the transformation-based analysis of visual languages

Juan de Lara, Hans Vangheluwe
2009 Formal Aspects of Computing  
The approach is geared to the generation of transformations from Domain-Specific Visual Languages (DSVLs) into semantic domains with an explicit notion of transition, like for example Petri nets.  ...  We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language in the form of graph transformation rules  ...  We thank the referees for their useful comments that helped us to improve the paper.  ... 
doi:10.1007/s00165-009-0114-y fatcat:xvyjlyilrfbvflf4uyc2grqfqa

Petri Nets: A Formal Language to Specify and Verify Concurrent Non-Deterministic Event Systems [chapter]

Didier Buchs, Stefan Klikovits, Alban Linard
2020 Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems  
Learning Objectives After reading this chapter, we expect you to be able to: • Use common Petri-net patterns to model concurrent processes • Understand the semantics of Petri-nets in terms of state transitions  ...  We offer an overview of the most important Petri nets concepts, analysis techniques and model checking approaches.  ...  It features a graphical editor, and a set of tools to perform structural analysis (e.g. invariants), behavioural analysis (e.g. reachability and coverability graphs) and LTL model checking.  ... 
doi:10.1007/978-3-030-43946-0_7 fatcat:6plbwq36cbbsxont3v3dbblm44

A modular timed graph transformation language for simulation-based design

Eugene Syriani, Hans Vangheluwe
2011 Journal of Software and Systems Modeling  
This also allows the modelling of player behaviour, incorporating data about human players' behaviour, and reaction times.  ...  We introduce the MoTif (Modular Timed graph transformation) language, which allows one to elegantly model complex control structures for programmed graph transformation.  ...  For the purpose of the PacMan game, player behaviour parameters can be user reaction speed or levels of decision analysis (such as path finding). We have explored these two dimensions of behaviour.  ... 
doi:10.1007/s10270-011-0205-0 fatcat:h5qsul7glvciflfmekgkjdjsy4

Automated Analysis of DP-systems Using Timed-Arc Petri Nets via TAPAAL Tool

Leonid Wladimirovich Dworzanski, Aleksandr Aleksandrovich Izmaylov
2020 Proceedings of the Institute for System Programming of RAS  
In this work, we provide a new approach to automated analysis of DP-systems using the translation of a DP-system into a TaPN-net which is implemented as a TAPAAL plugin.  ...  System of dynamic points on a metric graph (DP-systems) is another dynamical model that is studied in discrete geometry dynamics and motivated by study of localized Gaussian wave packets scattering on  ...  A graph is said to be a metric graph, if • for arc , the length ( ) of its support edge is equal to ( ). A state of a DP-system on a metric graph is a set of points located on the arcs of .  ... 
doi:10.15514/ispras-2020-32(6)-12 fatcat:bwf2qcjwwvam5pqfpbqjjn2tpa

MELA: Modelling in Ecology with Location Attributes

Ludovica Luisa Vissat, Jane Hillston, Glenn Marion, Matthew J. Smith
2016 Electronic Proceedings in Theoretical Computer Science  
The mathematical modelling of ecological systems often includes nontrivial specifications of processes that influence the birth, death, development and movement of individuals in the environment, that  ...  It is also important to plan for efficient use of natural resources and maintenance of critical ecosystem services.  ...  treatment of a state and its capability of expressing state-dependent behaviour".  ... 
doi:10.4204/eptcs.227.6 fatcat:6jjwsdtdgvftnf2syuuoewuom4

Analysing RoboChart with Probabilities [chapter]

M. S. Conserva Filho, R. Marinho, A. Mota, J. Woodcock
2018 Lecture Notes in Computer Science  
When P is used, currently a non-deterministic choice (⊓) is used as semantics; this is a conservative semantics but it does not allow the analysis of stochastic properties.  ...  In this paper we define the semantics of the operator P in terms of the probabilistic CSP operator ⊞.  ...  Our example has just a single controller Movement. The behaviour of a controller is defined by one or more state machines, specifying threads of execution.  ... 
doi:10.1007/978-3-030-03044-5_13 fatcat:r2wqrjfsavhvzoiw7c262ulqt4

Specification and Verification of Model Transformations

Frank Hermann, Mathias Hülsbusch, Barbara König
2010 Electronic Communications of the EASST  
Model transformations are a key concept within model driven development and there is an enormous need for suitable formal analysis techniques for model transformations, in particular with respect to behavioural  ...  For this reason, we discuss the general challenges that arise for the specification and verification of model transformations and present suitable formal techniques that are based on graph transformation  ...  Acknowledgements: We would like to thank Arend Rensink, Maria Semenyak, Christian Soltenborn and Heike Wehrheim for joint work on a case study, which gave us the ideas on which we based Sec. 5.  ... 
doi:10.14279/tuj.eceasst.30.424 dblp:journals/eceasst/HermannHK10 fatcat:szhrztbx2nfqxkaoylfxjh3qtm

Behavioural Analysis with Movement Cluster Model for Concurrent Actions

Zsolt L. Husz, Andrew M. Wallace, Patrick R. Green
2011 EURASIP Journal on Image and Video Processing  
First, we describe a novel dynamic and behavioural model that uses movements, a sequence of consecutive poses, from motion captured video data to establish priors for both tracking and behavioural analysis  ...  We present an approach to model articulated human movements and to analyse their behavioural semantics.  ...  for behavioural analysis.  ... 
doi:10.1155/2011/365307 fatcat:ff5gpqqgkjhxnewmfv72vjvbuy

Formal methods for the specification and design of real-time safety critical systems

Jonathan S. Ostroff
1992 Journal of Systems and Software  
This paper surveys formal methods for specifying, designing and verifying real-time systems, so as to improve their safety and reliability.  ...  Safety critical computers increasingly a ect nearly every aspect of our lives. Computers control the planes we y on, monitor our health in hospitals and do our work in hazardous environments.  ...  A state in the reachability graph is a tuple consisting of a marking, and a vector of possible ring intervals of enabled transitions in that marking.  ... 
doi:10.1016/0164-1212(92)90045-l fatcat:zgh4zhmpjbbarecagzor3cxkh4

Synergistic modelling of tasks, users and systems using formal specification techniques

Philippe Palanque, Rémi Bastide
1997 Interacting with computers  
The formality of Petri nets allows for axiomatic validation of isolated and interacting subsystems.  ...  The formality of Petri nets allows for axiomatic validation of isolated and interacting subsystems.  ...  The result of the analysis can state for example that a given transition is not in any cycle, meaning that it is a dead transition.  ... 
doi:10.1016/s0953-5438(97)00013-1 fatcat:wfuoz4iudzekhhpyrasec74fxq

Page 9256 of Mathematical Reviews Vol. , Issue 2001M [page]

2001 Mathematical Reviews  
Consequently, an independent set in the graph is a packing in our family of sets. For the web version of Mathematical Reviews, see http: //  ...  Bisimulation-based equivalences can be checked on our transition systems. They yield the same equiva- lence relations as those based on standard interleaving semantics.  ... 

European railway traffic management system validation using UML/Petri nets modelling strategy

Sana Jabri, El Miloudi El Koursi, Thomas Bourdeaud'huy, Etienne Lemaire
2010 European Transport Research Review  
Methods The development of ERTMS system requires adequate methods for modelling and checking its behaviour.  ...  Tests scenarios are generated on the basis of Petri net models. One scenario is considered like a firing sequence in the reachability graph of the Petri net.  ...  a formal semantics for them.  ... 
doi:10.1007/s12544-010-0030-5 fatcat:44neyk3o4bd6ndsa4zf7gkhqa4
« Previous Showing results 1 — 15 out of 8,413 results