?
Timed Resource Driven Automata Nets for Distributed Real-Time Systems Modelling
P. 13–25.
The paper presents a formalism and a tool for modelling and analysis of distributed real-time systems of mobile agents. For that we use a time extension of our Resource Driven Automata Nets (TRDA-nets) formalism. A TRDA-net is a two-level system. The upper level represents distributed environment locations with a net of active resources. On the lower level agents are modeled by extended finite state machines, asynchronously consuming/producing shared resources through input/output system ports (arcs of the system net). We demonstrate modelling facilities of the formalism and show that specific layers of TRDA-nets can be translated into Timed Automata, as well as into Time Petri nets, thus TRDA-nets integrate merits of both formalisms.
Publication based on the results of:
In book
Vol. 7979: Lecture Notes in Computer Science. , Berlin, Heidelberg: Springer, 2013.
Zanko G., Nazarova V., MULTIDISCIPLINARY SCIENCE JOURNAL 2026 Vol. 8 No. 10 P. e2026780
The corporate cash management problem (CMP) constitutes a critical operational challenge focused on determining the optimal sequence of transactions between liquid cash holdings and alternative investment assets. The primary objective is to maintain sufficient liquidity to meet obligations while simultaneously minimizing the aggregate costs associated with idle capital and transaction execution. Despite profound theoretical advancements ...
Added: May 10, 2026
Беляев Н. Д., Лебедев В. В., Нуднер И. С. et al., Гидротехническое строительство 2025 № 11 С. 50–58
This paper presents a description of the experimental methodology and the results of experiments on the physical modeling of the interaction of long tsunami-type waves with an anchored structure. The forces in the mooring system connections under wave action are assessed. The obtained results are analyzed. Conclusions are drawn regarding the nature of the force ...
Added: March 25, 2026
Gabdrahmanov R., Tsoy T., Martinez-Garcia E. et al., , in: Proceedings of the 21st International Conference on Informatics in Control, Automation and Robotics - (Volume 1) ICINCO 2024.: SciTePress, 2024. P. 511–518.
Computer simulations are growing in popularity in robotics research due to their near-zero cost of error and lower labor intensity. One of necessary components of a simulation, in addition to a robot model, is a model of a world in which the robot operates. While it is always possible to construct a world model manually, ...
Added: March 17, 2026
Khabibullin A., A. S. Pozanenko, Lobachevskii Journal of Mathematics 2025 Vol. 46 No. 4 P. 1459–1470
It is known that the light curve of a prompt emission of cosmic gamma-ray bursts consists of separate pulses. Moreover, in a real light curve these pulses often overlap so that it becomes impossible to study separately the pulses in each light curve. However, spectral analysis, in particular, the power spectral density (PSD) of light ...
Added: February 20, 2026
Gordin V. A., Smirnov M. A., Russian Meteorology and Hydrology 2025 No. 50 P. 1016–1028
Statistical evaluation of three-dimensional auto- and cross-correlation functions for increments from the first guess was performed to interpolate the complex forecast (postprocessing) of geopotential height and temperature to regular grid points. The forecast fields from the ICON model were used as the first guess. Positive definiteness was provided in the evaluation. The verification of the ...
Added: February 17, 2026
Ilyanova D. S., Nazarov I., Yelizarov (Elizarov) A. A. et al., , in: 2025 Systems of Signal Synchronization, Generating and Processing in Telecommunications (SYNCHROINFO).: IEEE, 2025. P. 1–6.
Added: December 6, 2025
Magid E., Abbyasov B., Lavrenov R. et al., Lobachevskii Journal of Mathematics 2025 Vol. 46 No. 5 P. 2382–2395
Urban Search and Rescue (USAR) robotics deals with emergent situations that occur in urban environments due to natural and human-made disasters. To support early stages of algorithms’ testing and evaluation, we developed an easy to use USAR simulation tool (LIRS-USim) that models typical USAR missions within the Gazebo simulator. The proposed robot operating system based ...
Added: November 25, 2025
Туханова В. Ю., Kankulov A., Костюмология 2025 Т. 9 № 4
The article presents the study focused on the development of a conceptual scientific and methodological model for designing products in the apparel and footwear industries within a digital environment. It examines the specific features of the design stages of light industry products, considering the integration of innovative technologies into higher education programs for training specialists ...
Added: October 3, 2025
Stepanyants V., , in: 2025 International Russian Automation Conference (RusAutoCon).: IEEE, 2025. P. 982–986.
Transportation systems are complicated and deal with significant problems. With the pool of possible solutions being wide, extensive transportation planning has to be involved. However, planning based on expert opinions is significantly limited in terms of rapidity, accuracy, and confidence. Computer-aided design and automated decision-making systems are the next step to ensure transportation system development ...
Added: October 3, 2025
Е. Zemlyanoy, R. Nesterov, Proceedings of the Institute for System Programming of the RAS 2025 Vol. 37 No. 4-2 P. 47–68
The structure of a process model discovered from an event log of a multi-agent system often does not reflect the system architecture with respect to agent interactions. The existing conformance checking quality dimensions mainly evaluate the extent to which the behavior a discovered model corresponds to event sequences recorded in an event log. These behavioral ...
Added: September 21, 2025
Lezhnev E., Romanov A., Telpukhov D. et al., Micromachines 2025 Vol. 16 No. 10 Article 1096
This article explores the concept of low-level modeling of networks-on-chip (NoCs). A method for reducing the low-level NoC model by replacing the real IP blocks with a data packet generator module is proposed. This makes it possible to significantly increase the maximum number of nodes in the simulated NoC, as well as speed up the ...
Added: September 17, 2025
Zanko Georgii, MULTIDISCIPLINARY SCIENCE JOURNAL 2025 Vol. 8 No. 1 P. e2026126
Effective cash management remains a persistent challenge in dynamic economic landscapes, particularly under VUCA conditions. While traditional cash management models, including stochastic programming, have offered valuable insights, their limitations in capturing rapid changes and unknown uncertainties are becoming increasingly apparent. This paper addresses this gap by conducting a comparative analysis between a Stochastic Goal Programming ...
Added: September 12, 2025
Enatskaya N., Труды Карельского научного центра Российской академии наук 2025 № 4 С. 97–106
The article studies the schemes of particle allocation to cells in indistinguishable (scheme A) and distinguishable (scheme B) groups with the outcomes of achieveming a given minimum cell filling level. The schemes are analyzed by the enumerative method based on the construction of an iterative random process of direct non-repetitive numbered enumeration of their outcomes ...
Added: September 4, 2025
Enatskaya N., Труды Карельского научного центра Российской академии наук 2025 № 4 С. 89–96
We consider a scheme C of allocating r = r(k) indistinguishable particles to n distinguishable cells until the occurrence of the event Ak, when for the first time there are k (k r) non-empty cells. The pre-asymptotic analysis of the scheme is carried out by an original enumerative method (EM) along the following lines: nonrepetitive ...
Added: September 4, 2025
Levashov N. N., V. Yu. Popov, Malova H. V. et al., Cosmic Research 2025 Vol. 63 No. 2 P. 164–169
Using a numerical model, the influence of intermittency on the acceleration of particles in the equatorial plane of the Earth’s magnetotail was studied. For comparison with observational data, we selected the event of July 17, 2001, when plasma flows with velocities of up to 400 km/s and an amplitude of the turbulent magnetic field of ...
Added: September 4, 2025
Bulatov Y., Kryukov A., Suslov K., Renewable Energy 2026 Vol. 256. Part A P. 1–9
The integration of distributed generation into electric power systems requires advanced methods for control under normal, emergency, and post-emergency operating conditions. Distributed generation can rely on asynchronized synchronous generators (ASGs), which have advantages over synchronous machines. Their application however necessitates sophisticated automatic control systems. This study aims to identify the effects of a self-tuning predictive ...
Added: July 21, 2025
Zaramenskikh E., Bruskin S., Gorchakov Y. V. et al., М.: Высшая школа бизнеса НИУ ВШЭ, 2022.
The course project “Organization Modeling” is a mandatory component of project and research work, which provides training of bachelor students of the HSE Graduate School of Business in the education program 38.03.05 “Business Informatics”. This cours project is conducted in accordance with the approved working curricula of bachelor’s degree programs in order to integrate previously ...
Added: May 11, 2025
Oleg Sukhoroslov, Makogon A., , in: Supercomputing. 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23–24, 2024, Revised Selected Papers, Part II* 2.: Springer, 2025. P. 90–106.
Added: February 22, 2025
Stanislav Trofimov, Leonid Voskov, Mikhail Komarov, Applied Sciences (Switzerland) 2025 Vol. 15 No. 3 Article 1348
The development of intelligent transportation systems (ITSs) is penetrating many economies around the globe. This paper presents three key innovations in the field of intelligent transportation systems, as follows: (1) a novel tokenization approach where each vehicle is represented as a macro-token subdivided into 500,000 micro-tokens for precise condition monitoring, (2) a comprehensive mathematical model ...
Added: February 1, 2025
Baydakov G., Dosaev A., Daniil S. et al., Izvestia, Atmospheric and Oceanic Physic 2020 Vol. 56 No. 2 P. 191–199
The parameterization of the nonlinear energy transfer called Discrete Interaction Approximation (DIA) is optimized in the WAVEWATCH III wave model by the criterion of minimizing deviations of model predictions from the data of field measurements. Short fetches are considered for which the wind-input source function had been previously adjusted. The results of the numerical simulation ...
Added: December 10, 2024
Poplavsky E., Kuznetsova A., Troitskaya Y., Journal of Marine Science and Engineering 2023 Vol. 11 No. 6 Article 1239
This paper presents an analysis of a new method for retrieving the parameters of the atmospheric boundary layer in hurricanes. This method is based on the approximation of the upper parabolic part of the wind speed profile and the retrieval of the lower logarithmic part. Based on the logarithmic part, the friction velocity, near-surface wind ...
Added: December 10, 2024