Dmitrii Drozdov

  • Citations Per Year
Learn More
This paper presents a novel approach to automation of flexible manufacturing systems with mechatronic intelligence and distributed control. The mechatronic intelligence layer is implemented using a combination of wireless sensor/actuator networks with service-oriented architecture, where services are located at the device level, as well as in local and(More)
In this paper a new modelling approach is presented to be used for formal-verification of block-diagram executable specifications of distributed industrial cyber-physical systems following the IEC 61499 standard. The approach allows usage of timers and arithmetic operations in the controller code. SMV model-checker is used as the target tool. The function(More)
In this paper a speculative computation method for IEC 61499 function block (FB) systems is proposed to increase the level of parallelism when executing the FB system and thus to increase system's performance and to reduce response time on input events. Data and control dependencies in FB systems are recognized and defined as a basis for organizing(More)
This paper proposes an approach to k-bounded Petri nets behavioral equivalence checking using the model checking method and mainstream verifier nuSMV. For the comparison of behavior of two nets, an add-in net is introduced which performs a supervisory control of these two nets. The approach uses an implicit word-to-word comparison of labeled Petri net(More)
Cyber-physical agnosticism (CPA) is a property of software in cyber-physical systems (CPS) to withstand various disturbances and keep maintaining the required behaviour of the physical process. With the increased research on the use of internet of things (IoT) in industrial automation (IoT-A), there is a need for robust distributed automation control(More)
The method for the assessment of the rural inhabitants internal dose lived in areas of the Republic of Belarus contaminated by the Chernobyl radionuclides was developed. The model is based on the individual internal doses, calculated by the WBC measurements. The data of WBC measurements of the State Dosimetric Register are used for direct assessment of(More)
A new system of evaluation methods has been developed for the assessment of the accumulated internal irradiation doses in the inhabitants of the populated areas of the Republic of Belarus that were contaminated by the Chernobyl radionuclides. The system is based on the results of WBC measurements. The model is based on the WBC-results of the State(More)
  • 1