6 citations · 9 across the 3 of their papers we have counts for
3 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…
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…
Verification of Concurrent Engineering Software Using CSM Models
Jerzy Mieścicki, Mikołaj Baszun, Wiktor B. Daszczuk +1
An engineering design process may involve software modules that can executed concurrently. Concurrent modules can be very easily subject to some synchronization errors. This paper…