Showing 1–7 of 7 results for author: Czejdo, B

Cooperation of Multiple Autonomous Robots and Analysis of their Swarm Behavior

Authors: Bogdan Czejdo, Wiktor B. Daszczuk, Waldemar Grabski, Sambit Bhattacharya

Abstract: 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 affect the efficiency to execute tasks assigned to the swarm of robots. We have presented a novel approach based on partition of the robot behavior. The sub-diagrams describing sub-routs allowed us to model advanced inter… ▽ More 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 affect the efficiency to execute tasks assigned to the swarm of robots. We have presented a novel approach based on partition of the robot behavior. The sub-diagrams describing sub-routs allowed us to model advanced interactions between autonomous robots using limited number of state combinations avoiding combinatorial explosion of reachability. We identified the systems for which we can ensure the correctness of robots interactions. New techniques were presented to verify and analyze combined robots' behavior. The partitioned diagrams allowed us to model advanced interactions between autonomous robots and detect irregularities such as deadlocks, lack of termination etc. The techniques were presented to verify and analyze combined robots' behavior using model checking approach. The described system, Dedan verifier, is still under development. In the near future, timed and probabilistic verification are planned. △ Less

Submitted 28 December, 2018; originally announced January 2019.

Comments: 8 pages, 10 figures. arXiv admin note: text overlap with arXiv:1705.04263

MSC Class: 68T40 ACM Class: I.2.9

Journal ref: Autobusy-TEST Vol. 226, 2018, No. 12, pp.872-879

Using Machine Learning to Enhance Vehicles Traffic in ATN (PRT) Systems

Authors: Bogdan Czejdo, Wiktor B. Daszczuk, Mikołaj Baszun

Abstract: This paper discusses new techniques to enhance Automated Transit Networks (ATN, previously called Personal Rapid Transit - PRT) based on Artificial Intelligence tools. The main direction is improvement of the cooperation of autonomous modules that use negotiation protocols, following the IoT paradigm. One of the goals is to increase ATN system throughput by tuning up autonomous vehicles cooperatio… ▽ More This paper discusses new techniques to enhance Automated Transit Networks (ATN, previously called Personal Rapid Transit - PRT) based on Artificial Intelligence tools. The main direction is improvement of the cooperation of autonomous modules that use negotiation protocols, following the IoT paradigm. One of the goals is to increase ATN system throughput by tuning up autonomous vehicles cooperation. Machine learning (ML) was used to improve algorithms designed by human programmers. We used "existing controls" corresponding to near-optimal solutions and built refinement models to more accurately relate a system's dynamics to its performance. A mechanism that mostly influences ATN performance is Empty Vehicle Management (EVM). The algorithms designed by human programmers was used: calls to empty vehicles for waiting passengers and balancing based on reallocation of empty vehicles to achieve better regularity of their settlement. In this paper we discuss how we can improve these algorithms (and tune them to current conditions) by using ML to tailor individual behavioral policies. Using ML techniques was possible because our algorithm is based on a set of parameters. A number of weights and thresholds could be tuned up to give better decisions on moving empty vehicles across the track. △ Less

Submitted 16 December, 2017; originally announced December 2017.

Comments: 6 pages, 3 figures

MSC Class: 68T05 ACM Class: I.2.6

Journal ref: Autobusy-TEST vol. 18(2017), No. 12, pp. 1484-1489

Model Checking in The COSMA Environment as a Support for The Design of Pipelined Processing

Authors: Jerzy Mieścicki, Bogdan Czejdo, Wiktor B. Daszczuk

Abstract: 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 for a shared resource. The system components are specified in terms of Concurrent State Machines (CSM) and the verification technique used is the temporal model checking in the COSMA environment. 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 for a shared resource. The system components are specified in terms of Concurrent State Machines (CSM) and the verification technique used is the temporal model checking in the COSMA environment. △ Less

Submitted 12 May, 2017; originally announced May 2017.

Comments: 15 pages, 11 figures, European Congress on Computational Methods in Applied Sciences and Engineering ECCOMAS 2004, Jyväskylä, Finland, 24-28 July 2004

MSC Class: 68U07 ACM Class: D.2.10

Improving Resilience of Autonomous Moving Platforms by Real Time Analysis of Their Cooperation

Authors: Bogdan Czejdo, Sambit Bhattacharya, Mikołaj Baszun, Wiktor B. Daszczuk

Abstract: Environmental changes, failures, collisions or even terrorist attacks can cause serious malfunctions of the delivery systems. We have presented a novel approach improving resilience of Autonomous Moving Platforms AMPs. The approach is based on multi-level state diagrams describing environmental trigger specifications, movement actions and synchronization primitives. The upper level diagrams allowe… ▽ More Environmental changes, failures, collisions or even terrorist attacks can cause serious malfunctions of the delivery systems. We have presented a novel approach improving resilience of Autonomous Moving Platforms AMPs. The approach is based on multi-level state diagrams describing environmental trigger specifications, movement actions and synchronization primitives. The upper level diagrams allowed us to model advanced interactions between autonomous AMPs and detect irregularities such as deadlocks live-locks etc. The techniques were presented to verify and analyze combined AMPs' behaviors using model checking technique. The described system, Dedan verifier, is still under development. In the near future, a graphical form of verified system representation is planned. △ Less

Submitted 11 May, 2017; originally announced May 2017.

Comments: 11 pages, 5 figures

MSC Class: 68U07 ACM Class: D.2.4

Journal ref: Autobusy-TEST, vol. 17, No.3, pp.1294-1301 (2016)

Verification of Concurrent Engineering Software Using CSM Models

Authors: Jerzy Mieścicki, Mikołaj Baszun, Wiktor B. Daszczuk, Bogdan D. Czejdo

Abstract: 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 discusses verification process for such engineering software. We present a method for verification that requires several steps. First, the state diagram models are constructed that describe the design iterations and inte… ▽ More 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 discusses verification process for such engineering software. We present a method for verification that requires several steps. First, the state diagram models are constructed that describe the design iterations and interactions with the designer. Next, the state diagram models are transformed into concurrent state machines (CSM). After that, the CSM models are analyzed in order to verify their correctness. In this phase, the modifications are performed in necessary. In the last phase the code is generated. The tools to support our method can be called new concurrent CASE tools. Using these tools the engineering software can be created that is verified for correctness in respect to concurrent execution. △ Less

Submitted 20 April, 2017; originally announced April 2017.

Comments: 9 pages, 12 figures

MSC Class: 68N30 ACM Class: D.2.2

Journal ref: Proc.2nd World Conf. on Integrated Design and Process Technology, Austin, Texas, USA, December 1-4, 1996, Vol. 2, pp.322-330

Concurrent Software Design Based on Constraints on State Diagrams

Authors: Bogdan D. Czejdo, Wiktor B. Daszczuk, Jerzy Mieścicki

Abstract: 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, the constraints on state diagrams are proposed, allowing for the specification of designer's intentions as to the synchronization of modules. Also, the translation of state diagrams (with enforcement constraints) into C… ▽ More 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, the constraints on state diagrams are proposed, allowing for the specification of designer's intentions as to the synchronization of modules. Also, the translation of state diagrams (with enforcement constraints) into Concurrent State Machines is shown, which provides formal framework for the verification of inter-module synchronization. An example of engineering software design based on the method is presented. △ Less

Submitted 23 March, 2017; originally announced March 2017.

Comments: 17 pages, 12 figures, 3rd Biennial World Conference on Integrated Design & Process Technology, Berlin, July 6-9, 1998

MSC Class: 68N30 ACM Class: D.2.10

PACE: Pattern Accurate Computationally Efficient Bootstrap** for Timely Discovery of Cyber-Security Concepts

Authors: Nikki McNeil, Robert A. Bridges, Michael D. Iannacone, Bogdan Czejdo, Nicolas Perez, John R. Goodall

Abstract: Public disclosure of important security information, such as knowledge of vulnerabilities or exploits, often occurs in blogs, tweets, mailing lists, and other online sources months before proper classification into structured databases. In order to facilitate timely discovery of such knowledge, we propose a novel semi-supervised learning algorithm, PACE, for identifying and classifying relevant en… ▽ More Public disclosure of important security information, such as knowledge of vulnerabilities or exploits, often occurs in blogs, tweets, mailing lists, and other online sources months before proper classification into structured databases. In order to facilitate timely discovery of such knowledge, we propose a novel semi-supervised learning algorithm, PACE, for identifying and classifying relevant entities in text sources. The main contribution of this paper is an enhancement of the traditional bootstrap** method for entity extraction by employing a time-memory trade-off that simultaneously circumvents a costly corpus search while strengthening pattern nomination, which should increase accuracy. An implementation in the cyber-security domain is discussed as well as challenges to Natural Language Processing imposed by the security domain. △ Less

Submitted 11 October, 2013; v1 submitted 21 August, 2013; originally announced August 2013.

Comments: 6 pages, 3 figures, ieeeTran conference. International Conference on Machine Learning and Applications 2013

MSC Class: IEEE