6 citations · 11 across the 4 of their papers we have counts for
4 papers
Using Machine Learning to Enhance Vehicles Traffic in ATN (PRT) Systems
Bogdan Czejdo, Wiktor B. Daszczuk, Mikołaj Baszun
This paper discusses new techniques to enhance Automated Transit Networks (ATN, previously called Personal Rapid Transit - PRT) based on Artificial Intelligence tools. The main dir…
Model Checking in The COSMA Environment as a Support for The Design of Pipelined Processing
Jerzy Mieścicki, Bogdan Czejdo, Wiktor B. Daszczuk
The case study analyzed in the report involves the behavioral specification and verification of a three-stage pipeline consisting of mutually concurrent modules which also compete…
Improving Resilience of Autonomous Moving Platforms by Real Time Analysis of Their Cooperation
Bogdan Czejdo, Sambit Bhattacharya, Mikołaj Baszun +1
Environmental changes, failures, collisions or even terrorist attacks can cause serious malfunctions of the delivery systems. We have presented a novel approach improving resilienc…
Concurrent Software Design Based on Constraints on State Diagrams
Bogdan D. Czejdo, Wiktor B. Daszczuk, Jerzy Mieścicki
Concurrent software for engineering computations consists of multiple cooperating modules. The behavior of individual modules is described by means on state diagrams. In the paper,…