research
∙
12/28/2018
Cooperation of Multiple Autonomous Robots and Analysis of their Swarm Behavior
In this paper, we extended previous studies of cooperating autonomous ro...
share
research
∙
12/16/2017
Using Machine Learning to Enhance Vehicles Traffic in ATN (PRT) Systems
This paper discusses new techniques to enhance Automated Transit Network...
research
∙
12/16/2017
Priority Rules on ATN (PRT) Intersections
In Autonomous Transit Networks some basic elements influence the through...
research
∙
10/26/2017
Critical trees: counterexamples in model checking of CSM systems using CBS algorithm
The important feature of temporal model checking is the generation of co...
research
∙
10/25/2017
Verification of Design Decisions in Communication Protocol by Evaluation of Temporal Logic Formulas
During the project of a communication protocol, many design decisions in...
research
∙
10/25/2017
State Space Reduction for Reachability Graph of CSM Automata
Classical CTL temporal logics are built over systems with interleaving m...
research
∙
10/24/2017
JADE - A Platform for Research on Cooperation of Physical and Virtual Agents
In the ICS, WUT a platform for simulation of cooperation of physical and...
research
∙
10/24/2017
Macrogeneration and Automata Libraries For COSMA design environment
In ICS, WUT a COSMA design environment is being developed. COSMA is base...
research
∙
10/24/2017
Deadlock and Termination Detection using IMDS Formalism and Model Checking. Version 2
Modern model checking techniques concentrate on global properties of ver...
research
∙
10/22/2017
Timed Concurrent State Machines
Timed Concurrent State Machines are an application of Alur's Timed Autom...
research
∙
10/22/2017
Communication Dualism in Distributed Systems with Petri Net Interpretation
In the paper notion of communication dualism id formalized and explained...
research
∙
10/17/2017
Distributed algorithm for empty vehicles management in personal rapid transit (PRT) network
In this paper, an original heuristic algorithm of empty vehicles managem...
research
∙
10/09/2017
Threefold Analysis of Distributed Systems: IMDS, Petri Net and Distributed Automata DA3
Integrated Model of Distributed Systems is used for specification and ve...
research
∙
05/12/2017
