[HTML][HTML] Parameterised robotic system meta-model expressed by Hierarchical Petri nets

M Figat, C Zieliński - Robotics and Autonomous Systems, 2022 - Elsevier
The paper presents a model-based approach to developing robotic system controllers.
Central to this approach is a parameterised meta-model that describes the generic robotic …

Robotic system specification methodology based on hierarchical Petri nets

M Figat, C Zieliński - IEEE Access, 2020 - ieeexplore.ieee.org
The paper presents a methodology of creating a Hierarchical Petri Net modelling the
activities of a multi-agent robotic system. The methodology follows the separation of …

[PDF][PDF] A universal architectural pattern and specification method for robot control system design

T Kornuta, C Zieliński, T Winiarski - Bulletin of the Polish …, 2020 - bibliotekanauki.pl
The paper presents a universal architectural pattern and an associated specification method
that can be applied in the design of robot control systems. The approach a describes the …

Communication-focused top-down design of robotic systems based on binary decomposition

P Pałka, C Zieliński, W Dudek, D Seredyński… - Energies, 2022 - mdpi.com
This article proposes a formal method of designing robotic systems focusing on
communication between components, as well as standardization of the messages between …

EARL—Embodied agent-based robot control systems modelling language

T Winiarski, M Węgierek, D Seredyński, W Dudek… - Electronics, 2020 - mdpi.com
The paper presents the Embodied Agent-based Robot control system modelling Language
(EARL). EARL follows a Model-Driven Software Development approach (MDSD), which …

Methodology of designing multi-agent robot control systems utilising hierarchical petri nets

M Figat, C Zieliński - 2019 International Conference on …, 2019 - ieeexplore.ieee.org
A robot system is designed as a set of embodied agents. An embodied agent is
decomposed into cooperating subsystems. In our previous work activities of subsystems …

Continuous Formal Verification for Aerospace Applications

M McColl, C McColl, A Pereira… - 2024 IEEE …, 2024 - ieeexplore.ieee.org
Aerospace systems have the most stringent requirements when it comes to safety and
reliability. The harsh environment combined with the immense costs of designing and …

Finite state automaton based control system for walking machines

R Hussain, T Zielinska, R Hexel - International Journal of …, 2019 - journals.sagepub.com
Walking machines have proved to be an important invention as they do not require any
prepared surface, making them ideal for applications involving unexplored environments …

Engineering Multi-agent Systems with Statecharts: Theory and Practice

NI Spanoudakis - SN Computer Science, 2021 - Springer
The purpose of this paper is to map the works in the Agent Oriented Software Engineering
and Engineering Multi-agent Systems fields that use the statecharts paradigm to aid the …

FABRIC: framework for agent-based robot control systems

D Seredyński, T Winiarski… - 2019 12th International …, 2019 - ieeexplore.ieee.org
The paper presents FABRIC, a framework and a toolchain that facilitates semi-automatic
generation of agent-based control systems for robots. The presented approach combines …