16 citations · 69 across the 27 of their papers we have counts for
28 papers
Automatization of building IT projects using composite consistency rules
Stanislaw Jerzy Niepostyn, Wiktor Bohdan Daszczuk
Unified Modeling Language (UML) is widely used for modeling IT systems but lacks formal rules to ensure consistency across diagrams. This often leads to inconsistencies when shared…
Cooperation of Multiple Autonomous Robots and Analysis of their Swarm Behavior
Bogdan Czejdo, Wiktor B. Daszczuk, Waldemar Grabski +1
In this paper, we extended previous studies of cooperating autonomous robots to include situations when environmental changes and changes in the number of robots in the swarm can a…
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…
Priority Rules on ATN (PRT) Intersections
Waldemar Grabski, Wiktor B. Daszczuk
In Autonomous Transit Networks some basic elements influence the throughput: network structure, maximum velocity, number of vehicles etc. Other parameters like station structure, d…
Critical trees: counterexamples in model checking of CSM systems using CBS algorithm
Wiktor B. Daszczuk
The important feature of temporal model checking is the generation of counterexamples. In the report, the requirements for generation of counterexample (called critical tree) in mo…
Verification of Design Decisions in Communication Protocol by Evaluation of Temporal Logic Formulas
Wiktor B. Daszczuk
During the project of a communication protocol, many design decisions influence the behavior of the protocol and its correctness. Formal specification and verification of the proto…
State Space Reduction for Reachability Graph of CSM Automata
Wiktor B. Daszczuk
Classical CTL temporal logics are built over systems with interleaving model concurrency. Many attempts are made to fight a state space explosion problem (for instance, composition…
JADE - A Platform for Research on Cooperation of Physical and Virtual Agents
Wiktor B. Daszczuk, Jerzy Mieścicki
In the ICS, WUT a platform for simulation of cooperation of physical and virtual mobile agents is under development. The paper describes the motivation of the research, an organiza…
Macrogeneration and Automata Libraries For COSMA design environment
Wiktor B. Daszczuk
In ICS, WUT a COSMA design environment is being developed. COSMA is based on Concurrent State Machines (CSM) formalism of system specification. It contains a graphical tool for sys…
Deadlock and Termination Detection using IMDS Formalism and Model Checking. Version 2
Wiktor B. Daszczuk
Modern model checking techniques concentrate on global properties of verified systems, because the methods base on global state space. Local features like partial deadlock or proce…
Timed Concurrent State Machines
Wiktor B. Daszczuk
Timed Concurrent State Machines are an application of Alur's Timed Automata concept to coincidence-based (rather than interleaving) CSM modeling technique. TCSM support the idea of…
Communication Dualism in Distributed Systems with Petri Net Interpretation
Stanisław Chrobot, Wiktor B. Daszczuk
In the paper notion of communication dualism id formalized and explained in Petri net interpretation. We consider communication dualism a basic property of communication in distrib…
PRT (Personal Rapid Transit) network simulation
Włodzimierz Choromański, Wiktor Daszczuk, Jarosław Dyduch +3
Transportation problems of large urban conurbations inspire search for new transportation systems, that meet high environmental standards, are relatively cheap and user friendly. T…
Distributed algorithm for empty vehicles management in personal rapid transit (PRT) network
Wiktor B. Daszczuk, Jerzy Mieścicki, Waldemar Grabski
In this paper, an original heuristic algorithm of empty vehicles management in personal rapid transit network is presented. The algorithm is used for the delivery of empty vehicles…
Proposed benchmarks for PRT networks simulation
Jerzy Mieścicki, Wiktor B. Daszczuk
Personal Rapid Transit (PRT) is a promising form of urban transport. Its operation consists in the use of small unmanned vehicles which convey the passengers among stations within…
Threefold Analysis of Distributed Systems: IMDS, Petri Net and Distributed Automata DA3
Wiktor B. Daszczuk
Integrated Model of Distributed Systems is used for specification and verification of distributed systems. In the formalism, a system is modeled as a set of servers' states and age…
Rybu: Imperative-style Preprocessor for Verification of Distributed Systems in the Dedan Environment
Wiktor B. Daszczuk, Maciej Bielecki, Jan Michalski
Integrated Model of Distributed Systems (IMDS) is developed for specification and verification of distributed systems, and verification against deadlocks. On the basis of IMDS, Ded…
Practical Approach to Distributed Systems' Design
Jerzy Mieścicki, Wiktor B. Daszczuk, Waldemar Grabski +1
The paper, based on authors' experience from several distributed systems integration projects, summarizes briefly practical designer's view on methodological requirements and overa…
Discrete Event Simulation of Personal Rapid Transit (PRT) Systems
Wiktor B. Daszczuk
The article discusses issues related to the construction of the PRT network simulator and the simulation process: the elements of PRT network structure, their representation in the…
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…
Distributed management of Personal Rapid Transit (PRT) vehicles under unusual transport conditions
Wiktor B. Daszczuk, Jerzy Mieścicki
The paper presents a flexibility of management of vehicles in Personal Rapid Transit (PRT) network. The algorithm used for delivering empty vehicles for waiting passengers is based…
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…
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,…