The paper provides a general view on the original logical inference based approach to dealing with discrete event systems as subject to supervisory controltheory. The approach suggests a representation of discrete ev...
The paper provides a general view on the original logical inference based approach to dealing with discrete event systems as subject to supervisory controltheory. The approach suggests a representation of discrete event system as a positively constructed formula to imply automated logical inference in the calculus of positively constructed formulas. During the inference, languages of the discrete event system are generated and analyzed. The minimally restricting supervisor for uncontrollable specification may be also designed. A nonblocking supervisor design is illustrated with a simplified model of autonomous underwater vehicle operational modes switching.
The paper is concerned with the workflow component of the knowledge-based systems development platform. The proposed workflow component supports the creation process of the platform composite operations. These operati...
详细信息
An essential requirement for achieving a high level of performance, autonomy, and reliability of a multi-robot system performing joint long-term operations in an unstructured environment is an advanced controlsystem....
An essential requirement for achieving a high level of performance, autonomy, and reliability of a multi-robot system performing joint long-term operations in an unstructured environment is an advanced controlsystem. In general, the robot's controlsystem is designed to be hierarchical and consists of several subsystems. To unify the interaction of individual components and reduce the load on computing and communication devices, we use the event-based methodology at different levels of the controlsystem. In the paper, we demonstrate how this methodology can be applied to solve four challenging problems in robotics: cooperative formation control, path planning, missions scheduling, and action planning.
The modern astrophysics is moving towards the enlarging of experiments and combining the channels for detecting the highest energy processes in the Universe. To obtain reliable data, the experiments should operate wit...
详细信息
Within the three-flavor PNJL and EPNJL chiral quark models we have obtained pseudoscalar meson properties in quark matter at finite temperature T and baryochemical potential µB. We compare the meson pole (Breit-W...
详细信息
The open science framework defined in the German-Russian Astroparticle Data Life Cycle Initiative (GRADLCI) has triggered educational and outreach activities at the Irkutsk State University (ISU), which is actively pa...
详细信息
German-Russian Astroparticle Data Life Cycle Initiative is an international project whose aim is to develop a distributed data storage system that aggregates data from the storage systems of different astroparticle ex...
详细信息
Today, the operating TAIGA (Tunka Advanced Instrument for cosmic rays and Gamma Astronomy) experiment continuously produces and accumulates a large volume of raw astroparticle data. To be available for the scientific ...
详细信息
暂无评论