Abstract
Problem statement: modern dynamic robotic systems, such as SEMS, contain high-precision information-measuring and control systems (IMCS). The analysis and synthesis of such IMCS usually relies on structural identification techniques and computational optimization techniques. A feature of SEMS is the use of such systems in the contours of “non-rigid” models, whose structure, parameters and state vector are not specified at the design stage, but are in real time when they operate. This greatly complicates the synthesis of SEMS, especially when limiting the speed of microprocessor controls. In this case, an approach called the method of recurrent target inequalities (RTI) and based on the search for suboptimal solutions and reduction of the original problem of synthesis to the search for the target set described by systems of inequalities, including dynamic ones, can be used. The need to select the best trajectories (scenarios of SEMS dynamics) in conditions of incomplete certainty requires taking into account the limitations of the environment of functioning which are introduced in the form of logical-probabilistic and/or logical-linguistic expressions. Therefore, this approach to the synthesis of SEMS to date has not been developed. However, the relevance of research in the direction of the development of the RTI method for the synthesis of SEMS is undeniable. In particular, the development of the RTSN method is closely related to the solution of the problem of reducing logical-probabilistic and logical-linguistic constraints to interval constraints. Purpose of research: solution of the problem of reduction of logical-probabilistic and logical-linguistic constraints to interval constraints and demonstration of decision-making efficiency in conditions of not complete certainty on the example of the algorithm for finding optimal trajectories of motion. Results: a brief overview of approaches to the synthesis of intelligent robots type SEMS. The peculiarities of the use of the RTI method in the presence of restrictions from the environment of functioning in the form of logical-probabilistic and/or logical-linguistic expressions are analyzed. Theorems of data of logical-probabilistic and logical-linguistic expressions to interval are given. The algorithm of decision-making at logical-probabilistic and logical-linguistic restrictions is shown on the example of the algorithm of search of optimum trajectories of movement of the SEMS type robot. Practical significance: the proven theorems for reducing logical-probabilistic and logical-linguistic expressions to interval expressions can be effectively used in robot control planning systems that provide the choice of the best scenarios of movements in conditions of not complete certainty, as evidenced by the example.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Gorodetskiy Andrey, E. (ed.): Smart electromechanical systems.. In: Studies in Systems, Decision and Control, Vol. 49, 277 p, Springer International Publishing, Switzerland (2016). https://doi.org/10.1007/978-3-319-27547-5
Kuchmin, A.Y.: Problems of Identification of Non-stationary dynamic objects. Informatsionno-upravliaiushchie sistemy [Information and Control Systems] (2), 18–25 (2018) (In Russian)
Gorodetsky, A.E., Tarasova, I.L.: Control and neural networks. SPb.: Publishing House of the Polytechnic. University Press, 312 p (2005)
Tobacco, D., Kuo, B.: Optimal control and mathematical programming. M.: Nauka, 280 p (1975) (In Russian)
Kuchmin, A.Y.: Analysis of polynomial constraints by the solution tree method. Informacionno-upravljajushhie sistemy 6(91), 6–9 (2017) (In Russian). https://doi.org/10.15217/issn1684-8853.2017.6.9
Fomin, V.N., Fradkov, A.L., Yakubovich, V.A.: Adaptive management of dynamic objects. Nauka, Moscow. Ch. Ed. fiz-mat literature, 448 p (1981) (In Russian)
Gorodetskiy, A.E., Tarasova, I.L., Kurbanov, V.G.: Logical-mathematical model of decision making in central nervous system SEMS. In: Gorodetskiy, A.E., Kurbanov, V.G. (eds.) Smart Electromechanical Systems: The Central Nervous System, 270 p. Springer International Publishing AG, Berlin (2017). https://doi.org/10.1007/978-3-319-53327-8
Gorodetsky, A.E., Tarasova, I.L.: Fuzzy mathematical modeling of poorly formalized processes and systems [Nechetkoe matematicheskoe modelirovanie ploho formalizuemyh processov i sistem]. SPb. Publishing house of Polytechnical Institute, 336 p (2010) (In Russian)
Gorodetskiy, A.E., Kurbanov, V.G., Tarasova, I.L.: Methods of synthesis of optimal intelligent control systems SEMS. In: Gorodetskiy, A.E. (ed.) Smart Electromechanical Systems, 277 p. Springer International Publishing, Berlin (2016). https://doi.org/10.1007/978-3-319-27547-5
Gorodetsky, A.E., Tarasova, I.L., Kurbanov, V.G.: Logical and probabilistic methods of formation of a dynamic space configuration of the robot group. Materialy 10-j Vserossijskoj conference on governance] Divnomorskoye, Gelendzhik 2, 262–265 (2017)
Venttsel, E.S.: Theory of probability: Proc. for high schools. Higher School, Moscow, 575 p (2001) (In Russian)
Acknowledgements
This work was financially supported by Russian Foundation for Basic Research, Grant 16-29-04424 and Grant 18-01-00076.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Gorodetskiy, A.E., Tarasova, I.L., Kurbanov, V.G. (2019). Reduction of Logical-Probabilistic and Logical-Linguistic Constraints to Interval Constraints in the Synthesis of Optimal SEMS. In: Gorodetskiy, A., Tarasova, I. (eds) Smart Electromechanical Systems. Studies in Systems, Decision and Control, vol 174. Springer, Cham. https://doi.org/10.1007/978-3-319-99759-9_7
Download citation
DOI: https://doi.org/10.1007/978-3-319-99759-9_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-99758-2
Online ISBN: 978-3-319-99759-9
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)