Cezary Zielinski

Prof. Cezary Zielinski

Warsaw University of Technology, Warsaw, Mazowieckie, Poland
orcid

Research Focus & Metrics

Academic Career Length

36Years (1991-Present)

(Calculated once Scilit publication data is synced: current year − year of first publication + 1)

Representative Publications

View All Publications
28 September 2009 in The International Journal of Robotics Research
Verified
Journal Article
Closed access
PDF file
Cezary ZielinskiCezary Zielinski
Cezary Zielinski
Tomasz WiniarskiTomasz Winiarski
Tomasz Winiarski
In this paper we present a formal approach to robot motion specification. This motion specification takes into account three elementary behaviors that suffice to define any robot interaction with the environment, i.e. free motion, exerting generalized forces and the transition between both of these behaviors. These behaviors provide a foundation for general motion generation taking into account any sensors, any effectors and the capability to exchange information between embodied agents. This specification can be used both for the definition of robot tasks and implementation of robot control software, hence both of those aspects are presented in this paper. This formal approach was used for the implementation of the MRROC++ robot programming framework. Two-handed manipulation of a Rubik’s cube is used as an exemplary task. Extensive experimentation both with the presented formalism and the MRROC++ framework showed that the imposed formal rigor eliminates many errors at the software specification phase, produces well-structured control software and significantly speeds up and simplifies its implementation. These advantages are mainly due to the fact that the proposed formal specification tool is derived from operational semantics used in computer science for the definition of programming languages, thus a close relationship between abstract definition and the implementation of the control system resulted.

1 August 2017 in Robotics and Autonomous Systems
Verified
Journal Article
Closed access
Cezary ZielinskiCezary Zielinski
Cezary Zielinski
MSMaciej Stefańczyk
Maciej Stefańczyk
TKTomasz Kornuta
Tomasz Kornuta
MFMaksym Figat
Maksym Figat
Wojciech DudekWojciech Dudek
Wojciech Dudek
MIMiren Iturburu
Miren Iturburu

15 September 2013 in Journal of Intelligent & Robotic Systems
Verified
Journal Article
Closed access
PDF file
TKTomasz Kornuta
Tomasz Kornuta
Cezary ZielinskiCezary Zielinski
Cezary Zielinski

24 February 2020 in Electronics
Verified
Journal Article
Open access
PDF file
Tomasz WiniarskiTomasz Winiarski
Tomasz Winiarski
MWMaciej Węgierek
Maciej Węgierek
DSDawid Seredyński
Dawid Seredyński
Wojciech DudekWojciech Dudek
Wojciech Dudek
KBKonrad Banachowicz
Konrad Banachowicz
Cezary ZielinskiCezary Zielinski
Cezary Zielinski
The paper presents the Embodied Agent-based Robot control system modelling Language (EARL). EARL follows a Model-Driven Software Development approach (MDSD), which facilitates robot control system development. It is based on a mathematical method of robot controller specification, employing the concept of an Embodied Agent, and a graphical modelling language: System Modelling Language (SysML). It combines the ease of use of SysML with the precision of mathematical specification of certain aspects of the designed system. It makes the whole system specification effective, from the point of view of the time needed to create it, conciseness of the specification and the possibility of its analysis. By using EARL it is possible to specify systems both with fixed and variable structure. This was achieved by introducing a generalised system model and presenting particular structures of the system in terms of modelling block configurations adapted by using instances. FABRIC framework was created to support the implementation of EARL-based controllers. EARL is compatible with component based robotic middlewares (e.g., ROS and Orocos).

1 June 2017 in Cognitive Systems Research
Verified
Journal Article
Closed access
ETEmmanouil G. Tsardoulias
Emmanouil G. Tsardoulias
AKAthanassios M. Kintsakis
Athanassios M. Kintsakis
KPKonstantinos Panayiotou
Konstantinos Panayiotou
ATAristeidis G. Thallas
Aristeidis G. Thallas
SRSofia E. Reppou
Sofia E. Reppou
PMPericles A. Mitkas
Pericles A. Mitkas

4 May 2010 in Robotics and Autonomous Systems
Verified
Journal Article
Closed access
MSMaciej Staniak
Maciej Staniak
Cezary ZielinskiCezary Zielinski
Cezary Zielinski