Zobrazeno 1 - 10
of 14
pro vyhledávání: '"Piotr Matyasik"'
Publikováno v:
Artificial Intelligence and Soft Computing ISBN: 9783319590592
ICAISC (2)
ICAISC (2)
The paper presents a method of using the Alvis formal modelling language and related software to model and simulate multi-agent systems. The approach has been illustrated with an example of a railway traffic management system for a real train station
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f13b01ecefb7643ffc24274c378d507f
https://doi.org/10.1007/978-3-319-59060-8_54
https://doi.org/10.1007/978-3-319-59060-8_54
Publikováno v:
Expert Systems with Applications. 41:984-989
Today, energy efficiency is one of the top priorities in building design and construction. A significant share of energy usage is due to indoor lighting. Although methods exist for design and control of intelligent lighting systems, the task of real-
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6bf33081c39bc3c3342c9866f486e05a
https://doi.org/10.1016/j.eswa.2013.06.065
https://doi.org/10.1016/j.eswa.2013.06.065
Publikováno v:
Fundamenta Informaticae. 129:161-176
The paper presents a formal description of a subset of the Alvis language designed for the modelling and formal verification of concurrent systems. Alvis combines possibilities of a formal models verification with flexibility and simplicity of practi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::78e4bfd176ede05465b54f91e788edd6
https://doi.org/10.3233/fi-2014-967
https://doi.org/10.3233/fi-2014-967
Publikováno v:
MIXDES
Concurrent systems are composed of a set of subsystems (processes, threads etc.) that must communicate between themselves to meet the system requirements. Modelling and programming languages provide different communication modes to handle synchronous
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3334a578419b3c0be721bce5237b39ca
https://doi.org/10.1109/mixdes.2016.7529784
https://doi.org/10.1109/mixdes.2016.7529784
Autor:
Marcin Szpyrka, Piotr Matyasik, Jerzy Biernacki, Agnieszka Biernacka, Michał Wypych, Leszek Kotulski
Publikováno v:
COMPUTING AND INFORMATICS; Vol 35, No 1 (2016): Computing and Informatics; 55-83
Formal modelling languages range from strictly textual ones like process algebra scripts to visual modelling languages based on hierarchical graphs like coloured Petri nets. Approaches equipped with visual modelling capabilities make developing proce
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=issn13359150::50f8eef8d8e640fc5e0cc817f57240db
http://www.cai.sk/ojs/index.php/cai/article/view/2961
http://www.cai.sk/ojs/index.php/cai/article/view/2961
Publikováno v:
International Journal of Electronics and Telecommunications. 58:247-254
Alvis is a modelling language defined for the design and a formal verification of embedded systems. An Alvis model is a system of agents that usually run concurrently, communicate one with another, compete for shared resources etc. Due to the fact th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d7eaffca272e975af0528353ca93b820
https://doi.org/10.2478/v10177-012-0034-2
https://doi.org/10.2478/v10177-012-0034-2
Publikováno v:
AIP Conference Proceedings.
Alvis is a formal modelling language that enables possibility of verification of distributed concurrent systems. An Alvis model semantics finds expression in an LTS graph (labelled transition system). Execution of any language statement is expressed
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::212a2abf07db1234e277c342dba7f2a0
https://doi.org/10.1063/1.4938892
https://doi.org/10.1063/1.4938892
Autor:
Piotr Matyasik
Publikováno v:
FedCSIS
Alvis is a formal modelling language. It combines graphical modelling of communication schema and a high level programming language to describe behaviour of individual system entities. An Alvis model can be verified formally by using methods based on
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::05e6a9a3b91345fb0c2f6597942c0d2d
https://doi.org/10.15439/2014f267
https://doi.org/10.15439/2014f267
Autor:
Piotr Matyasik, Konrad Kułakowski
Publikováno v:
Multiagent System Technologies ISBN: 9783642407758
MATES
MATES
The article presents RobustPI - an extension of the Robust middleware library, which allows the widely recognized Pioneer 3-AT robot to be programmed as a Webots based virtual hardware. Like Lego Mindstorms NXT robots, the Pioneer 3-AT model and Webo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f0e3d4b3c0583dbf5bcfd0b887f7e4b0
https://doi.org/10.1007/978-3-642-40776-5_12
https://doi.org/10.1007/978-3-642-40776-5_12
Publikováno v:
ECMS
The paper presents a practical introduction to the modelling and verification of concurrent systems with the Alvis modelling language using the α system layer. This version of Alvis is the most universal one. It is assumed that each active agent has
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c3dfad3286cfbbacacb9c61fbc650d64
https://doi.org/10.7148/2011-0539-0545
https://doi.org/10.7148/2011-0539-0545