Sökning: "Valeriy Vyatkin"

Visar resultat 1 - 5 av 8 avhandlingar innehållade orden Valeriy Vyatkin.

1. 1. Simulation-based development of distributed control systems in energy-efficient data centres

   Författare :Yulia Berezovskaya; Valeriy Vyatkin; Chen-Wei Yang; Lena Wosinska; Luleå tekniska universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Dependable Communication and Computation Systems; Kommunikations- och beräkningssystem;

   Sammanfattning : The main focus of this thesis is on the area of integrated automated control systems inmodern data centres. The data centres are mission-critical facilities since they provide services for transporting, storing and processing vast amounts of data, which can be considered the ”new oil” of the Industry 4.0 era. LÄS MER

3. 2. Development and Verification of Dependable Software of Cyber-Physical Systems using Time-aware Computations

   Författare :Dmitrii Drozdov; Valeriy Vyatkin; Sandeep Patil; Andrei Lobov; Luleå tekniska universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Abstract state machines; CPS; formal semantics; formal verification; IEC 61499; time-aware computations; Dependable Communication and Computation Systems; Kommunikations- och beräkningssystem;

   Sammanfattning : Wired and wireless networking is becoming a necessary part of industrial control systems’ design and is one of the reasons that required a new cyber-physical approach to modelling. The phenomenon observed in cyber-physical systems (CPS) is a variety of cross-dependencies and influences between physical processes, computational devices and communications, which needs to be taken into account at the design and verification stage. LÄS MER

4. 3. Model-Integrated Engineering of Smart Energy Distribution Systems

   Författare :Nikolai Galkin; Valeriy Vyatkin; Nicholas Etherden; Luleå tekniska universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Digital Twin; Data Centre; Automation; IEC 61850; IEC 61499; MATLAB; Dependable Communication and Computation Systems; Kommunikations- och beräkningssystem;

   Sammanfattning : Model-Based Systems Engineering (MBSE) is a formal method that is used to support analysis, design, independent verification, and validation inherent in the development of software and hardware systems. MBSE applications are present in many areas of our daily lives, including manufacturing, robotics, healthcare, automation, etc. LÄS MER

5. 4. Model-Integrated Engineering of Smart Energy Distribution Systems

   Författare :Nikolai Galkin; Valeriy Vyatkin; Chen-Wei Yang; Tatiana Liakh; Joao Martins; Luleå tekniska universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Dependable Communication and Computation Systems; Kommunikations- och beräkningssystem;

   Sammanfattning : Model-Based Systems Engineering (MBSE) is a method that is used to support analysis, design, independent verification, and validation inherent in the development of software and hardware systems. MBSE applications are present in many areas of our daily lives, including manufacturing, robotics, healthcare, automation, etc. LÄS MER

7. 5. Distributed Topology Inference for Power System Applications : Algorithms and architectures utilising industry standards

   Författare :Nicholas Honeth; Lars Nordström; Valeriy Vyatkin; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; substation automation systems; IEC 61850; electrical topology; electrical engineering; Electrical Engineering; Elektro- och systemteknik;

   Sammanfattning : The electrical transmission and distribution system is undergoing unprecedented changes to meet the need for a carbon emission-free global energy system. An expected increase in the portion of end-user energy use in the form of electricity and need to integrate renewable energy sources into the power grid on a large scale require major changes in how power grids are operated and controlled. LÄS MER