Zobrazeno 1 - 10
of 15
pro vyhledávání: '"Grzelak, Dominik"'
Autor:
Grzelak, Dominik, Lindner, Martin
We present a formal modeling approach for the design and simulation of Multi-Unmanned Aerial Vehicle (multi-UAV) inspection scenarios, where planning is based on model checking. As demonstration, we formalize and simulate a compositional UAV inspecti
Externí odkaz:
https://tud.qucosa.de/id/qucosa%3A90865
https://tud.qucosa.de/api/qucosa%3A90865/attachment/ATT-0/
https://tud.qucosa.de/api/qucosa%3A90865/attachment/ATT-0/
In collocated collaboration, applied methods and technologies to support the collaboration process mainly comprise either analog paper and pen methods, large display applications or the usage of several laptops. Whereas paper and pen are easy to use,
Externí odkaz:
https://tud.qucosa.de/id/qucosa%3A75486
https://tud.qucosa.de/api/qucosa%3A75486/attachment/ATT-0/
https://tud.qucosa.de/api/qucosa%3A75486/attachment/ATT-0/
Autor:
Grzelak, Dominik
This report describes Bigraphical DSL (BDSL), a domain-specific language for reactive systems, rooted in the mathematical spirit of the bigraph theory devised by Robin Milner. BDSL is not only a platform-agnostic programming language but also a devel
Externí odkaz:
https://tud.qucosa.de/id/qucosa%3A75217
https://tud.qucosa.de/api/qucosa%3A75217/attachment/ATT-0/
https://tud.qucosa.de/api/qucosa%3A75217/attachment/ATT-0/
Autor:
Grzelak, Dominik
It is well-recognized among computer scientists that prospective informatics systems will become more and more complex and will increasingly accumulate non-linear behaviour that is difficult to orchestrate, to configure, and to reason about. Certainl
Externí odkaz:
https://tud.qucosa.de/id/qucosa%3A91050
https://tud.qucosa.de/api/qucosa%3A91050/attachment/ATT-0/
https://tud.qucosa.de/api/qucosa%3A91050/attachment/ATT-0/
Autor:
Grzelak, Dominik
A bigraph-driven vending machine is implemented. The application is realized as a Spring-based webservice. Actions can be initiated by REST endpoints. The system follows a rule-based architecture, where possible operations are grounded on a rule set.
Externí odkaz:
https://tud.qucosa.de/id/qucosa%3A84916
https://tud.qucosa.de/api/qucosa%3A84916/attachment/ATT-0/
https://tud.qucosa.de/api/qucosa%3A84916/attachment/ATT-0/
The bigraph theory is a relatively young, yet formally rigorous, mathematical framework encompassing Robin Milner's previous work on process calculi, on the one hand, and provides a generic meta-model for complex systems such as multi-agent systems,
Externí odkaz:
http://arxiv.org/abs/2002.07448
Autor:
Aßmann, Uwe, Baier, Christel, Dubslaff, Clemens, Grzelak, Dominik, Hanisch, Simon, Hartono, Ardhi Putra Pratama, Köpsell, Stefan, Lin, Tianfang, Strufe, Thorsten
Publikováno v:
In Tactile Internet 2021:293-317
Autor:
Aßmann, Uwe, Chen, Lingyun, Ebert, Sebastian, Göhringer, Diana, Grzelak, Dominik, Hidalgo, Diego, Johannsmeier, Lars, Haddadin, Sami, Mey, Johannes, Podlubne, Ariel
Publikováno v:
In Tactile Internet 2021:41-73
Autor:
Seiger, Ronny, Aßmann, Uwe, Grzelak, Dominik, Belov, Mikhail, Riedel, Paul, Podlubne, Ariel, Zhao, Wanqi, Kerber, Jens, Mohr, Jonas, Espinosa, Fabio, Schwartz, Tim
Im zukünftigen taktilen Internet wachsen die physische und virtuelle Welt auch über mehrere Standorte hinweg immer weiter zusammen. Robotic Co-working – das gemeinsame Kollaborieren von Robotern und Menschen – gewinnt dabei zunehmend im Kontext
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_________2::5bc15f36e5c207c240e023264bf69572
http://www.alexandria.unisg.ch/260920/
http://www.alexandria.unisg.ch/260920/
Autor:
Seiger, Ronny, Aßmann, Uwe, Grzelak, Dominik, Belov, Mikhail, Riedel, Paul, Podlubne, Ariel, Zhao, Wanqi, Kerber, Jens, Mohr, Jonas, Espinosa, Fabio, Schwartz, Tim
Publikováno v:
Informatik Spektrum; 2020, Vol. 43 Issue 6, p425-435, 11p