<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD Journal Publishing DTD v2.3 20070202//EN" "journalpublishing.dtd">
<article article-type="research-article" dtd-version="2.3" xml:lang="EN" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">
<front>
<journal-meta>
<journal-id journal-id-type="publisher-id">Front. Energy Res.</journal-id>
<journal-title>Frontiers in Energy Research</journal-title>
<abbrev-journal-title abbrev-type="pubmed">Front. Energy Res.</abbrev-journal-title>
<issn pub-type="epub">2296-598X</issn>
<publisher>
<publisher-name>Frontiers Media S.A.</publisher-name>
</publisher>
</journal-meta>
<article-meta>
<article-id pub-id-type="publisher-id">748828</article-id>
<article-id pub-id-type="doi">10.3389/fenrg.2022.748828</article-id>
<article-categories>
<subj-group subj-group-type="heading">
<subject>Energy Research</subject>
<subj-group>
<subject>Original Research</subject>
</subj-group>
</subj-group>
</article-categories>
<title-group>
<article-title>The integrated modeling of microgrid cyber physical system based on hybrid automaton</article-title>
<alt-title alt-title-type="left-running-head">Li et al.</alt-title>
<alt-title alt-title-type="right-running-head">
<ext-link ext-link-type="uri" xlink:href="https://doi.org/10.3389/fenrg.2022.748828">10.3389/fenrg.2022.748828</ext-link>
</alt-title>
</title-group>
<contrib-group>
<contrib contrib-type="author">
<name>
<surname>Li</surname>
<given-names>Peng</given-names>
</name>
<xref ref-type="aff" rid="aff1">
<sup>1</sup>
</xref>
</contrib>
<contrib contrib-type="author">
<name>
<surname>Zhang</surname>
<given-names>Fan</given-names>
</name>
<xref ref-type="aff" rid="aff1">
<sup>1</sup>
</xref>
</contrib>
<contrib contrib-type="author" corresp="yes">
<name>
<surname>Yang</surname>
<given-names>Yi</given-names>
</name>
<xref ref-type="aff" rid="aff2">
<sup>2</sup>
</xref>
<xref ref-type="corresp" rid="c001">&#x2a;</xref>
<uri xlink:href="https://loop.frontiersin.org/people/1392361/overview"/>
</contrib>
<contrib contrib-type="author">
<name>
<surname>Ma</surname>
<given-names>Xiyuan</given-names>
</name>
<xref ref-type="aff" rid="aff1">
<sup>1</sup>
</xref>
</contrib>
<contrib contrib-type="author">
<name>
<surname>Yao</surname>
<given-names>Senjing</given-names>
</name>
<xref ref-type="aff" rid="aff1">
<sup>1</sup>
</xref>
</contrib>
<contrib contrib-type="author">
<name>
<surname>Yang</surname>
<given-names>Ping</given-names>
</name>
<xref ref-type="aff" rid="aff2">
<sup>2</sup>
</xref>
</contrib>
<contrib contrib-type="author">
<name>
<surname>Zhao</surname>
<given-names>Zhuoli</given-names>
</name>
<xref ref-type="aff" rid="aff3">
<sup>3</sup>
</xref>
<uri xlink:href="https://loop.frontiersin.org/people/1410828/overview"/>
</contrib>
<contrib contrib-type="author">
<name>
<surname>Lai</surname>
<given-names>Chun Sing</given-names>
</name>
<xref ref-type="aff" rid="aff3">
<sup>3</sup>
</xref>
<xref ref-type="aff" rid="aff4">
<sup>4</sup>
</xref>
<uri xlink:href="https://loop.frontiersin.org/people/1056529/overview"/>
</contrib>
<contrib contrib-type="author">
<name>
<surname>Lai</surname>
<given-names>Loi Lei</given-names>
</name>
<xref ref-type="aff" rid="aff3">
<sup>3</sup>
</xref>
<uri xlink:href="https://loop.frontiersin.org/people/1056546/overview"/>
</contrib>
</contrib-group>
<aff id="aff1">
<sup>1</sup>
<institution>Digital Grid Research Institute of China Southern Power Grid</institution>, <addr-line>Guangzhou</addr-line>, <country>China</country>
</aff>
<aff id="aff2">
<sup>2</sup>
<institution>Guangdong Key Laboratory of Clean Energy Technology</institution>, <institution>School of Electric Power</institution>, <institution>South China University of Technology</institution>, <addr-line>Guangzhou</addr-line>, <country>China</country>
</aff>
<aff id="aff3">
<sup>3</sup>
<institution>Department of Electrical Engineering</institution>, <institution>School of Automation</institution>, <institution>Guangdong University of Technology</institution>, <addr-line>Guangzhou</addr-line>, <country>China</country>
</aff>
<aff id="aff4">
<sup>4</sup>
<institution>Brunel Interdisciplinary Power Systems Research Centre, Department of Electronic and Electrical Engineering, Brunel University London</institution>, <addr-line>London</addr-line>, <country>United Kingdom</country>
</aff>
<author-notes>
<fn fn-type="edited-by">
<p>
<bold>Edited by:</bold> <ext-link ext-link-type="uri" xlink:href="https://loop.frontiersin.org/people/1080923/overview">Muhammad Wakil Shahzad</ext-link>, Northumbria University, United Kingdom</p>
</fn>
<fn fn-type="edited-by">
<p>
<bold>Reviewed by:</bold> <ext-link ext-link-type="uri" xlink:href="https://loop.frontiersin.org/people/1384805/overview">Muhammad Ahmad Jamil</ext-link>, Northumbria University, United Kingdom</p>
<p>
<ext-link ext-link-type="uri" xlink:href="https://loop.frontiersin.org/people/787342/overview">Fubin Yang</ext-link>, Beijing University of Technology, China</p>
</fn>
<corresp id="c001">&#x2a;Correspondence: Yi Yang, <email>epyangyi1992@mail.scut.edu.cn</email>
</corresp>
<fn fn-type="other">
<p>This article was submitted to Process and Energy Systems Engineering, a section of the journal Frontiers in Energy Research</p>
</fn>
</author-notes>
<pub-date pub-type="epub">
<day>05</day>
<month>08</month>
<year>2022</year>
</pub-date>
<pub-date pub-type="collection">
<year>2022</year>
</pub-date>
<volume>10</volume>
<elocation-id>748828</elocation-id>
<history>
<date date-type="received">
<day>28</day>
<month>07</month>
<year>2021</year>
</date>
<date date-type="accepted">
<day>08</day>
<month>07</month>
<year>2022</year>
</date>
</history>
<permissions>
<copyright-statement>Copyright &#xa9; 2022 Li, Zhang, Yang, Ma, Yao, Yang, Zhao, Lai and Lai.</copyright-statement>
<copyright-year>2022</copyright-year>
<copyright-holder>Li, Zhang, Yang, Ma, Yao, Yang, Zhao, Lai and Lai</copyright-holder>
<license xlink:href="http://creativecommons.org/licenses/by/4.0/">
<p>This is an open-access article distributed under the terms of the Creative Commons Attribution License (CC BY). The use, distribution or reproduction in other forums is permitted, provided the original author(s) and the copyright owner(s) are credited and that the original publication in this journal is cited, in accordance with accepted academic practice. No use, distribution or reproduction is permitted which does not comply with these terms.</p>
</license>
</permissions>
<abstract>
<p>To fully reveal the interplay of the cyber system and physical system in the microgrid, this paper proposes a generic hierarchical modeling framework for cyber-physical integration modeling of microgrid, including two layers: physical device layer and controller layer. Each layer includes two parts: the continuous part (characterizing the physical system in the microgrid) and the discrete part (characterizing the cyber system in the microgrid). In this paper, firstly, detailed mathematical expressions describing the dynamic characteristics of each layer (including continuous characteristics and discrete characteristics) and describing the interplay of the continuous part and discrete part in each layer are given, which contributes to a better understanding of the interplay of the information flow and energy flow in the microgrid. Secondly, the cyber-physical integration modeling of each unit in the proposed framework is established using hybrid automaton, which can clearly present the operation state of each unit of the microgrid and its state transfer process, which is beneficial to design the optimal operation state trajectory of the system. The proposed modeling framework is generic and can be extended to any dynamic system with cyber-physical integration. Finally, a typical microgrid system is taken as an example to verify the feasibility of the proposed modeling approach.</p>
</abstract>
<kwd-group>
<kwd>microgrid</kwd>
<kwd>hybrid automaton</kwd>
<kwd>cyber-physical system</kwd>
<kwd>modeling framework</kwd>
<kwd>physical device layer</kwd>
</kwd-group>
</article-meta>
</front>
<body>
<sec id="s1">
<title>1 Introduction</title>
<p>Cyber physical system (CPS) is a multidimensional heterogeneous complex system that integrates computing, network and physical environment (<xref ref-type="bibr" rid="B18">Zonouz et al., 2014</xref>; <xref ref-type="bibr" rid="B2">Gao et al., 2021</xref>). Compared with the traditional single physical system, CPS improves the operating efficiency of the system by integrating network, computing and physical resources (<xref ref-type="bibr" rid="B9">Poovendran, 2010</xref>). In recent years, the coupling of cyber space and energy system has become increasingly close with the rapid development of communication technology, sensor technology, computer technology and automatic control theory. The microgrid proposed to solve the problem of renewable energy grid-connection has increasingly possessed the key features of CPS (<xref ref-type="bibr" rid="B1">Cheng and Chow, 2020</xref>) and has developed into a typical microgrid CPS (MCPS). The cyber-physical coupling characteristic of MCPS has the function of energy management but it also brings the shortage that faults on any side will affect the safe and stable operation of the entire MCPS. Therefore, it is important to promote the development of MCPS that studies the coupling relationship from the perspective of CPS. The model is the basis for studying its coupling relationship (<xref ref-type="bibr" rid="B3">Ilic et al., 2010</xref>), so this paper mainly studies from the perspective of MCPS model.</p>
<p>There is a body of research that has focused extensively on the cyber-physical integration modeling of the power grid CPS. For example, Ref (<xref ref-type="bibr" rid="B12">Wei et al., 2014</xref>). established a power grid CPS (PGCPS) model that conforms to the characteristics of the actual PGCPS structure based on the analysis of the component configuration and coupling rules of the cyber network. Refs (<xref ref-type="bibr" rid="B13">Xin et al., 2015</xref>; <xref ref-type="bibr" rid="B14">Xin et al., 2017</xref>). proposes a two-layer multi-agent PGCPS framework that divides CPS clusters through cluster theory to achieve distributed control of PGCPS using less information. Refs (<xref ref-type="bibr" rid="B17">Yu et al., 2016</xref>; <xref ref-type="bibr" rid="B5">Li et al., 2020</xref>). built a PGCPS model based on the node-branch correlation matrix, which described the coupling of information and energy flows more comprehensively in the PGCPS, but it was difficult to quantitatively describe and analyze the stochastic events and complex response processes in the cyber system. Refs (<xref ref-type="bibr" rid="B16">Xue and Yu, 2017</xref>; <xref ref-type="bibr" rid="B15">Xu et al., 2019</xref>). used the matrix formed by multi-element tuple to quantitatively describe the association relationship of information processing layer, communication layer, secondary equipment layer, and physical space, which can effectively describe the coupling relationship within the PGCPS. Ref (<xref ref-type="bibr" rid="B11">Wang et al., 2017</xref>). established an integrated PGCPS model considering the correlation and coupling characteristics of the power network, communication network, and cyber network, which reveals the multilayer coupling association mechanism of PGCPS more clearly.</p>
<p>In summary, the above studies have proposed modeling methods for PGCPS from different perspectives, which can reveal the interaction between information flow and energy flow to a certain extent, but the objects of their studies are mainly PGCPS, and there are few studies involving the modeling of MCPS in the literature. Meanwhile, there are still some limitations that need to be solved in the above models:<list list-type="simple">
<list-item>
<p>a) The above modeling approaches are mainly performed from a task-specific perspective, not a generic modeling approach for the system, so their application fields are limited.</p>
</list-item>
<list-item>
<p>b) The existing modeling methods mostly focus on the static relationships in the system, lacking the modeling of dynamic process and evolution. Meanwhile, the above models cannot clearly present the operating status of each unit of the microgrid and its state transfer process.</p>
</list-item>
</list>
</p>
<p>The research in this paper attempts to address above issues. Therefore, in this paper, taking microgrid as the research object, a generic hierarchical modeling framework for integration modeling of MCPS, including two layers: physical device layer and controller layer, is proposed. To the best of the authors&#x2019; knowledge, the original contributions of this paper are summarized as follows:<list list-type="simple">
<list-item>
<p>1) Detailed mathematical expressions describing the dynamic characteristics of each layer (including continuous dynamic characteristics and discrete characteristics) and describing the interactions between the continuous part and discrete part within each layer are given, which contributes to a better understanding of the interplay of the information flow and energy flow in the MCPS;</p>
</list-item>
<list-item>
<p>2) In the established modeling framework, the cyber-physical integration modeling of each unit is established by using hybrid automaton (HA), which can clearly present the operating state, state transfer process, and transfer conditions of each unit in the microgrid. This is beneficial to design the optimal operation state trajectory of the microgrid and explore the optimal control strategy;</p>
</list-item>
<list-item>
<p>3) The proposed modeling framework divides the microgrid system modeling into different layers, which makes modeling more intuitive. Moreover, the proposed modeling framework is generic and can be extended to any dynamic system with cyber-physical integration.</p>
</list-item>
</list>
</p>
</sec>
<sec id="s2">
<title>2 Microgrid CPS architecture</title>
<sec id="s2-1">
<title>2.1 The architecture of microgrid CPS</title>
<p>
<xref ref-type="fig" rid="F1">Figure 1</xref> shows a typical MCPS architecture, which consists of two parts: the physical layer and the cyber layer. The physical layer is composed of energy production units (photovoltaic, wind power, energy storage, etc.), energy conversion units, various types of loads and other physical equipment, and the power network connecting these physical devices. The cyber layer is composed of cyber equipment such as sensing equipment, distributed computing equipment, control decision equipment and a communication network connecting these cyber devices.</p>
<fig id="F1" position="float">
<label>FIGURE 1</label>
<caption>
<p>The CPS-based architecture of microgrid.</p>
</caption>
<graphic xlink:href="fenrg-10-748828-g001.tif"/>
</fig>
<p>In MCPS, the cyber layer and the physical layer have the function of the energy management of the microgrid through the tight coupling of information flow and energy flow. Cyber-physical coupling is manifested in that the cyber layer perceives the operating status of the equipment in the physical layer through sensors, converts the energy flow into an information flow, transmits it to the cyber layer through the communication network and the information flow is processed by the cyber processing unit as the input of the decision-making control unit. The decision-making control unit converts the input information into control instructions and sends them to the physical equipment in the physical layer to control the operation of the physical equipment. It can be seen that the information input of the cyber layer to make decisions comes from the operating status of the equipment in the physical layer. The operating status of the physical layer equipment depends on the control commands issued by the cyber layer, indicating that the cyber layer and the physical layer in the MCPS are tightly coupled.</p>
</sec>
<sec id="s2-2">
<title>2.2 The description of the hybrid system</title>
<p>The hybrid system (HS) can be formally described by the following multi-element tuple (<xref ref-type="bibr" rid="B8">Petreczky and Schuppen, 2297</xref>).<disp-formula id="e1">
<mml:math id="m1">
<mml:mrow>
<mml:mi>H</mml:mi>
<mml:mo>&#x3d;</mml:mo>
<mml:mrow>
<mml:mo>{</mml:mo>
<mml:mrow>
<mml:mi>M</mml:mi>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:mi mathvariant="normal">&#x3a3;</mml:mi>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:mi>P</mml:mi>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:mi>&#x3b4;</mml:mi>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:mi>R</mml:mi>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:mi>X</mml:mi>
</mml:mrow>
<mml:mo>}</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:math>
<label>(1)</label>
</disp-formula>Where: <italic>M</italic> denotes the set of discrete states of the system (also called the mode of operation of the system), and for any one discrete state, there are <inline-formula id="inf1">
<mml:math id="m2">
<mml:mrow>
<mml:mi>m</mml:mi>
<mml:mo>&#x3d;</mml:mo>
<mml:mi>m</mml:mi>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>&#x2208;</mml:mo>
<mml:mi>M</mml:mi>
</mml:mrow>
</mml:math>
</inline-formula>;</p>
<p>
<inline-formula id="inf2">
<mml:math id="m3">
<mml:mrow>
<mml:mi>&#x3a3;</mml:mi>
<mml:mo>&#x3d;</mml:mo>
<mml:mrow>
<mml:mo>{</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mi>e</mml:mi>
<mml:mn>1</mml:mn>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:msub>
<mml:mi>e</mml:mi>
<mml:mn>2</mml:mn>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:mo>&#x22ef;</mml:mo>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:msub>
<mml:mi>e</mml:mi>
<mml:mi>N</mml:mi>
</mml:msub>
</mml:mrow>
<mml:mo>}</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:math>
</inline-formula> denotes the set of discrete events of the system, and for any one discrete event, it can be expressed as <inline-formula id="inf3">
<mml:math id="m4">
<mml:mrow>
<mml:mi>e</mml:mi>
<mml:mo>&#x3d;</mml:mo>
<mml:mi>e</mml:mi>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>&#x2208;</mml:mo>
<mml:mi>&#x3a3;</mml:mi>
</mml:mrow>
</mml:math>
</inline-formula>;</p>
<p>
<italic>P</italic> denotes the parameter variable of the system;</p>
<p>
<inline-formula id="inf4">
<mml:math id="m5">
<mml:mi>&#x3b4;</mml:mi>
</mml:math>
</inline-formula> denotes the system discrete state transition function;</p>
<p>
<italic>R</italic> denotes the reset function, which determines the initial value of the continuous variable after the discrete state transition of the system occurs;</p>
<p>
<inline-formula id="inf5">
<mml:math id="m6">
<mml:mrow>
<mml:mi>X</mml:mi>
<mml:mo>&#x3d;</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mrow>
<mml:mo>{</mml:mo>
<mml:mrow>
<mml:msup>
<mml:mi>A</mml:mi>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>m</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:msup>
</mml:mrow>
<mml:mo>}</mml:mo>
</mml:mrow>
</mml:mrow>
<mml:mrow>
<mml:mi>m</mml:mi>
<mml:mo>&#x2208;</mml:mo>
<mml:mi>M</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mrow>
</mml:math>
</inline-formula> is the set of state spaces of the CVDS, Among them, <inline-formula id="inf6">
<mml:math id="m7">
<mml:mrow>
<mml:msup>
<mml:mi>A</mml:mi>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>m</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:msup>
<mml:mo>&#x3d;</mml:mo>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:msup>
<mml:mi>X</mml:mi>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>m</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:msup>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:msup>
<mml:mi>G</mml:mi>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>m</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:msup>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:msup>
<mml:mi>f</mml:mi>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>m</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:msup>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:msup>
<mml:mi>&#x3bb;</mml:mi>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>m</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:msup>
</mml:mrow>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:math>
</inline-formula>, the elements of <inline-formula id="inf7">
<mml:math id="m8">
<mml:mrow>
<mml:msup>
<mml:mi>A</mml:mi>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>m</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:msup>
</mml:mrow>
</mml:math>
</inline-formula> is defined as follows:</p>
<p>
<inline-formula id="inf8">
<mml:math id="m9">
<mml:mrow>
<mml:msup>
<mml:mi>X</mml:mi>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>m</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:msup>
</mml:mrow>
</mml:math>
</inline-formula> denotes the continous state space of the system in mode <inline-formula id="inf9">
<mml:math id="m10">
<mml:mrow>
<mml:mi>m</mml:mi>
<mml:mo>&#x2208;</mml:mo>
<mml:mi>M</mml:mi>
</mml:mrow>
</mml:math>
</inline-formula>, and <inline-formula id="inf10">
<mml:math id="m11">
<mml:mrow>
<mml:mi>x</mml:mi>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>&#x2208;</mml:mo>
<mml:msup>
<mml:mi>X</mml:mi>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>m</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:msup>
</mml:mrow>
</mml:math>
</inline-formula> denotes the state variables of the CVDS;</p>
<p>
<inline-formula id="inf11">
<mml:math id="m12">
<mml:mrow>
<mml:msup>
<mml:mi>G</mml:mi>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>m</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:msup>
<mml:mo>:</mml:mo>
<mml:msup>
<mml:mi>X</mml:mi>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>m</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:msup>
<mml:mo>&#xd7;</mml:mo>
<mml:mi>M</mml:mi>
<mml:mo>&#xd7;</mml:mo>
<mml:mi>&#x3a3;</mml:mi>
<mml:mo>&#x2192;</mml:mo>
<mml:mrow>
<mml:mo>{</mml:mo>
<mml:mrow>
<mml:mi>t</mml:mi>
<mml:mi>r</mml:mi>
<mml:mi>u</mml:mi>
<mml:mi>e</mml:mi>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:mi>f</mml:mi>
<mml:mi>a</mml:mi>
<mml:mi>l</mml:mi>
<mml:mi>s</mml:mi>
<mml:mi>e</mml:mi>
</mml:mrow>
<mml:mo>}</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:math>
</inline-formula> is the transition condition under the mode <inline-formula id="inf12">
<mml:math id="m13">
<mml:mrow>
<mml:mi>m</mml:mi>
<mml:mo>&#x2208;</mml:mo>
<mml:mi>M</mml:mi>
</mml:mrow>
</mml:math>
</inline-formula>;</p>
<p>
<inline-formula id="inf13">
<mml:math id="m14">
<mml:mrow>
<mml:msup>
<mml:mi>f</mml:mi>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>m</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:msup>
</mml:mrow>
</mml:math>
</inline-formula> denotes the evolution rule of the CVDS under mode <italic>m</italic>, characterizing the dynamic behavioral properties of the CVDS;</p>
<p>
<inline-formula id="inf14">
<mml:math id="m15">
<mml:mrow>
<mml:msup>
<mml:mi>&#x3bb;</mml:mi>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>m</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:msup>
</mml:mrow>
</mml:math>
</inline-formula> indicates the output function of the system.</p>
<p>The dynamics of the HS can be described by the following equations.<disp-formula id="e2">
<mml:math id="m16">
<mml:mrow>
<mml:msup>
<mml:mrow>
<mml:mover accent="true">
<mml:mi>x</mml:mi>
<mml:mo>&#x2d9;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>m</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:msup>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>&#x3d;</mml:mo>
<mml:msup>
<mml:mi>f</mml:mi>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>m</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:msup>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:msup>
<mml:mi>x</mml:mi>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>m</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:msup>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:mi>u</mml:mi>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:mi>p</mml:mi>
</mml:mrow>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:math>
<label>(2)</label>
</disp-formula>
<disp-formula id="e3">
<mml:math id="m17">
<mml:mrow>
<mml:mi>y</mml:mi>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>&#x3d;</mml:mo>
<mml:msup>
<mml:mi>&#x3bb;</mml:mi>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>m</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:msup>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:msup>
<mml:mi>x</mml:mi>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>m</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:msup>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:mi>u</mml:mi>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:mi>p</mml:mi>
</mml:mrow>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:math>
<label>(3)</label>
</disp-formula>
<disp-formula id="e4">
<mml:math id="m18">
<mml:mrow>
<mml:msub>
<mml:mi>m</mml:mi>
<mml:mo>&#x2b;</mml:mo>
</mml:msub>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>&#x3d;</mml:mo>
<mml:mi>&#x3b4;</mml:mi>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mi>m</mml:mi>
<mml:mo>&#x2212;</mml:mo>
</mml:msub>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:msubsup>
<mml:mi>x</mml:mi>
<mml:mo>&#x2212;</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mi>m</mml:mi>
<mml:mo>&#x2212;</mml:mo>
</mml:msub>
</mml:mrow>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:msubsup>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:mi>e</mml:mi>
</mml:mrow>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:math>
<label>(4)</label>
</disp-formula>
<disp-formula id="e5">
<mml:math id="m19">
<mml:mrow>
<mml:msubsup>
<mml:mi>x</mml:mi>
<mml:mo>&#x2b;</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mi>m</mml:mi>
<mml:mo>&#x2b;</mml:mo>
</mml:msub>
</mml:mrow>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:msubsup>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>&#x3d;</mml:mo>
<mml:mi>R</mml:mi>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mi>m</mml:mi>
<mml:mo>&#x2212;</mml:mo>
</mml:msub>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:msub>
<mml:mi>m</mml:mi>
<mml:mo>&#x2b;</mml:mo>
</mml:msub>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:msubsup>
<mml:mi>x</mml:mi>
<mml:mo>&#x2212;</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mi>m</mml:mi>
<mml:mo>&#x2212;</mml:mo>
</mml:msub>
</mml:mrow>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:msubsup>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:mi>e</mml:mi>
</mml:mrow>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:math>
<label>(5)</label>
</disp-formula>Where the subscripts "&#x2b;" denotes the state after the event <italic>e</italic> occurs and subscripts "&#x2212;" denotes the state before the event <italic>e</italic> occurs, <inline-formula id="inf15">
<mml:math id="m20">
<mml:mrow>
<mml:msub>
<mml:mi>m</mml:mi>
<mml:mo>&#x2212;</mml:mo>
</mml:msub>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:math>
</inline-formula> and <inline-formula id="inf16">
<mml:math id="m21">
<mml:mrow>
<mml:msubsup>
<mml:mi>x</mml:mi>
<mml:mo>&#x2212;</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mi>m</mml:mi>
<mml:mo>&#x2212;</mml:mo>
</mml:msub>
</mml:mrow>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:msubsup>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:math>
</inline-formula> denote the state mode and continuous state before the event <italic>e</italic> occurs, respectively, <inline-formula id="inf17">
<mml:math id="m22">
<mml:mrow>
<mml:msub>
<mml:mi>m</mml:mi>
<mml:mo>&#x2b;</mml:mo>
</mml:msub>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:math>
</inline-formula> and <inline-formula id="inf18">
<mml:math id="m23">
<mml:mrow>
<mml:msubsup>
<mml:mi>x</mml:mi>
<mml:mo>&#x2b;</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mi>m</mml:mi>
<mml:mo>&#x2b;</mml:mo>
</mml:msub>
</mml:mrow>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:msubsup>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:math>
</inline-formula> denote the state mode and continuous state after the event <italic>e</italic> occurs, respectively.</p>
<p>Let <italic>t</italic> be the initial moment and the initial state of the system is <inline-formula id="inf19">
<mml:math id="m24">
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mi>m</mml:mi>
<mml:mn>0</mml:mn>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:msubsup>
<mml:mi>x</mml:mi>
<mml:mn>0</mml:mn>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mi>m</mml:mi>
<mml:mn>0</mml:mn>
</mml:msub>
</mml:mrow>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:msubsup>
</mml:mrow>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:math>
</inline-formula>. In the discrete state <italic>m</italic>(t) &#x3d; <italic>m</italic>
<sub>0</sub>, the continuous dynamics are described by the differential <xref ref-type="disp-formula" rid="e2">Equation 2</xref>. At any time <inline-formula id="inf20">
<mml:math id="m25">
<mml:mrow>
<mml:mi>t</mml:mi>
<mml:mo>&#x2208;</mml:mo>
<mml:mi>T</mml:mi>
</mml:mrow>
</mml:math>
</inline-formula>, the occurrence of an event may lead to a change in the operating mode of the system. The change of system operation mode is described by <xref ref-type="disp-formula" rid="e3">Eq. 3</xref>, which indicates that at time <italic>t</italic>, the event <italic>e</italic> changes the system from mode <inline-formula id="inf21">
<mml:math id="m26">
<mml:mrow>
<mml:msub>
<mml:mi>m</mml:mi>
<mml:mo>&#x2212;</mml:mo>
</mml:msub>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:math>
</inline-formula> to <inline-formula id="inf22">
<mml:math id="m27">
<mml:mrow>
<mml:msub>
<mml:mi>m</mml:mi>
<mml:mo>&#x2b;</mml:mo>
</mml:msub>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:math>
</inline-formula>. Also, as the system changes to operate in the successor mode, the state variables of the system may undergo a jump, i.e., change from system state <inline-formula id="inf23">
<mml:math id="m28">
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mi>m</mml:mi>
<mml:mo>&#x2212;</mml:mo>
</mml:msub>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:msubsup>
<mml:mi>x</mml:mi>
<mml:mo>&#x2212;</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mi>m</mml:mi>
<mml:mo>&#x2212;</mml:mo>
</mml:msub>
</mml:mrow>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:msubsup>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:math>
</inline-formula> to system state <inline-formula id="inf24">
<mml:math id="m29">
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mi>m</mml:mi>
<mml:mo>&#x2b;</mml:mo>
</mml:msub>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:msubsup>
<mml:mi>x</mml:mi>
<mml:mo>&#x2b;</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mi>m</mml:mi>
<mml:mo>&#x2b;</mml:mo>
</mml:msub>
</mml:mrow>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:msubsup>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:math>
</inline-formula>, and the change of state is described by <xref ref-type="disp-formula" rid="e5">Eq. 5</xref>. After the HS transitions to the successor mode, the system will continue to evolve along the trajectory described by <xref ref-type="disp-formula" rid="e2">Equations 2&#x2013;5</xref> if a new event occurs.</p>
</sec>
</sec>
<sec id="s3">
<title>3 Hierarchical modeling framework for microgrid CPS</title>
<sec id="s3-1">
<title>3.1 The hybrid characteristics of microgrid CPS</title>
<p>The MCPS presents a hybrid system characteristic during operation. For example, the energy flow in the physical system varies continuously with time according to a certain rule, which has the characteristics of a continuous variable dynamic system (CVDS). The cyber system controls the physical system through the information flow, including information collection, communication, processing, and control processes, all of which work digitally and consist of various types of events and their responses, which has the characteristics of a discrete event dynamic system (DEDS). Moreover, there is an interaction between the above two characteristics.</p>
<p>From the above analysis, it is clear that the physical system in the MCPS can be regarded as a CVDS, while the cyber system in the MCPS can be regarded as a DEDS. Therefore, the analysis of the interplay of information flow and energy flow in the MCPS can be converted into the analysis of the interplay of the CVDS and the DEDS in the MCPS.</p>
</sec>
<sec id="s3-2">
<title>3.2 The CPS-based modeling framework for microgrid</title>
<p>To accurately characterize the interplay of the information flow and energy flow in the MCPS, a generic hierarchical modeling framework for cyber-physical integration modeling of MCPS is proposed, as shown in <xref ref-type="fig" rid="F2">Figure 2</xref>.</p>
<fig id="F2" position="float">
<label>FIGURE 2</label>
<caption>
<p>The hierarchical modeling framework for the MCPS.</p>
</caption>
<graphic xlink:href="fenrg-10-748828-g002.tif"/>
</fig>
<p>In <xref ref-type="fig" rid="F2">Figure 2</xref>, the modeling framework of MCPS includes two layers: the physical device layer and the controller layer.</p>
<p>1) Physical device layer: This layer mainly includes some PV unit, WT unit, BSS unit, etc., which can be considered as a unit-level CPS. The unit-level CPS can optimize the allocation of resources within the working capacity of the device through the physical device, its control system, and communication modules. At this layer, each device in the physical device layer transmits information related to its state and sensed environmental information to the controller layer and executes control commands issued by the controller layer.</p>
<p>2) Controller layer: As the upper layer of the microgrid CPS, this layer, on the one hand, mainly issues control commands to the physical device layer to drive the actions of the units in the physical device layer. On the other hand, it mainly uses data fusion, distributed computing, big data analysis, and other technologies to monitor, analyze and control the whole working status of the system in real-time, to achieve the optimal configuration, decision, and operation of the system.</p>
<p>In <xref ref-type="fig" rid="F2">Figure 2</xref>, both the physical device layer and the controller layer consist of two parts: the continuous part and the discrete part. The continuous part is used to describe the characteristics of the continuous change of the device state over time. While the discrete part is used to describe the transfer process of the device between different operating states. The continuous part and the discrete part interact with each other through interface functions.</p>
</sec>
</sec>
<sec id="s4">
<title>4 Microgrid CPS modeling based on hybrid automaton</title>
<sec id="s4-1">
<title>4.1 The mathematical description of each layer</title>
<sec id="s4-1-1">
<title>4.1.1 The physical device layer.</title>
<p>i) The continuous part</p>
<p>In the continuous part, the continuous dynamic behavior of the device is characterized by the following equation.<disp-formula id="e6">
<mml:math id="m30">
<mml:mrow>
<mml:mrow>
<mml:mo>{</mml:mo>
<mml:mtable columnalign="left">
<mml:mtr>
<mml:mtd>
<mml:msubsup>
<mml:mrow>
<mml:mover accent="true">
<mml:mi>x</mml:mi>
<mml:mo>&#x2d9;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mi>c</mml:mi>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>m</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:msubsup>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>&#x3d;</mml:mo>
<mml:msubsup>
<mml:mi>f</mml:mi>
<mml:mi>c</mml:mi>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>m</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:msubsup>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:msubsup>
<mml:mi>x</mml:mi>
<mml:mi>c</mml:mi>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>m</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:msubsup>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:mi>u</mml:mi>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:mi>p</mml:mi>
</mml:mrow>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd>
<mml:msub>
<mml:mi>y</mml:mi>
<mml:mi>c</mml:mi>
</mml:msub>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>&#x3d;</mml:mo>
<mml:msubsup>
<mml:mi>&#x3bb;</mml:mi>
<mml:mi>c</mml:mi>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>m</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:msubsup>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:msubsup>
<mml:mi>x</mml:mi>
<mml:mi>c</mml:mi>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>m</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:msubsup>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:mi>u</mml:mi>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:mi>p</mml:mi>
</mml:mrow>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mtd>
</mml:mtr>
</mml:mtable>
</mml:mrow>
</mml:mrow>
</mml:math>
<label>(6)</label>
</disp-formula>Where, <inline-formula id="inf25">
<mml:math id="m31">
<mml:mrow>
<mml:msubsup>
<mml:mi>f</mml:mi>
<mml:mi>c</mml:mi>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>m</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:msubsup>
</mml:mrow>
</mml:math>
</inline-formula> denotes the continuous dynamic change relationship function of the device, <inline-formula id="inf26">
<mml:math id="m32">
<mml:mrow>
<mml:msubsup>
<mml:mi>&#x3bb;</mml:mi>
<mml:mi>c</mml:mi>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>m</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:msubsup>
</mml:mrow>
</mml:math>
</inline-formula> denotes the output function of the device, <inline-formula id="inf27">
<mml:math id="m33">
<mml:mrow>
<mml:msubsup>
<mml:mi>x</mml:mi>
<mml:mi>c</mml:mi>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>m</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:msubsup>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:math>
</inline-formula> is the continuous state variable of the device, <inline-formula id="inf28">
<mml:math id="m34">
<mml:mrow>
<mml:mi>u</mml:mi>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:math>
</inline-formula> denotes the control input variable of the device, <italic>m</italic> denotes the current operating state mode of the device, and <italic>p</italic> denotes a time-independent parameter variable.</p>
<p>ii) The discrete part</p>
<p>The discrete part is used to describe the transfer process of the device between different discrete states <italic>q</italic>, which can be described by the state transfer condition function <italic>g</italic>
<sub>c</sub> and the state transfer function <inline-formula id="inf29">
<mml:math id="m35">
<mml:mrow>
<mml:msub>
<mml:mi>&#x3b4;</mml:mi>
<mml:mtext>c</mml:mtext>
</mml:msub>
</mml:mrow>
</mml:math>
</inline-formula>.</p>
<p>The function <italic>g</italic>
<sub>c</sub>
<disp-formula id="e7">
<mml:math id="m36">
<mml:mrow>
<mml:msub>
<mml:mi>g</mml:mi>
<mml:mi>c</mml:mi>
</mml:msub>
<mml:mo>:</mml:mo>
<mml:mi>C</mml:mi>
<mml:mi>o</mml:mi>
<mml:mi>n</mml:mi>
<mml:mi>d</mml:mi>
<mml:mo>&#x3d;</mml:mo>
<mml:mrow>
<mml:mo>{</mml:mo>
<mml:mrow>
<mml:mi>t</mml:mi>
<mml:mi>r</mml:mi>
<mml:mi>u</mml:mi>
<mml:mi>e</mml:mi>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:mi>f</mml:mi>
<mml:mi>a</mml:mi>
<mml:mi>l</mml:mi>
<mml:mi>s</mml:mi>
<mml:mi>e</mml:mi>
</mml:mrow>
<mml:mo>}</mml:mo>
</mml:mrow>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:mi>c</mml:mi>
<mml:mi>o</mml:mi>
<mml:mi>n</mml:mi>
<mml:mi>d</mml:mi>
<mml:mo>&#x3d;</mml:mo>
<mml:msub>
<mml:mi>g</mml:mi>
<mml:mi>c</mml:mi>
</mml:msub>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:mi>q</mml:mi>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:mi>x</mml:mi>
</mml:mrow>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:math>
<label>(7)</label>
</disp-formula>
</p>
<p>The (7) indicates whether the system satisfies the condition of operating state transfer by function <italic>g</italic>
<sub>c</sub> under the condition of discrete state <italic>q</italic> and continuous state <italic>x</italic>.</p>
<p>The function <inline-formula id="inf30">
<mml:math id="m37">
<mml:mrow>
<mml:msub>
<mml:mi>&#x3b4;</mml:mi>
<mml:mi>c</mml:mi>
</mml:msub>
</mml:mrow>
</mml:math>
</inline-formula>
<disp-formula id="e8">
<mml:math id="m38">
<mml:mrow>
<mml:msub>
<mml:mi>&#x3b4;</mml:mi>
<mml:mi>c</mml:mi>
</mml:msub>
<mml:mo>:</mml:mo>
<mml:msub>
<mml:mi>&#x3b4;</mml:mi>
<mml:mi>c</mml:mi>
</mml:msub>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:msup>
<mml:mi>q</mml:mi>
<mml:mo>&#x2212;</mml:mo>
</mml:msup>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:mi>e</mml:mi>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:mi>c</mml:mi>
<mml:mi>o</mml:mi>
<mml:mi>n</mml:mi>
<mml:mi>d</mml:mi>
</mml:mrow>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>&#x3d;</mml:mo>
<mml:msup>
<mml:mi>q</mml:mi>
<mml:mo>&#x2b;</mml:mo>
</mml:msup>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:mrow>
<mml:mo>{</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mi>e</mml:mi>
<mml:mrow>
<mml:mi>c</mml:mi>
<mml:mi>d</mml:mi>
<mml:mn>1</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:msub>
<mml:mi>e</mml:mi>
<mml:mrow>
<mml:mi>c</mml:mi>
<mml:mi>d</mml:mi>
<mml:mn>2</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mo>&#x22ef;</mml:mo>
</mml:mrow>
<mml:mo>}</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:math>
<label>(8)</label>
</disp-formula>
</p>
<p>The event <italic>e</italic> can be a state event <italic>e</italic>
<sub>cc</sub> generated by the continuous part, or an internal control input event <italic>e</italic>
<sub>de</sub> of the system, or an event <italic>e</italic>
<sub>cin</sub> generated by the environment. The (8) indicates that the system will transfer from state <italic>q</italic>
<sup>&#x2212;</sup> to state <italic>q</italic>
<sup>&#x2b;</sup> and generate a series of discrete events <italic>e</italic>
<sub>cdi</sub> when event <italic>e</italic> occurs and the transfer condition <italic>cond</italic> of the state is true.</p>
<p>iii) The interface layers</p>
<p>The interface layers include the discrete-continuous system interface and the continuous-discrete system interface. Define <italic>F</italic>
<sub>ccd</sub> to denote the continuous-discrete interface layer function that represents the action of the continuous part on the discrete part. Similarly, define <italic>F</italic>
<sub>cdc</sub> to denote the discrete-continuous interface layer function that represents the action of the discrete part on the continuous part.</p>
<p>&#x2460; The <italic>F</italic>
<sub>ccd</sub> represents the action of the continuous part on the discrete part, which manifests in triggering an event <italic>e</italic>
<sub>cc</sub> generated when the state trajectory of the <italic>x</italic> traverses the hypersurface <italic>h</italic>
<sub>m</sub>, which acts on the discrete part through the event <italic>e</italic>
<sub>cc</sub>, thus changing the value of <italic>q</italic>. For each mode <inline-formula id="inf31">
<mml:math id="m39">
<mml:mrow>
<mml:mi>m</mml:mi>
<mml:mo>&#x2208;</mml:mo>
<mml:mi>M</mml:mi>
</mml:mrow>
</mml:math>
</inline-formula>, define a hypersurface <italic>h</italic>
<sub>m</sub>.<disp-formula id="e9">
<mml:math id="m40">
<mml:mrow>
<mml:msub>
<mml:mi>h</mml:mi>
<mml:mi>m</mml:mi>
</mml:msub>
<mml:mo>:</mml:mo>
<mml:msub>
<mml:mi>H</mml:mi>
<mml:mi>m</mml:mi>
</mml:msub>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:mi>x</mml:mi>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:mi>u</mml:mi>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>&#x3d;</mml:mo>
<mml:mn>0</mml:mn>
</mml:mrow>
</mml:math>
<label>(9)</label>
</disp-formula>
</p>
<p>Then the expression that generates the event <italic>e</italic>
<sub>cc</sub> is shown in <xref ref-type="disp-formula" rid="e10">Eq. 10</xref>.<disp-formula id="e10">
<mml:math id="m41">
<mml:mrow>
<mml:msub>
<mml:mi>e</mml:mi>
<mml:mrow>
<mml:mi>c</mml:mi>
<mml:mi>c</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mo>&#x3d;</mml:mo>
<mml:msub>
<mml:mi>F</mml:mi>
<mml:mrow>
<mml:mi>c</mml:mi>
<mml:mi>c</mml:mi>
<mml:mi>d</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:mi>x</mml:mi>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:msub>
<mml:mi>h</mml:mi>
<mml:mi>m</mml:mi>
</mml:msub>
</mml:mrow>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:math>
<label>(10)</label>
</disp-formula>
</p>
<p>&#x2461; The <italic>F</italic>
<sub>cdc</sub> represents the action of the discrete part on the continuous part and consists of two parts, as follows.<disp-formula id="e11">
<mml:math id="m42">
<mml:mrow>
<mml:msub>
<mml:mi>F</mml:mi>
<mml:mrow>
<mml:mi>c</mml:mi>
<mml:mi>d</mml:mi>
<mml:mi>c</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mo>&#x3d;</mml:mo>
<mml:mrow>
<mml:mo>[</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mi>f</mml:mi>
<mml:mrow>
<mml:mi>c</mml:mi>
<mml:mi>d</mml:mi>
<mml:mi>x</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:msub>
<mml:mi>f</mml:mi>
<mml:mrow>
<mml:mi>c</mml:mi>
<mml:mi>d</mml:mi>
<mml:mi>m</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mrow>
<mml:mo>]</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:math>
<label>(11)</label>
</disp-formula>
</p>
<p>In <xref ref-type="disp-formula" rid="e11">Eq. 11</xref>, the function <italic>f</italic>
<sub>cdm</sub> manifests in affecting the dynamic evolution relationship of continuous variables <italic>x</italic> through the discrete state <italic>q</italic>, and its expression is as follows:<disp-formula id="e12">
<mml:math id="m43">
<mml:mrow>
<mml:msub>
<mml:mi>m</mml:mi>
<mml:mo>&#x2b;</mml:mo>
</mml:msub>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>&#x3d;</mml:mo>
<mml:msub>
<mml:mi>f</mml:mi>
<mml:mrow>
<mml:mi>c</mml:mi>
<mml:mi>d</mml:mi>
<mml:mi>m</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mi>m</mml:mi>
<mml:mo>&#x2212;</mml:mo>
</mml:msub>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:msubsup>
<mml:mi>x</mml:mi>
<mml:mo>&#x2212;</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mi>m</mml:mi>
<mml:mo>&#x2212;</mml:mo>
</mml:msub>
</mml:mrow>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:msubsup>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:mi>q</mml:mi>
</mml:mrow>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:math>
<label>(12)</label>
</disp-formula>
</p>
<p>The (12) shows that the state mode <italic>m</italic> of the system is affected by <italic>q</italic>, while the device operates in different state modes <italic>m</italic>, there are corresponding differential equations to describe the dynamic behavior of the continuous part, i.e., the function <italic>f</italic>
<sub>cdm</sub> influences the differential equations of the dynamic behavior of the continuous part through <italic>m</italic>.</p>
<p>When the system undergoes a state transfer, the value of the continuous state variable <italic>x</italic> may undergo a jump. The process is described by the function <italic>f</italic>
<sub>cdx</sub>, and its expression is as follows<disp-formula id="e13">
<mml:math id="m44">
<mml:mrow>
<mml:msubsup>
<mml:mi>x</mml:mi>
<mml:mo>&#x2b;</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mi>m</mml:mi>
<mml:mo>&#x2b;</mml:mo>
</mml:msub>
</mml:mrow>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:msubsup>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>&#x3d;</mml:mo>
<mml:msub>
<mml:mi>f</mml:mi>
<mml:mrow>
<mml:mi>c</mml:mi>
<mml:mi>d</mml:mi>
<mml:mi>x</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mi>m</mml:mi>
<mml:mo>&#x2212;</mml:mo>
</mml:msub>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:msub>
<mml:mi>m</mml:mi>
<mml:mo>&#x2b;</mml:mo>
</mml:msub>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:msubsup>
<mml:mi>x</mml:mi>
<mml:mo>&#x2212;</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mi>m</mml:mi>
<mml:mo>&#x2212;</mml:mo>
</mml:msub>
</mml:mrow>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:msubsup>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:msub>
<mml:mi>e</mml:mi>
<mml:mrow>
<mml:mi>c</mml:mi>
<mml:mi>d</mml:mi>
<mml:mi>i</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mrow>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:math>
<label>(13)</label>
</disp-formula>Where "&#x2b;" indicates the state after the event and "&#x2212;" indicates the state before the event. As can be seen from <xref ref-type="disp-formula" rid="e13">Eq. 13</xref>. The discrete part acts on the continuous part by generating the discrete event <italic>e</italic>
<sub>cdi</sub>, which changes the value of the <italic>x</italic>.</p>
<p>In summary, the mathematical description of the dynamic characteristics of the continuous part, the discrete part, and the interface layers in the physical device layer are summarized as follows:<disp-formula id="e14">
<mml:math id="m45">
<mml:mrow>
<mml:mrow>
<mml:mo>{</mml:mo>
<mml:mtable columnalign="left">
<mml:mtr>
<mml:mtd>
<mml:mrow>
<mml:mo>{</mml:mo>
<mml:mtable columnalign="left">
<mml:mtr>
<mml:mtd>
<mml:msubsup>
<mml:mrow>
<mml:mover accent="true">
<mml:mi>x</mml:mi>
<mml:mo>&#x2d9;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mi>c</mml:mi>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>m</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:msubsup>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>&#x3d;</mml:mo>
<mml:msubsup>
<mml:mi>f</mml:mi>
<mml:mi>c</mml:mi>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>m</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:msubsup>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:msubsup>
<mml:mi>x</mml:mi>
<mml:mi>c</mml:mi>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>m</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:msubsup>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:mi>u</mml:mi>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:mi>p</mml:mi>
</mml:mrow>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd>
<mml:msub>
<mml:mi>y</mml:mi>
<mml:mi>c</mml:mi>
</mml:msub>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>&#x3d;</mml:mo>
<mml:msubsup>
<mml:mi>&#x3bb;</mml:mi>
<mml:mi>c</mml:mi>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>m</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:msubsup>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:msubsup>
<mml:mi>x</mml:mi>
<mml:mi>c</mml:mi>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>m</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:msubsup>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:mi>u</mml:mi>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>,</mml:mo>
<mml:mi>p</mml:mi>
</mml:mrow>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mtext>&#xa0;</mml:mtext>
</mml:mtd>
</mml:mtr>
</mml:mtable>
</mml:mrow>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd>
<mml:mrow>
<mml:mo>{</mml:mo>
<mml:mtable columnalign="left">
<mml:mtr>
<mml:mtd>
<mml:mrow>
<mml:mtable columnalign="left">
<mml:mtr>
<mml:mtd>
<mml:msub>
<mml:mi>h</mml:mi>
<mml:mi>m</mml:mi>
</mml:msub>
<mml:mo>:</mml:mo>
<mml:msub>
<mml:mi>H</mml:mi>
<mml:mi>m</mml:mi>
</mml:msub>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:mi>x</mml:mi>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:mi>u</mml:mi>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>&#x3d;</mml:mo>
<mml:mn>0</mml:mn>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd>
<mml:msub>
<mml:mi>e</mml:mi>
<mml:mrow>
<mml:mi>c</mml:mi>
<mml:mi>c</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mo>&#x3d;</mml:mo>
<mml:msub>
<mml:mi>F</mml:mi>
<mml:mrow>
<mml:mi>c</mml:mi>
<mml:mi>c</mml:mi>
<mml:mi>d</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:mi>x</mml:mi>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:msub>
<mml:mi>h</mml:mi>
<mml:mi>m</mml:mi>
</mml:msub>
</mml:mrow>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mtd>
</mml:mtr>
</mml:mtable>
<mml:mo>}</mml:mo>
</mml:mrow>
<mml:mo>&#x2192;</mml:mo>
<mml:msub>
<mml:mi>F</mml:mi>
<mml:mrow>
<mml:mi>c</mml:mi>
<mml:mi>c</mml:mi>
<mml:mi>d</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd>
<mml:mrow>
<mml:mtable columnalign="left">
<mml:mtr>
<mml:mtd>
<mml:msubsup>
<mml:mi>x</mml:mi>
<mml:mo>&#x2b;</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mi>m</mml:mi>
<mml:mo>&#x2b;</mml:mo>
</mml:msub>
</mml:mrow>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:msubsup>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>&#x3d;</mml:mo>
<mml:msub>
<mml:mi>f</mml:mi>
<mml:mrow>
<mml:mi>c</mml:mi>
<mml:mi>d</mml:mi>
<mml:mi>x</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mi>m</mml:mi>
<mml:mo>&#x2212;</mml:mo>
</mml:msub>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:msub>
<mml:mi>m</mml:mi>
<mml:mo>&#x2b;</mml:mo>
</mml:msub>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:msubsup>
<mml:mi>x</mml:mi>
<mml:mo>&#x2212;</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mi>m</mml:mi>
<mml:mo>&#x2212;</mml:mo>
</mml:msub>
</mml:mrow>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:msubsup>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:msub>
<mml:mi>e</mml:mi>
<mml:mrow>
<mml:mi>c</mml:mi>
<mml:mi>d</mml:mi>
<mml:mi>i</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mrow>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd>
<mml:msub>
<mml:mi>m</mml:mi>
<mml:mo>&#x2b;</mml:mo>
</mml:msub>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>&#x3d;</mml:mo>
<mml:msub>
<mml:mi>f</mml:mi>
<mml:mrow>
<mml:mi>c</mml:mi>
<mml:mi>d</mml:mi>
<mml:mi>m</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mi>m</mml:mi>
<mml:mo>&#x2212;</mml:mo>
</mml:msub>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>,</mml:mo>
<mml:msubsup>
<mml:mi>x</mml:mi>
<mml:mo>&#x2212;</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mi>m</mml:mi>
<mml:mo>&#x2212;</mml:mo>
</mml:msub>
</mml:mrow>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:msubsup>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>,</mml:mo>
<mml:mi>e</mml:mi>
</mml:mrow>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:mtd>
</mml:mtr>
</mml:mtable>
<mml:mo>}</mml:mo>
</mml:mrow>
<mml:mo>&#x2192;</mml:mo>
<mml:msub>
<mml:mi>F</mml:mi>
<mml:mrow>
<mml:mi>c</mml:mi>
<mml:mi>d</mml:mi>
<mml:mi>c</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mtd>
</mml:mtr>
</mml:mtable>
</mml:mrow>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd>
<mml:mrow>
<mml:mo>{</mml:mo>
<mml:mtable columnalign="left">
<mml:mtr>
<mml:mtd>
<mml:mi>C</mml:mi>
<mml:mi>o</mml:mi>
<mml:mi>n</mml:mi>
<mml:mi>d</mml:mi>
<mml:mo>&#x3d;</mml:mo>
<mml:mo>{</mml:mo>
<mml:mi>t</mml:mi>
<mml:mi>r</mml:mi>
<mml:mi>u</mml:mi>
<mml:mi>e</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi>f</mml:mi>
<mml:mi>a</mml:mi>
<mml:mi>l</mml:mi>
<mml:mi>s</mml:mi>
<mml:mi>e</mml:mi>
<mml:mo>}</mml:mo>
<mml:mo>,</mml:mo>
<mml:mi>c</mml:mi>
<mml:mi>o</mml:mi>
<mml:mi>n</mml:mi>
<mml:mi>d</mml:mi>
<mml:mo>&#x3d;</mml:mo>
<mml:msub>
<mml:mi>g</mml:mi>
<mml:mi>c</mml:mi>
</mml:msub>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>q</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi>x</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd>
<mml:msub>
<mml:mi>&#x3b4;</mml:mi>
<mml:mi>c</mml:mi>
</mml:msub>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:msup>
<mml:mi>q</mml:mi>
<mml:mo>&#x2212;</mml:mo>
</mml:msup>
<mml:mo>,</mml:mo>
<mml:mi>e</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi>c</mml:mi>
<mml:mi>o</mml:mi>
<mml:mi>n</mml:mi>
<mml:mi>d</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>&#x3d;</mml:mo>
<mml:msup>
<mml:mi>q</mml:mi>
<mml:mo>&#x2b;</mml:mo>
</mml:msup>
<mml:mtext>,</mml:mtext>
<mml:mo>{</mml:mo>
<mml:msub>
<mml:mi>e</mml:mi>
<mml:mrow>
<mml:mi>c</mml:mi>
<mml:mi>d</mml:mi>
<mml:mn>1</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:msub>
<mml:mi>e</mml:mi>
<mml:mrow>
<mml:mi>c</mml:mi>
<mml:mi>d</mml:mi>
<mml:mn>2</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mo>&#x22ef;</mml:mo>
<mml:mo>}</mml:mo>
<mml:mtext>&#xa0;</mml:mtext>
</mml:mtd>
</mml:mtr>
</mml:mtable>
</mml:mrow>
</mml:mtd>
</mml:mtr>
</mml:mtable>
</mml:mrow>
</mml:mrow>
</mml:math>
<label>(14)</label>
</disp-formula>
</p>
</sec>
<sec id="s4-1-2">
<title>4.1.2 The controller layer</title>
<p>Similar to the physical device layer, the dynamic characteristics of each part in the controller layer can be described in <xref ref-type="disp-formula" rid="e15">Eq. 5</xref>:<disp-formula id="e15">
<mml:math id="m46">
<mml:mrow>
<mml:mrow>
<mml:mo>{</mml:mo>
<mml:mtable columnalign="left">
<mml:mtr>
<mml:mtd>
<mml:mrow>
<mml:mo>{</mml:mo>
<mml:mtable columnalign="left">
<mml:mtr>
<mml:mtd>
<mml:msubsup>
<mml:mrow>
<mml:mover accent="true">
<mml:mi>x</mml:mi>
<mml:mo>&#x2d9;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mi>d</mml:mi>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>m</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:msubsup>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>&#x3d;</mml:mo>
<mml:msubsup>
<mml:mi>f</mml:mi>
<mml:mi>d</mml:mi>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>m</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:msubsup>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:msubsup>
<mml:mi>x</mml:mi>
<mml:mi>d</mml:mi>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>m</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:msubsup>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:mi>y</mml:mi>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:mi>p</mml:mi>
</mml:mrow>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd>
<mml:mi>u</mml:mi>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>&#x3d;</mml:mo>
<mml:msubsup>
<mml:mi>&#x3bb;</mml:mi>
<mml:mi>d</mml:mi>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>m</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:msubsup>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:msubsup>
<mml:mi>x</mml:mi>
<mml:mi>d</mml:mi>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>m</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:msubsup>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:mi>y</mml:mi>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:mi>p</mml:mi>
</mml:mrow>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mtext>&#xa0;</mml:mtext>
</mml:mtd>
</mml:mtr>
</mml:mtable>
</mml:mrow>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd>
<mml:mrow>
<mml:mo>{</mml:mo>
<mml:mtable columnalign="left">
<mml:mtr>
<mml:mtd>
<mml:mrow>
<mml:mtable columnalign="left">
<mml:mtr>
<mml:mtd>
<mml:msub>
<mml:mi>h</mml:mi>
<mml:mi>m</mml:mi>
</mml:msub>
<mml:mo>:</mml:mo>
<mml:msub>
<mml:mi>H</mml:mi>
<mml:mi>m</mml:mi>
</mml:msub>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:mi>x</mml:mi>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:mi>y</mml:mi>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>&#x3d;</mml:mo>
<mml:mn>0</mml:mn>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd>
<mml:msub>
<mml:mi>e</mml:mi>
<mml:mrow>
<mml:mi>d</mml:mi>
<mml:mi>c</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mo>&#x3d;</mml:mo>
<mml:msub>
<mml:mi>F</mml:mi>
<mml:mrow>
<mml:mi>d</mml:mi>
<mml:mi>c</mml:mi>
<mml:mi>d</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:mi>x</mml:mi>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:msub>
<mml:mi>h</mml:mi>
<mml:mi>m</mml:mi>
</mml:msub>
</mml:mrow>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mtd>
</mml:mtr>
</mml:mtable>
<mml:mo>}</mml:mo>
</mml:mrow>
<mml:mo>&#x2192;</mml:mo>
<mml:msub>
<mml:mi>F</mml:mi>
<mml:mrow>
<mml:mi>d</mml:mi>
<mml:mi>c</mml:mi>
<mml:mi>d</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd>
<mml:mrow>
<mml:mtable columnalign="left">
<mml:mtr>
<mml:mtd>
<mml:msubsup>
<mml:mi>x</mml:mi>
<mml:mo>&#x2b;</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mi>m</mml:mi>
<mml:mo>&#x2b;</mml:mo>
</mml:msub>
</mml:mrow>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:msubsup>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>&#x3d;</mml:mo>
<mml:msub>
<mml:mi>f</mml:mi>
<mml:mrow>
<mml:mi>d</mml:mi>
<mml:mi>d</mml:mi>
<mml:mi>x</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mi>m</mml:mi>
<mml:mo>&#x2212;</mml:mo>
</mml:msub>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:msub>
<mml:mi>m</mml:mi>
<mml:mo>&#x2b;</mml:mo>
</mml:msub>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:msubsup>
<mml:mi>x</mml:mi>
<mml:mo>&#x2212;</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mi>m</mml:mi>
<mml:mo>&#x2212;</mml:mo>
</mml:msub>
</mml:mrow>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:msubsup>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:msub>
<mml:mi>e</mml:mi>
<mml:mrow>
<mml:mi>d</mml:mi>
<mml:mi>d</mml:mi>
<mml:mi>i</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mrow>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd>
<mml:msub>
<mml:mi>m</mml:mi>
<mml:mo>&#x2b;</mml:mo>
</mml:msub>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>&#x3d;</mml:mo>
<mml:msub>
<mml:mi>f</mml:mi>
<mml:mrow>
<mml:mi>d</mml:mi>
<mml:mi>d</mml:mi>
<mml:mi>m</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mi>m</mml:mi>
<mml:mo>&#x2212;</mml:mo>
</mml:msub>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:msubsup>
<mml:mi>x</mml:mi>
<mml:mo>&#x2212;</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mi>m</mml:mi>
<mml:mo>&#x2212;</mml:mo>
</mml:msub>
</mml:mrow>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:msubsup>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mi>t</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:mi>e</mml:mi>
</mml:mrow>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mtd>
</mml:mtr>
</mml:mtable>
<mml:mo>}</mml:mo>
</mml:mrow>
<mml:mo>&#x2192;</mml:mo>
<mml:msub>
<mml:mi>F</mml:mi>
<mml:mrow>
<mml:mi>d</mml:mi>
<mml:mi>d</mml:mi>
<mml:mi>c</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mtd>
</mml:mtr>
</mml:mtable>
</mml:mrow>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd>
<mml:mrow>
<mml:mo>{</mml:mo>
<mml:mtable columnalign="left">
<mml:mtr>
<mml:mtd>
<mml:mi>C</mml:mi>
<mml:mi>o</mml:mi>
<mml:mi>n</mml:mi>
<mml:mi>d</mml:mi>
<mml:mo>&#x3d;</mml:mo>
<mml:mo>{</mml:mo>
<mml:mi>t</mml:mi>
<mml:mi>r</mml:mi>
<mml:mi>u</mml:mi>
<mml:mi>e</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi>f</mml:mi>
<mml:mi>a</mml:mi>
<mml:mi>l</mml:mi>
<mml:mi>s</mml:mi>
<mml:mi>e</mml:mi>
<mml:mo>}</mml:mo>
<mml:mo>,</mml:mo>
<mml:mi>c</mml:mi>
<mml:mi>o</mml:mi>
<mml:mi>n</mml:mi>
<mml:mi>d</mml:mi>
<mml:mo>&#x3d;</mml:mo>
<mml:msub>
<mml:mi>g</mml:mi>
<mml:mi>d</mml:mi>
</mml:msub>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:mi>q</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi>x</mml:mi>
</mml:mrow>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd>
<mml:msub>
<mml:mi>&#x3b4;</mml:mi>
<mml:mi>d</mml:mi>
</mml:msub>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:msup>
<mml:mi>q</mml:mi>
<mml:mo>&#x2212;</mml:mo>
</mml:msup>
<mml:mo>,</mml:mo>
<mml:mi>e</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi>c</mml:mi>
<mml:mi>o</mml:mi>
<mml:mi>n</mml:mi>
<mml:mi>d</mml:mi>
</mml:mrow>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>&#x3d;</mml:mo>
<mml:msup>
<mml:mi>q</mml:mi>
<mml:mo>&#x2b;</mml:mo>
</mml:msup>
<mml:mtext>,</mml:mtext>
<mml:mrow>
<mml:mo>{</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mi>e</mml:mi>
<mml:mrow>
<mml:mi>d</mml:mi>
<mml:mi>d</mml:mi>
<mml:mn>1</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:msub>
<mml:mi>e</mml:mi>
<mml:mrow>
<mml:mi>d</mml:mi>
<mml:mi>d</mml:mi>
<mml:mn>2</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mo>&#x22ef;</mml:mo>
</mml:mrow>
<mml:mo>}</mml:mo>
</mml:mrow>
<mml:mtext>&#xa0;</mml:mtext>
</mml:mtd>
</mml:mtr>
</mml:mtable>
</mml:mrow>
</mml:mtd>
</mml:mtr>
</mml:mtable>
</mml:mrow>
</mml:mrow>
</mml:math>
<label>(15)</label>
</disp-formula>
</p>
</sec>
</sec>
<sec id="s4-2">
<title>4.2 CPS modeling of microgrid based on hybrid automaton</title>
<p>In this section, to clearly present the operation status, state transfer conditions, and state transfer process of each unit in the microgrid under the conditions of external control commands or various events, the cyber-physical integration modeling of MCPS is established using hybrid automaton (HA) (<xref ref-type="bibr" rid="B6">Lin et al., 2021</xref>). The HA is an extension of the original Finite State Machine (FSM) (<xref ref-type="bibr" rid="B4">Li et al., 2014</xref>), that is, continuous variables are added to the variables of the system and the influence of continuous variables is added to the state transfer process of the system.</p>
<p>The HA can describe the continuous dynamic behavior of the system as well as the discrete dynamic behavior of the system. An HA usually includes the following elements: 1) present state (the current state of the system), 2) conditions (also called events, when a condition is met, it will trigger the state transition of the system), 3) action (referring to the action executed after the system state transition condition is met) 4) second state (referring to the next state to be transitioned after the system state transition condition is met).</p>
<p>An HA is often represented by a directed graph and the state of the HA is represented by a circle. In each state, there is a function that describes how the continuous state changes. A directed curve is used to represent the state transition process of the system. The starting point of the directed curve represents the current state of the system and the end point represents the next state after the transition. At the same time, mark the transition conditions of the system state transition on the edge of the directed curve. Take an HA with two states as an example to illustrate the working principle of HA, as shown in <xref ref-type="fig" rid="F3">Figure. 3</xref>.</p>
<fig id="F3" position="float">
<label>FIGURE 3</label>
<caption>
<p>The directed graph of hybrid automaton.</p>
</caption>
<graphic xlink:href="fenrg-10-748828-g003.tif"/>
</fig>
<p>The HA in <xref ref-type="fig" rid="F3">Figure. 3</xref> includes two states S1 and S2. The arrow pointing to S1 on the left indicates that the initial state of the system is S1. Above S1, draw a directed curve with the start and end points on S1. The condition a of state transition is marked on the curve, which means that when the system state is S1 and condition a is met, the state of HA remains unchanged; the directed curve marked with condition c from S1 to S2 shows that when the system state is S1 and condition c is satisfied, the system state is converted to S2. Similarly, according to the directed graph, when the system is in the S2 state, and the condition b is satisfied, the state of HA remains unchanged; when the condition b is satisfied, the system state changes to S1.</p>
<p>Taking the three states of a device in the MCPS as an example, the CPS model of the device is established using HA as shown in <xref ref-type="fig" rid="F4">Figure. 4</xref>.</p>
<fig id="F4" position="float">
<label>FIGURE 4</label>
<caption>
<p>The CPS model of device using HA.</p>
</caption>
<graphic xlink:href="fenrg-10-748828-g004.tif"/>
</fig>
<p>As seen from <xref ref-type="fig" rid="F4">Figure 4</xref>, the transfer process between different states of the device can be described as follows: the trajectory of the device starts from the initial state, and the transfer process includes continuous state evolution and discrete state transfer. The initial discrete state of the device is q1, then the continuous variable x evolves according to the following differential equation.<disp-formula id="e16">
<mml:math id="m47">
<mml:mrow>
<mml:mfrac>
<mml:mrow>
<mml:mi>d</mml:mi>
<mml:mi>x</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi>d</mml:mi>
<mml:mi>t</mml:mi>
</mml:mrow>
</mml:mfrac>
<mml:mo>&#x3d;</mml:mo>
<mml:mi>f</mml:mi>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mi>q</mml:mi>
<mml:mn>1</mml:mn>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mi>x</mml:mi>
</mml:mrow>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:mi>x</mml:mi>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mn>0</mml:mn>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>&#x3d;</mml:mo>
<mml:msub>
<mml:mi>x</mml:mi>
<mml:mn>0</mml:mn>
</mml:msub>
</mml:mrow>
</mml:math>
<label>(16)</label>
</disp-formula>
</p>
<p>As long as the state transfer condition function <italic>g</italic> () is not satisfied, the device keeps evolving in the current operating state, i.e., the discrete state <italic>q</italic> remains unchanged with <italic>q</italic>(t) &#x3d; <italic>q</italic>
<sub>1</sub>. And when the state transfer condition function <italic>G</italic> (<italic>q</italic>
<sub>1</sub>, <italic>q</italic>
<sub>2</sub>) is satisfied for some reason, the discrete state transfer of the system is triggered and the system changes from the discrete state <italic>q</italic>
<sub>1</sub> to the discrete state <italic>q</italic>
<sub>2</sub> according to the state transfer function <inline-formula id="inf32">
<mml:math id="m48">
<mml:mi>&#x3b4;</mml:mi>
</mml:math>
</inline-formula>. The <italic>x</italic> jumps from the current value of the continuous variable to the new value according to the reset function and evolves according to the corresponding differential equation in the new discrete state <italic>q</italic>
<sub>2</sub>. The switching between other modes is similar to the above process, and by repeating this process continuously, the device runs continuously.</p>
<p>The evolution of the above device can be described by the evolutionary trajectory shown in <xref ref-type="fig" rid="F5">Figure 5</xref>.</p>
<fig id="F5" position="float">
<label>FIGURE 5</label>
<caption>
<p>The evolution trajectory of the device.</p>
</caption>
<graphic xlink:href="fenrg-10-748828-g005.tif"/>
</fig>
<p>The transfer conditions between the different modes can be divided into two categories: internal state events due to the evolution of internal state variables across a specific threshold or state plane, and external state events due to the influence of external inputs (e.g., command issuance) on the system. These two types of events can act on the MCPS either individually or simultaneously.</p>
<p>By connecting CPS models of the multiple devices established using HA in the MCPS through the CPS data bus, the CPS model of the entire microgrid system (i.e., the system-level CPS model) can be obtained, as shown in <xref ref-type="fig" rid="F6">Figure 6</xref>.</p>
<fig id="F6" position="float">
<label>FIGURE 6</label>
<caption>
<p>The CPS model of the entire microgrid system.</p>
</caption>
<graphic xlink:href="fenrg-10-748828-g006.tif"/>
</fig>
<p>As can be seen from <xref ref-type="fig" rid="F6">Figure 6</xref> that the operating process of the microgrid system can be characterized and analyzed by multiple state transfer models, and the transfer between different states is achieved using HA. In each operating state, the device&#x2019;s continuous variation characteristics are described using differential or algebraic equations.</p>
<p>In summary, the microgrid model established in this paper is completely different from the conventional microgrid state space model in terms of the modeling approach and thinking and has more advantages in terms of observability. On the one hand, no matter what operating state the microgrid is in, the operating state of each unit in the microgrid can be known. On the other hand, during the transfer of the microgrid operating state, the operation state transfer process of each unit in the microgrid and the conditions of transfer can be clearly presented and observed, which is not available in the conventional state space model.</p>
</sec>
</sec>
<sec id="s5">
<title>5 Model validation</title>
<sec id="s5-1">
<title>5.1 Case description</title>
<p>This paper takes the operating mode of Interlinking Converter (ILC) in hybrid AC/DC microgrids (HMs) as an example to verify the modeling method proposed in this paper. <xref ref-type="fig" rid="F7">Figure 7</xref> corresponds to the topological structure diagram of the HMs in this example, which consists of an AC subgrid, a DC subgrid, and ILC connecting the AC subgrid and the DC subgrid.</p>
<fig id="F7" position="float">
<label>FIGURE 7</label>
<caption>
<p>The topology structure of HMs.</p>
</caption>
<graphic xlink:href="fenrg-10-748828-g007.tif"/>
</fig>
<p>Among them, an unbalanced load is connected to the AC bus. The unbalanced load will make the AC bus voltage <italic>u</italic>
<sub>ac</sub> and the ILC current <italic>i</italic>
<sub>ILC</sub> unbalanced. The DC bus voltage <italic>u</italic>
<sub>dc</sub> will produce ripple through the coupling effect of ILC. Since ILC does not run at rated power most of the time, we can make full use of the remaining available capacity of ILC to realize HMs power quality control, including balancing <italic>u</italic>
<sub>ac</sub>, <italic>i</italic>
<sub>ILC</sub> and suppressing ripple in <italic>u</italic>
<sub>dc</sub>. The specific principles are beyond the scope of this paper and are referred to the references (<xref ref-type="bibr" rid="B7">Nejabatkhah et al., 2018</xref>; <xref ref-type="bibr" rid="B10">Wang et al., 2018</xref>). Among them, ILC can be divided into different operating modes according to different control objectives.</p>
<p>The different operating modes of ILC are realized by adjusting the equivalent impedance zILC of ILC. Different zILC corresponds to different operating modes. The switching between the different operating modes of ILC is determined by the imbalance degree of <italic>u</italic>
<sub>ac</sub>, <italic>i</italic>
<sub>ILC</sub> and the ripple ratio of <italic>u</italic>
<sub>dc</sub>. <italic>B</italic>
<sub>iILC</sub> represents the unbalance degree of <italic>i</italic>
<sub>ILC</sub>. <italic>B</italic>
<sub>uac</sub> represents the unbalance degree of <italic>u</italic>
<sub>ac</sub>. <italic>R</italic>
<sub>udc</sub> represents the ripple ratio of <italic>u</italic>
<sub>dc</sub>. <italic>B</italic>
<sub>iILC-up</sub> represents the upper limit of <italic>B</italic>
<sub>iILC</sub>. <italic>B</italic>
<sub>uac-up</sub> represents the upper limit of <italic>B</italic>
<sub>uac</sub>. <italic>R</italic>
<sub>udc-up</sub> represents the upper limit of <italic>R</italic>
<sub>udc</sub>. When <italic>B</italic>
<sub>iILC</sub> is greater than <italic>B</italic>
<sub>iILC-up</sub>, which means that the current imbalance of ILC exceeds the upper limit, ILC needs to switch to current imbalance compensation mode. Other situations are similar. The situation that two or three of <italic>i</italic>
<sub>ILC</sub>, <italic>u</italic>
<sub>ac</sub>, and <italic>u</italic>
<sub>dc</sub> exceed the upper limit is defined as an ILC fault state, and it is necessary to switch to the ILC fault state.</p>
<p>
<italic>B</italic>
<sub>iILC-stan</sub> represents the standard value of <italic>B</italic>
<sub>iILC</sub>
<italic>. B</italic>
<sub>uac-stan</sub> represents the standard value of <italic>B</italic>
<sub>uac</sub>. <italic>R</italic>
<sub>udc-stan</sub> represents the standard value of <italic>R</italic>
<sub>udc</sub> When ILC works in the current unbalance compensation mode, the ILC current balances. The condition that <italic>B</italic>
<sub>iILC</sub> equals to <italic>B</italic>
<sub>iILC-stan</sub> is satisfied. Other situations are similar and not mentioned here.</p>
</sec>
<sec id="s5-2">
<title>5.2 HA-based ILC model</title>
<p>According to the modeling method of part of the MCPS model in <xref ref-type="sec" rid="s4-2">Section 4.2</xref>, the modeling process of ILC can be obtained as follows.</p>
<p>&#x2460; Determine the input and output variables of ILC:</p>
<p>Input variables include external input control command <italic>e</italic>
<sub>in</sub> and continuous input variable <italic>u</italic>
<sub>in</sub>. Among them, <inline-formula id="inf33">
<mml:math id="m49">
<mml:mrow>
<mml:msub>
<mml:mi>e</mml:mi>
<mml:mrow>
<mml:mi>i</mml:mi>
<mml:mi>n</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mo>&#x3d;</mml:mo>
<mml:mrow>
<mml:mo>{</mml:mo>
<mml:mrow>
<mml:mi>o</mml:mi>
<mml:mi>f</mml:mi>
<mml:mi>f</mml:mi>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:mi>o</mml:mi>
<mml:mi>n</mml:mi>
</mml:mrow>
<mml:mo>}</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:math>
</inline-formula> represents the start and stop running commands of ILC, and.</p>
<p>
<inline-formula id="inf34">
<mml:math id="m50">
<mml:mrow>
<mml:msub>
<mml:mi>u</mml:mi>
<mml:mrow>
<mml:mi>i</mml:mi>
<mml:mi>n</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mo>&#x3d;</mml:mo>
<mml:mrow>
<mml:mo>{</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mi>B</mml:mi>
<mml:mrow>
<mml:mi>i</mml:mi>
<mml:mi>I</mml:mi>
<mml:mi>L</mml:mi>
<mml:mi>C</mml:mi>
<mml:mo>&#x2212;</mml:mo>
<mml:mi>u</mml:mi>
<mml:mi>p</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:msub>
<mml:mi>B</mml:mi>
<mml:mrow>
<mml:mi>u</mml:mi>
<mml:mi>a</mml:mi>
<mml:mi>c</mml:mi>
<mml:mo>&#x2212;</mml:mo>
<mml:mi>u</mml:mi>
<mml:mi>p</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:msub>
<mml:mi>R</mml:mi>
<mml:mrow>
<mml:mi>u</mml:mi>
<mml:mi>d</mml:mi>
<mml:mi>c</mml:mi>
<mml:mo>&#x2212;</mml:mo>
<mml:mi>u</mml:mi>
<mml:mi>p</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:msub>
<mml:mi>B</mml:mi>
<mml:mrow>
<mml:mi>i</mml:mi>
<mml:mi>I</mml:mi>
<mml:mi>L</mml:mi>
<mml:mi>C</mml:mi>
<mml:mo>&#x2212;</mml:mo>
<mml:mi>s</mml:mi>
<mml:mo>&#x2061;</mml:mo>
<mml:mi>tan</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:msub>
<mml:mi>B</mml:mi>
<mml:mrow>
<mml:mi>u</mml:mi>
<mml:mi>a</mml:mi>
<mml:mi>c</mml:mi>
<mml:mo>&#x2212;</mml:mo>
<mml:mi>s</mml:mi>
<mml:mo>&#x2061;</mml:mo>
<mml:mi>tan</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:msub>
<mml:mi>R</mml:mi>
<mml:mrow>
<mml:mi>u</mml:mi>
<mml:mi>d</mml:mi>
<mml:mi>c</mml:mi>
<mml:mo>&#x2212;</mml:mo>
<mml:mi>s</mml:mi>
<mml:mo>&#x2061;</mml:mo>
<mml:mi>tan</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mrow>
<mml:mo>}</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:math>
</inline-formula>.</p>
<p>The output variables include <italic>y</italic>
<sub>out</sub> and the output event signal <italic>e</italic>
<sub>out</sub> which indicates ILC failure, among them <inline-formula id="inf35">
<mml:math id="m51">
<mml:mrow>
<mml:msub>
<mml:mi>y</mml:mi>
<mml:mrow>
<mml:mi>o</mml:mi>
<mml:mi>u</mml:mi>
<mml:mi>t</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mo>&#x3d;</mml:mo>
<mml:mrow>
<mml:mo>{</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mi>u</mml:mi>
<mml:mrow>
<mml:mi>a</mml:mi>
<mml:mi>c</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:msub>
<mml:mi>u</mml:mi>
<mml:mrow>
<mml:mi>d</mml:mi>
<mml:mi>c</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:msub>
<mml:mi>i</mml:mi>
<mml:mrow>
<mml:mi>I</mml:mi>
<mml:mi>L</mml:mi>
<mml:mi>C</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mrow>
<mml:mo>}</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:math>
</inline-formula>.</p>
<p>&#x2461; Determine the state variables of the ILC:</p>
<p>Discrete variable <inline-formula id="inf36">
<mml:math id="m52">
<mml:mrow>
<mml:mi>q</mml:mi>
<mml:mo>&#x3d;</mml:mo>
<mml:mrow>
<mml:mo>{</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mi>q</mml:mi>
<mml:mrow>
<mml:mi>p</mml:mi>
<mml:mi>o</mml:mi>
<mml:mi>w</mml:mi>
<mml:mi>e</mml:mi>
<mml:mi>r</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:msub>
<mml:mi>q</mml:mi>
<mml:mrow>
<mml:mi>s</mml:mi>
<mml:mi>t</mml:mi>
<mml:mi>a</mml:mi>
<mml:mi>t</mml:mi>
<mml:mi>e</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:msub>
<mml:mi>q</mml:mi>
<mml:mrow>
<mml:mi>mod</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mrow>
<mml:mo>}</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:math>
</inline-formula> includes:</p>
<p>
<inline-formula id="inf37">
<mml:math id="m53">
<mml:mrow>
<mml:msub>
<mml:mi>q</mml:mi>
<mml:mrow>
<mml:mi>p</mml:mi>
<mml:mi>o</mml:mi>
<mml:mi>w</mml:mi>
<mml:mi>e</mml:mi>
<mml:mi>r</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mo>&#x3d;</mml:mo>
<mml:mrow>
<mml:mo>{</mml:mo>
<mml:mrow>
<mml:mi>o</mml:mi>
<mml:mi>f</mml:mi>
<mml:mi>f</mml:mi>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:mi>o</mml:mi>
<mml:mi>n</mml:mi>
</mml:mrow>
<mml:mo>}</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:math>
</inline-formula> represents the running and stopping status of ILC;</p>
<p>
<inline-formula id="inf38">
<mml:math id="m54">
<mml:mrow>
<mml:msub>
<mml:mi>q</mml:mi>
<mml:mrow>
<mml:mi>s</mml:mi>
<mml:mi>t</mml:mi>
<mml:mi>a</mml:mi>
<mml:mi>t</mml:mi>
<mml:mi>e</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mo>&#x3d;</mml:mo>
<mml:mrow>
<mml:mo>{</mml:mo>
<mml:mrow>
<mml:mi>f</mml:mi>
<mml:mi>a</mml:mi>
<mml:mi>u</mml:mi>
<mml:mi>l</mml:mi>
<mml:mi>t</mml:mi>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:mi>n</mml:mi>
<mml:mi>o</mml:mi>
<mml:mi>r</mml:mi>
<mml:mi>m</mml:mi>
<mml:mi>a</mml:mi>
<mml:mi>l</mml:mi>
</mml:mrow>
<mml:mo>}</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:math>
</inline-formula> represents the fault and normal running status of the ILC;</p>
<p>
<inline-formula id="inf39">
<mml:math id="m55">
<mml:mrow>
<mml:msub>
<mml:mi>q</mml:mi>
<mml:mrow>
<mml:mi>mod</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mo>&#x3d;</mml:mo>
<mml:mrow>
<mml:mo>{</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mi>q</mml:mi>
<mml:mrow>
<mml:mi>mod</mml:mi>
<mml:mn>1</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:msub>
<mml:mi>q</mml:mi>
<mml:mrow>
<mml:mi>mod</mml:mi>
<mml:mn>2</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:msub>
<mml:mi>q</mml:mi>
<mml:mrow>
<mml:mi>mod</mml:mi>
<mml:mn>3</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:msub>
<mml:mi>q</mml:mi>
<mml:mrow>
<mml:mi>mod</mml:mi>
<mml:mn>4</mml:mn>
</mml:mrow>
</mml:msub>
</mml:mrow>
<mml:mo>}</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:math>
</inline-formula> represents that ILC respectively works in uncontrolled mode, AC bus voltage negative sequence compensation mode, current imbalance compensation mode and DC bus voltage ripple suppression mode.</p>
<p>Continuous variables <inline-formula id="inf40">
<mml:math id="m56">
<mml:mrow>
<mml:mi>x</mml:mi>
<mml:mo>&#x3d;</mml:mo>
<mml:mrow>
<mml:mo>{</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mi>u</mml:mi>
<mml:mrow>
<mml:mi>a</mml:mi>
<mml:mi>c</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:msub>
<mml:mi>u</mml:mi>
<mml:mrow>
<mml:mi>d</mml:mi>
<mml:mi>c</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:msub>
<mml:mi>i</mml:mi>
<mml:mrow>
<mml:mi>I</mml:mi>
<mml:mi>L</mml:mi>
<mml:mi>C</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mtext>&#x2009;</mml:mtext>
<mml:msub>
<mml:mi>z</mml:mi>
<mml:mrow>
<mml:mi>I</mml:mi>
<mml:mi>L</mml:mi>
<mml:mi>C</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mrow>
<mml:mo>}</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:math>
</inline-formula>.</p>
<p>&#x2462; Determine the transition function of continuous system and discrete system and the function of interaction between the two: define the value of parameter m as 5, and continuous system has different update functions under different values. The realization of the multi-mode operation of ILC is essentially achieved by adjusting the equivalent impedance <italic>z</italic>
<sub>ILC</sub> of ILC, so the update function of the continuous system is the function of adjusting the ILC equivalent impedance <italic>z</italic>
<sub>ILC</sub>, that is <italic>f</italic>
<sub>m</sub> (<italic>z</italic>
<sub>ILC</sub>, <italic>i</italic>
<sub>ILC</sub>, <italic>u</italic>
<sub>ac</sub>). The discrete system acts on the continuous part by the value of m.</p>
<p>Define five hypersurfaces <italic>h</italic>
<sub>i</sub>, which are used to generate five continuous events <italic>e</italic>
<sub>c</sub>, and influence the discrete system through <italic>e</italic>
<sub>c</sub>. Among them, <inline-formula id="inf41">
<mml:math id="m57">
<mml:mrow>
<mml:msub>
<mml:mi>e</mml:mi>
<mml:mi>c</mml:mi>
</mml:msub>
<mml:mo>&#x3d;</mml:mo>
<mml:mrow>
<mml:mo>{</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mi>e</mml:mi>
<mml:mrow>
<mml:mi>c</mml:mi>
<mml:mn>1</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:msub>
<mml:mi>e</mml:mi>
<mml:mrow>
<mml:mi>c</mml:mi>
<mml:mn>2</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:msub>
<mml:mi>e</mml:mi>
<mml:mrow>
<mml:mi>c</mml:mi>
<mml:mn>3</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:msub>
<mml:mi>e</mml:mi>
<mml:mrow>
<mml:mi>c</mml:mi>
<mml:mn>4</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:msub>
<mml:mi>e</mml:mi>
<mml:mrow>
<mml:mi>c</mml:mi>
<mml:mn>5</mml:mn>
</mml:mrow>
</mml:msub>
</mml:mrow>
<mml:mo>}</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:math>
</inline-formula> includes: <italic>e</italic>
<sub>c1</sub> represents the fault of ILC. <italic>e</italic>
<sub>c2</sub> represents uncontrolled event. <italic>e</italic>
<sub>c3</sub> represents ILC current balance. <italic>e</italic>
<sub>c4</sub> represents voltage balance in AC bus. <italic>e</italic>
<sub>c5</sub> represents no ripple in DC bus voltage.</p>
<p>The model of ILC can be obtained as shown in <xref ref-type="fig" rid="F8">Figure 8</xref> according to the definition of the above elements. The above model can describe the effect of external input on ILC, and the relationship between internal state and input-output. The transition process and conditions of ILC between different states can be described by the model in <xref ref-type="fig" rid="F9">Figure 9</xref>.</p>
<fig id="F8" position="float">
<label>FIGURE 8</label>
<caption>
<p>The model of ILC.</p>
</caption>
<graphic xlink:href="fenrg-10-748828-g008.tif"/>
</fig>
<fig id="F9" position="float">
<label>FIGURE 9</label>
<caption>
<p>The conversion process of different operating states of ILC.</p>
</caption>
<graphic xlink:href="fenrg-10-748828-g009.tif"/>
</fig>
<p>The conversion conditions between the different modes in <xref ref-type="fig" rid="F9">Figure 9</xref> are shown in <xref ref-type="table" rid="T1">Table 1</xref>
</p>
<table-wrap id="T1" position="float">
<label>TABLE 1</label>
<caption>
<p>The conversion conditions of ILC.</p>
</caption>
<table>
<thead valign="top">
<tr>
<th align="left">Conditions</th>
<th align="left">Function description</th>
<th align="left">Conditions description</th>
</tr>
</thead>
<tbody valign="top">
<tr>
<td align="left">
<italic>G</italic> (<italic>q</italic>
<sub>2</sub>, <italic>q</italic>
<sub>3</sub>)</td>
<td align="left">Switching the ILC from state 2 to state 3</td>
<td align="left">
<italic>B</italic>
<sub>iILC</sub>
<italic>&#x3e;B</italic>
<sub>iILC-up</sub>&#x26;<italic>B</italic>
<sub>uac</sub> <italic>&#x3c; B</italic>
<sub>uac<italic>-up</italic>
</sub>&#x26;<italic>R</italic>
<sub>udc</sub> <italic>&#x3c; R</italic>
<sub>udc<italic>-up</italic>
</sub>
</td>
</tr>
<tr>
<td align="left">
<italic>G</italic> (<italic>q</italic>
<sub>2</sub>, <italic>q</italic>
<sub>4</sub>)</td>
<td align="left">Switching the ILC from state 2 to state 4</td>
<td align="left">
<italic>B</italic>
<sub>iILC</sub> <italic>&#x3c; B</italic>
<sub>iILC-up</sub>&#x26;<italic>B</italic>
<sub>uac</sub>
<italic>&#x3e;B</italic>
<sub>uac<italic>-up</italic>
</sub>&#x26;<italic>R</italic>
<sub>udc</sub> <italic>&#x3c; R</italic>
<sub>udc<italic>-up</italic>
</sub>
</td>
</tr>
<tr>
<td align="left">
<italic>G</italic> (<italic>q</italic>
<sub>2</sub>, <italic>q</italic>
<sub>5</sub>)</td>
<td align="left">Switching the ILC from state 2 to state 5</td>
<td align="left">
<italic>B</italic>
<sub>iILC</sub> <italic>&#x3c; B</italic>
<sub>iILC-up</sub>&#x26;<italic>B</italic>
<sub>uac</sub> <italic>&#x3c; B</italic>
<sub>uac<italic>-up</italic>
</sub>&#x26;<italic>R</italic>
<sub>udc</sub>
<italic>&#x3e;R</italic>
<sub>udc<italic>-up</italic>
</sub>
</td>
</tr>
<tr>
<td align="left">
<italic>G</italic> (<italic>q</italic>
<sub>3</sub>, <italic>q</italic>
<sub>4</sub>)</td>
<td align="left">Switching the ILC from state 3 to state 4</td>
<td align="left">
<italic>B</italic>
<sub>iILC</sub> <italic>&#x3d; B</italic>
<sub>iILC-stan</sub>&#x26;<italic>B</italic>
<sub>uac</sub>
<italic>&#x3e;B</italic>
<sub>uac<italic>-up</italic>
</sub>&#x26;<italic>R</italic>
<sub>udc</sub> <italic>&#x3c; R</italic>
<sub>udc<italic>-up</italic>
</sub>
</td>
</tr>
<tr>
<td align="left">
<italic>G</italic> (<italic>q</italic>
<sub>3</sub>, <italic>q</italic>
<sub>5</sub>)</td>
<td align="left">Switching the ILC from state 3 to state 5</td>
<td align="left">
<italic>B</italic>
<sub>iILC</sub> <italic>&#x3d; B</italic>
<sub>iILC-stan</sub>&#x26;<italic>B</italic>
<sub>uac</sub> <italic>&#x3c; B</italic>
<sub>uac<italic>-up</italic>
</sub>&#x26;<italic>R</italic>
<sub>udc</sub>
<italic>&#x3e;R</italic>
<sub>udc<italic>-up</italic>
</sub>
</td>
</tr>
<tr>
<td align="left">
<italic>G</italic> (<italic>q</italic>
<sub>4</sub>, <italic>q</italic>
<sub>3</sub>)</td>
<td align="left">Switching the ILC from state 4 to state 3</td>
<td align="left">
<italic>B</italic>
<sub>iILC</sub>
<italic>&#x3e;B</italic>
<sub>iILC-up</sub>&#x26;<italic>B</italic>
<sub>uac</sub> <italic>&#x3d; B</italic>
<sub>uac<italic>-stan</italic>
</sub>&#x26;<italic>R</italic>
<sub>udc</sub> <italic>&#x3c; R</italic>
<sub>udc<italic>-up</italic>
</sub>
</td>
</tr>
<tr>
<td align="left">
<italic>G</italic> (<italic>q</italic>
<sub>5</sub>, <italic>q</italic>
<sub>3</sub>)</td>
<td align="left">Switching the ILC from state 5 to state 3</td>
<td align="left">
<italic>B</italic>
<sub>iILC</sub>
<italic>&#x3e;B</italic>
<sub>iILC-up</sub>&#x26;<italic>B</italic>
<sub>uac</sub> <italic>&#x3c; B</italic>
<sub>uac<italic>-up</italic>
</sub>&#x26;<italic>R</italic>
<sub>udc</sub> <italic>&#x3d; R</italic>
<sub>udc<italic>-stan</italic>
</sub>
</td>
</tr>
<tr>
<td align="left">
<italic>G</italic> (<italic>q</italic>
<sub>5</sub>, <italic>q</italic>
<sub>4</sub>)</td>
<td align="left">Switching the ILC from state 5 to state 4</td>
<td align="left">
<italic>B</italic>
<sub>iILC</sub> <italic>&#x3c; B</italic>
<sub>iILC-up</sub>&#x26;<italic>B</italic>
<sub>uac</sub>
<italic>&#x3e;B</italic>
<sub>uac<italic>-up</italic>
</sub>&#x26;<italic>R</italic>
<sub>udc</sub> <italic>&#x3d; R</italic>
<sub>udc<italic>-stan</italic>
</sub>
</td>
</tr>
<tr>
<td align="left">
<italic>G</italic> (<italic>q</italic>
<sub>3</sub>, <italic>q</italic>
<sub>1</sub>) &#x3d;</td>
<td align="left">Switching the ILC from state 2, state 3, state 4 and state 5 to state 1</td>
<td align="left">{<italic>B</italic>
<sub>iILC</sub>
<italic>&#x3e;B</italic>
<sub>iILC-up</sub>&#x26;<italic>B</italic>
<sub>uac</sub>
<italic>&#x3e;B</italic>
<sub>uac<italic>-up</italic>
</sub>&#x26;<italic>R</italic>
<sub>udc</sub> <italic>&#x3c; R</italic>
<sub>udc<italic>-up</italic>
</sub>}</td>
</tr>
<tr>
<td align="left">
<italic>G</italic> (<italic>q</italic>
<sub>4</sub>, <italic>q</italic>
<sub>1</sub>) &#x3d;</td>
<td align="left"/>
<td align="left">{<italic>B</italic>
<sub>iILC</sub>
<italic>&#x3e;B</italic>
<sub>iILC-up</sub>&#x26;<italic>B</italic>
<sub>uac</sub> <italic>&#x3c; B</italic>
<sub>uac<italic>-up</italic>
</sub>&#x26;<italic>R</italic>
<sub>udc</sub>
<italic>&#x3e;R</italic>
<sub>udc<italic>-up</italic>
</sub>}</td>
</tr>
<tr>
<td align="left">
<italic>G</italic> (<italic>q</italic>
<sub>5</sub>, <italic>q</italic>
<sub>1</sub>) &#x3d;</td>
<td align="left"/>
<td align="left">{<italic>B</italic>
<sub>iILC</sub> <italic>&#x3c; B</italic>
<sub>iILC-up</sub>&#x26;<italic>B</italic>
<sub>uac</sub>
<italic>&#x3e;B</italic>
<sub>uac<italic>-up</italic>
</sub>&#x26;<italic>R</italic>
<sub>udc</sub>
<italic>&#x3e;R</italic>
<sub>udc<italic>-up</italic>
</sub>}</td>
</tr>
<tr>
<td align="left">
<italic>G</italic> (<italic>q</italic>
<sub>2</sub>, <italic>q</italic>
<sub>1</sub>)</td>
<td align="left"/>
<td align="left">{<italic>B</italic>
<sub>iILC</sub>
<italic>&#x3e;B</italic>
<sub>iILC-up</sub>&#x26;<italic>B</italic>
<sub>uac</sub>
<italic>&#x3e;B</italic>
<sub>uac<italic>-up</italic>
</sub>&#x26;<italic>R</italic>
<sub>udc</sub>
<italic>&#x3e;R</italic>
<sub>udc<italic>-up</italic>
</sub>}</td>
</tr>
</tbody>
</table>
</table-wrap>
</sec>
<sec id="s5-3">
<title>5.3 Simulation analysis</title>
<p>Take the transition from state 3 to state 4 as an example to illustrate the transition process of ILC between different modes. When ILC is in state 3, ILC works in the current imbalance compensation mode. The output current of ILC is basically balanced, as shown in <xref ref-type="fig" rid="F8">Figure 8C</xref>, but the AC bus voltage <italic>u</italic>
<sub>ac</sub> is unbalanced, as shown in <xref ref-type="fig" rid="F8">Figure 8B</xref>. The DC bus voltage <italic>u</italic>
<sub>dc</sub> produces ripple, as shown in <xref ref-type="fig" rid="F8">Figure 8D</xref>. When <italic>B</italic>
<sub>uac</sub> is greater than <italic>B</italic>
<sub>uac<italic>-up</italic>
</sub> for some reason, adjust the impedance <italic>z</italic>
<sub>ILC</sub> of the ILC to make ILC run from state three to state four. At this time, ILC works in AC bus voltage negative sequence compensation mode, AC bus voltage <italic>u</italic>
<sub>ac</sub> is basically balanced, but ILC output current <italic>i</italic>
<sub>ILC</sub> becomes unbalanced, and DC bus voltage <italic>u</italic>
<sub>dc</sub> produces ripple. The transition process between the other modes is similar. The waveform of the conversion process of ILC in different working states in <xref ref-type="fig" rid="F7">Figure 7</xref> above is obtained as shown in <xref ref-type="fig" rid="F10">Figure 10</xref>, based on the simulation model shown in <xref ref-type="fig" rid="F9">Figure 9</xref> built by the PSCAD simulation software. Among them, state 1, state 2, state 3 and State 4 respectively correspond to the uncontrolled mode, ILC output current imbalance compensation mode, AC bus voltage imbalance compensation mode and DC bus voltage ripple suppression mode.</p>
<fig id="F10" position="float">
<label>FIGURE 10</label>
<caption>
<p>The conversion process of different operating states of ILC.</p>
</caption>
<graphic xlink:href="fenrg-10-748828-g010.tif"/>
</fig>
<p>Take the transition from state 3 to state 4 as an example to illustrate the transition process of ILC between different modes. When ILC is in state 3, ILC works in the current imbalance compensation mode. The output current of ILC is basically balanced, as shown in <xref ref-type="fig" rid="F10">Figure 10C</xref>, but the AC bus voltage <italic>u</italic>
<sub>ac</sub> is unbalanced, as shown in <xref ref-type="fig" rid="F10">Figure 10B</xref>. The DC bus voltage <italic>u</italic>
<sub>dc</sub> produces ripple, as shown in <xref ref-type="fig" rid="F10">Figure 10D</xref>. When <italic>B</italic>
<sub>uac</sub> is greater than <italic>B</italic>
<sub>uac<italic>-up</italic>
</sub> for some reason, adjust the impedance <italic>z</italic>
<sub>ILC</sub> of the ILC to make ILC run from state three to state four. At this time, ILC works in AC bus voltage negative sequence compensation mode, AC bus voltage <italic>u</italic>
<sub>ac</sub> is basically balanced, but ILC output current <italic>i</italic>
<sub>ILC</sub> becomes unbalanced, and DC bus voltage <italic>u</italic>
<sub>dc</sub> produces ripple. The transition process between the other modes is similar.</p>
</sec>
</sec>
<sec id="s6">
<title>6 Conclusion</title>
<p>To fully reveal the interplay of the cyber system and physical system in the microgrid and present the operation state of each unit in the microgrid and its state transfer process, this paper takes the continuous operation characteristics and discrete process of the microgrid into consideration and establishes the cyber-physical integration modeling of MCPS. The main conclusions are as follows:</p>
<p>1) A generic hierarchical modeling framework applicable to the modeling of the MCPS is proposed, which is divided into the physical device layer and controller layer. And detailed mathematical expressions describing the dynamic characteristics of each layer and the interactions between layers are given, which contributes to a better understanding of the interplay of the information flow and energy flow in the MCPS;</p>
<p>2) The cyber-physical integration modeling of the MCPS is established using HA, which can clearly present the operation state of each unit in the microgrid and its state transfer process. This is beneficial to design the optimal operation state trajectory of the system and explore the optimal control strategy; The model established from the perspective of generality can be extended to any dynamic system of cyber-physical integration, and the model established is more intuitive and easy to extend.</p>
<p>The CPS model of the MCPS established in this paper will be applied in detail in the future work, including the use of the established model to guide the planning of the microgrid system, the design of the optimal system strategy, etc.</p>
</sec>
</body>
<back>
<sec sec-type="data-availability" id="s7">
<title>Data availability statement</title>
<p>The original contributions presented in the study are included in the article/Supplementary Material, further inquiries can be directed to the corresponding author.</p>
</sec>
<sec id="s8">
<title>Author contributions</title>
<p>PL: methodology, conceptualization and funding acquisition. FZ: software and writing&#x2014;original draft preparation. XM: formal analysis. SY: investigation and resources. PY: writing&#x2014;review and editing. YY: reference searching and visualization. ZZ: validation. CL: supervision. LL: data curation. All authors have read and agreed to the published version of the manuscript.</p>
</sec>
<sec id="s9">
<title>Funding</title>
<p>This research was funded by The Research Project of Digital Grid Research Institute, China Southern Power Grid under Grant YTYZW20010, and in part by the National High Technology Research and Development Program of China (863 Program) under Grant 2014AA052001.</p>
</sec>
<sec sec-type="COI-statement" id="s10">
<title>Conflict of interest</title>
<p>The authors declare that the research was conducted in the absence of any commercial or financial relationships that could be construed as a potential conflict of interest.</p>
</sec>
<sec sec-type="disclaimer" id="s11">
<title>Publisher&#x2019;s note</title>
<p>All claims expressed in this article are solely those of the authors and do not necessarily represent those of their affiliated organizations, or those of the publisher, the editors and the reviewers. Any product that may be evaluated in this article, or claim that may be made by its manufacturer, is not guaranteed or endorsed by the publisher.</p>
</sec>
<ref-list>
<title>References</title>
<ref id="B1">
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Cheng</surname>
<given-names>Z.</given-names>
</name>
<name>
<surname>Chow</surname>
<given-names>M. Y.</given-names>
</name>
</person-group> (<year>2020</year>). <article-title>Resilient collaborative distributed energy management system framework for cyber-physical DC microgrids</article-title>. <source>IEEE Trans. Smart Grid</source> <volume>11</volume> (<issue>6</issue>), <fpage>4637</fpage>&#x2013;<lpage>4649</lpage>. <pub-id pub-id-type="doi">10.1109/TSG.2020.3001059</pub-id> </citation>
</ref>
<ref id="B2">
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Gao</surname>
<given-names>C.</given-names>
</name>
<name>
<surname>Wang</surname>
<given-names>T.</given-names>
</name>
<name>
<surname>Cao</surname>
<given-names>H.</given-names>
</name>
<name>
<surname>Wang</surname>
<given-names>Z.</given-names>
</name>
<name>
<surname>Yu</surname>
<given-names>T.</given-names>
</name>
<name>
<surname>Cheng</surname>
<given-names>R.</given-names>
</name>
<etal/>
</person-group> (<year>2021</year>). <article-title>Concepts, structure and developments of high-reliability cyber-physical fusion based coordinated planning for distribution system</article-title>. <source>Front. Energy Res.</source> <volume>9</volume>, <fpage>697959</fpage>. <pub-id pub-id-type="doi">10.3389/fenrg.2021.697959</pub-id> </citation>
</ref>
<ref id="B3">
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Ilic</surname>
<given-names>M. D.</given-names>
</name>
<name>
<surname>Xie</surname>
<given-names>L.</given-names>
</name>
<name>
<surname>Khan</surname>
<given-names>U. A.</given-names>
</name>
<name>
<surname>Moura</surname>
<given-names>J. M. F.</given-names>
</name>
</person-group> (<year>2010</year>). <article-title>Modeling of future cyber&#x2013;physical energy systems for distributed sensing and control</article-title>. <source>IEEE Trans. Syst. Man. Cybern. A</source> <volume>40</volume> (<issue>4</issue>), <fpage>825</fpage>&#x2013;<lpage>838</lpage>. <pub-id pub-id-type="doi">10.1109/TSMCA.2010.2048026</pub-id> </citation>
</ref>
<ref id="B4">
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Li</surname>
<given-names>H.</given-names>
</name>
<name>
<surname>Dimitrovski</surname>
<given-names>A.</given-names>
</name>
<name>
<surname>Song</surname>
<given-names>J. B.</given-names>
</name>
<name>
<surname>Han</surname>
<given-names>Z.</given-names>
</name>
<name>
<surname>Qian</surname>
<given-names>L.</given-names>
</name>
</person-group> (<year>2014</year>). <article-title>Communication infrastructure design in cyber physical systems with applications in smart grids: A hybrid system framework</article-title>. <source>IEEE Commun. Surv. Tutorials</source> <volume>16</volume> (<issue>3</issue>), <fpage>1689</fpage>&#x2013;<lpage>1708</lpage>. <pub-id pub-id-type="doi">10.1109/surv.2014.052914.00130</pub-id> </citation>
</ref>
<ref id="B5">
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Li</surname>
<given-names>M.</given-names>
</name>
<name>
<surname>Xue</surname>
<given-names>Y.</given-names>
</name>
<name>
<surname>Ni</surname>
<given-names>M.</given-names>
</name>
<name>
<surname>Li</surname>
<given-names>X.</given-names>
</name>
</person-group> (<year>2020</year>). <article-title>Modeling and hybrid calculation architecture for cyber physical power systems</article-title>. <source>IEEE Access</source> <volume>8</volume> (<issue>99</issue>), <fpage>138251</fpage>&#x2013;<lpage>138263</lpage>. <pub-id pub-id-type="doi">10.1109/ACCESS.2020.3011213</pub-id> </citation>
</ref>
<ref id="B6">
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Lin</surname>
<given-names>T.</given-names>
</name>
<name>
<surname>Chen</surname>
<given-names>Z.</given-names>
</name>
<name>
<surname>Zheng</surname>
<given-names>C.</given-names>
</name>
<name>
<surname>Huang</surname>
<given-names>D.</given-names>
</name>
<name>
<surname>Zhou</surname>
<given-names>S.</given-names>
</name>
</person-group> (<year>2021</year>). <article-title>Fault diagnosis of lithium-ion battery pack based on hybrid system and dual extended Kalman filter algorithm</article-title>. <source>IEEE Trans. Transp. Electrific.</source> <volume>7</volume> (<issue>1</issue>), <fpage>26</fpage>&#x2013;<lpage>36</lpage>. <pub-id pub-id-type="doi">10.1109/tte.2020.3006064</pub-id> </citation>
</ref>
<ref id="B7">
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Nejabatkhah</surname>
<given-names>F.</given-names>
</name>
<name>
<surname>Li</surname>
<given-names>Y.</given-names>
</name>
<name>
<surname>Sun</surname>
<given-names>K.</given-names>
</name>
</person-group> (<year>2018</year>). <article-title>Parallel three-phase interfacing converters operation under unbalanced voltage in hybrid AC/DC microgrid</article-title>. <source>IEEE Trans. Smart Grid</source> <volume>9</volume> (<issue>2</issue>), <fpage>1310</fpage>&#x2013;<lpage>1322</lpage>. <pub-id pub-id-type="doi">10.1109/TSG.2016.2585522</pub-id> </citation>
</ref>
<ref id="B8">
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Petreczky</surname>
<given-names>Mih&#xe1;ly</given-names>
</name>
<name>
<surname>Schuppen</surname>
<given-names>J. H. V.</given-names>
</name>
</person-group> (<year>22972010</year>). <article-title>Realization theory for linear hybrid systems</article-title>. <source>IEEE Trans. Autom. Contr.</source> <volume>55</volume> (<issue>10</issue>), <fpage>2282</fpage>&#x2013;<lpage>2297</lpage>. <pub-id pub-id-type="doi">10.1109/tac.2010.2044258</pub-id> </citation>
</ref>
<ref id="B9">
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Poovendran</surname>
<given-names>R.</given-names>
</name>
</person-group> (<year>2010</year>). <article-title>Cyber&#x2013;physical systems: Close encounters between two parallel worlds [point of view]</article-title>. <source>Proc. IEEE</source> <volume>98</volume> (<issue>8</issue>), <fpage>1363</fpage>&#x2013;<lpage>1366</lpage>. <pub-id pub-id-type="doi">10.1109/JPROC.2010.2050377</pub-id> </citation>
</ref>
<ref id="B10">
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Wang</surname>
<given-names>T.</given-names>
</name>
<name>
<surname>Nian</surname>
<given-names>H.</given-names>
</name>
<name>
<surname>Zhu</surname>
<given-names>Z. Q.</given-names>
</name>
<name>
<surname>Ding</surname>
<given-names>L.</given-names>
</name>
<name>
<surname>Zhou</surname>
<given-names>B.</given-names>
</name>
</person-group> (<year>2018</year>). <article-title>Flexible compensation strategy for voltage source converter under unbalanced and harmonic condition based on a hybrid virtual impedance method</article-title>. <source>IEEE Trans. Power Electron.</source> <volume>33</volume> (<issue>9</issue>), <fpage>7656</fpage>&#x2013;<lpage>7673</lpage>. <pub-id pub-id-type="doi">10.1109/TPEL.2017.2768381</pub-id> </citation>
</ref>
<ref id="B11">
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Wang</surname>
<given-names>Y.</given-names>
</name>
<name>
<surname>Liu</surname>
<given-names>D.</given-names>
</name>
<name>
<surname>Sun</surname>
<given-names>C.</given-names>
</name>
</person-group> (<year>2017</year>). <article-title>A cyber physical model based on a hybrid system for flexible load control in an active distribution network</article-title>. <source>Energies</source> <volume>10</volume> (<issue>3</issue>), <fpage>267</fpage>. <pub-id pub-id-type="doi">10.3390/en10030267</pub-id> </citation>
</ref>
<ref id="B12">
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Wei</surname>
<given-names>J.</given-names>
</name>
<name>
<surname>Kundur</surname>
<given-names>D.</given-names>
</name>
<name>
<surname>Zourntos</surname>
<given-names>T.</given-names>
</name>
<name>
<surname>Butler-Purry</surname>
<given-names>K. L.</given-names>
</name>
</person-group> (<year>2014</year>). <article-title>A flocking-based paradigm for hierarchical cyber-physical smart grid modeling and control</article-title>. <source>IEEE Trans. Smart Grid</source> <volume>5</volume> (<issue>6</issue>), <fpage>2687</fpage>&#x2013;<lpage>2700</lpage>. <pub-id pub-id-type="doi">10.1109/TSG.2014.2341211</pub-id> </citation>
</ref>
<ref id="B13">
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Xin</surname>
<given-names>S.</given-names>
</name>
<name>
<surname>Guo</surname>
<given-names>Q.</given-names>
</name>
<name>
<surname>Sun</surname>
<given-names>H.</given-names>
</name>
<name>
<surname>Zhang</surname>
<given-names>B.</given-names>
</name>
<name>
<surname>Wang</surname>
<given-names>J.</given-names>
</name>
<name>
<surname>Chen</surname>
<given-names>C.</given-names>
</name>
</person-group> (<year>2015</year>). <article-title>Cyber-physical modeling and cyber-contingency assessment of hierarchical control systems</article-title>. <source>IEEE Trans. Smart Grid</source> <volume>6</volume> (<issue>5</issue>), <fpage>2375</fpage>&#x2013;<lpage>2385</lpage>. <pub-id pub-id-type="doi">10.1109/tsg.2014.2387381</pub-id> </citation>
</ref>
<ref id="B14">
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Xin</surname>
<given-names>S.</given-names>
</name>
<name>
<surname>Guo</surname>
<given-names>Q.</given-names>
</name>
<name>
<surname>Sun</surname>
<given-names>H.</given-names>
</name>
<name>
<surname>Zhang</surname>
<given-names>B.</given-names>
</name>
<name>
<surname>Wang</surname>
<given-names>J.</given-names>
</name>
<name>
<surname>Chen</surname>
<given-names>C.</given-names>
</name>
</person-group> (<year>2017</year>). <article-title>Cyber-physical modeling and cyber-contingency assessment of hierarchical control systems</article-title>. <source>IEEE Trans. Smart Grid</source> <volume>6</volume> (<issue>5</issue>), <fpage>2375</fpage>&#x2013;<lpage>2385</lpage>. <pub-id pub-id-type="doi">10.1109/TSG.2014.2387381</pub-id> </citation>
</ref>
<ref id="B15">
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Xu</surname>
<given-names>L.</given-names>
</name>
<name>
<surname>Guo</surname>
<given-names>Q.</given-names>
</name>
<name>
<surname>Yang</surname>
<given-names>T.</given-names>
</name>
<name>
<surname>Sun</surname>
<given-names>H.</given-names>
</name>
</person-group> (<year>2019</year>). <article-title>Robust routing optimization for smart grids considering cyber-physical interdependence</article-title>. <source>IEEE Trans. Smart Grid</source> <volume>10</volume> (<issue>5</issue>), <fpage>5620</fpage>&#x2013;<lpage>5629</lpage>. <pub-id pub-id-type="doi">10.1109/TSG.2018.2888629</pub-id> </citation>
</ref>
<ref id="B16">
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Xue</surname>
<given-names>Y.</given-names>
</name>
<name>
<surname>Yu</surname>
<given-names>X.</given-names>
</name>
</person-group> (<year>2017</year>). <article-title>Beyond smart grid&#x2014;Cyber&#x2013;physical&#x2013;social system in energy future [point of view]</article-title>. <source>Proc. IEEE</source> <volume>105</volume> (<issue>12</issue>), <fpage>2290</fpage>&#x2013;<lpage>2292</lpage>. <pub-id pub-id-type="doi">10.1109/JPROC.2017.2768698</pub-id> </citation>
</ref>
<ref id="B17">
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Yu</surname>
<given-names>W.</given-names>
</name>
<name>
<surname>Xue</surname>
<given-names>Y.</given-names>
</name>
<name>
<surname>Luo</surname>
<given-names>J.</given-names>
</name>
<name>
<surname>Ni</surname>
<given-names>M.</given-names>
</name>
<name>
<surname>Tong</surname>
<given-names>H.</given-names>
</name>
<name>
<surname>Huang</surname>
<given-names>T.</given-names>
</name>
</person-group> (<year>2016</year>). <article-title>An UHV grid security and stability defense system: Considering the risk of power system communication</article-title>. <source>IEEE Trans. Smart Grid</source> <volume>7</volume> (<issue>1</issue>), <fpage>491</fpage>&#x2013;<lpage>500</lpage>. <pub-id pub-id-type="doi">10.1109/TSG.2015.2392100</pub-id> </citation>
</ref>
<ref id="B18">
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Zonouz</surname>
<given-names>S.</given-names>
</name>
<name>
<surname>Davis</surname>
<given-names>C. M.</given-names>
</name>
<name>
<surname>Davis</surname>
<given-names>K. R.</given-names>
</name>
<name>
<surname>Berthier</surname>
<given-names>R.</given-names>
</name>
<name>
<surname>Bobba</surname>
<given-names>R. B.</given-names>
</name>
<name>
<surname>Sanders</surname>
<given-names>W. H.</given-names>
</name>
</person-group> (<year>2014</year>). <article-title>Socca: A security-oriented cyber-physical contingency analysis in power infrastructures</article-title>. <source>IEEE Trans. Smart Grid</source> <volume>5</volume> (<issue>1</issue>), <fpage>3</fpage>&#x2013;<lpage>13</lpage>. <pub-id pub-id-type="doi">10.1109/TSG.2013.2280399</pub-id> </citation>
</ref>
</ref-list>
</back>
</article>