On Applicability of Model Checking Technique in Power Systems and Electric Power Industry.- Method of Regulating the Operating Modes of Main Electrical Systems in Terms of Voltage and Reactive Power.- Creation of High-Speed Methods for Solving Mathematical Models of Inverse Problems of Heat Power Engineering.- Mathematical Model of Optimal Support of Thermal Energy with Coal Products Taking into Account Environmental Constraints.- Modelling the Impact of Energy-saving Technological Changes on the Market Capitalization of Companies.- Mathematical Approaches to Forecasting and Researching the Technical State of Cylindrical Shells of Energy Objects’ Elements Based on Vibration Monitoring Systems.