CN111553070A - Finite state machine modeling method and device for stabilizing action logic of control device and storage medium - Google Patents
Finite state machine modeling method and device for stabilizing action logic of control device and storage medium Download PDFInfo
- Publication number
- CN111553070A CN111553070A CN202010332029.5A CN202010332029A CN111553070A CN 111553070 A CN111553070 A CN 111553070A CN 202010332029 A CN202010332029 A CN 202010332029A CN 111553070 A CN111553070 A CN 111553070A
- Authority
- CN
- China
- Prior art keywords
- state
- control device
- finite
- starting
- state machine
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/20—Design optimisation, verification or simulation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
- G06F9/46—Multiprogramming arrangements
- G06F9/48—Program initiating; Program switching, e.g. by interrupt
- G06F9/4806—Task transfer initiation or dispatching
Abstract
The invention discloses a finite state machine modeling method, a finite state machine modeling device and a storage medium for stabilizing the action logic of a control device, wherein the method comprises the following steps: establishing a mapping relation between action logic of a stable control device and a finite state machine; summarizing the state of the stability control device according to the action process of the stability control device; and configuring the state transition logic and executing actions of the finite-state machine according to the established mapping relation and the generalized state of the stable control device. The invention realizes the decoupling of the stability control strategy table and the stability control device control software, is convenient for the compilation and the test of the software, reduces the secondary development workload of the stability control engineering, thereby greatly improving the overall efficiency of the engineering implementation; the core logic developed by adopting the finite-state machine can ensure the correctness of the code logic and has higher reliability as long as the state diagram is correctly designed and passes verification.
Description
Technical Field
The invention relates to a finite-state machine modeling method, a finite-state machine modeling device and a storage medium for stabilizing action logic of a control device, and belongs to the technical field of embedded computer systems.
Background
The zone stability control is an important means for ensuring safe and stable operation of the power system. The implementation of control decisions is generally classified into 3 types: firstly, offline pre-decision making and real-time matching are carried out; online pre-decision making and real-time matching; and thirdly, real-time calculation and real-time control. In any way, the control strategy table is the basic basis for control, the stability control device is the main body for strategy implementation, and the identification of the operation mode, the judgment of the disturbance state, the strategy search, the strategy matching and the strategy implementation are the core contents of the stability control device.
In the whole stability control project, the control strategy is a relatively variable part. An operation department needs to perform stable analysis calculation and strategy table updating according to changes of a power grid operation mode and a power grid structure, strategy search software of a stable control device needs to perform corresponding secondary development, whether a stable control system can perform control correctly according to a set strategy or not is critical, whether strategy search matching software in the stable control device is correct in flow and tight in logic or not is usually involved, a large amount of programming, testing and verifying work is usually involved, and the more complex the system is, the more prominent the problem is.
After the regional power grid safety and stability control device is deployed, secondary development work is mainly focused on the following 2 aspects: making a strategy table. The power grid is simulated and stably analyzed and calculated by using a power system professional tool, a plurality of possible fault scenes including an operation mode, a section flow, a fault state and the like are predicted, the effect of stable control measures such as a generator tripping, load shedding or splitting on maintaining the stability of the power grid is repeatedly verified, and a final control strategy table is obtained. And step two, compiling and testing the strategy table search matching software. The strategy table searching and matching is to compile software of the stability control device according to a set strategy table, the software searches and matches corresponding items of the strategy table through identifying fault scenes to obtain and implement corresponding control measures, after the software is compiled, research and development, engineering and users need to carry out a series of tests, find bugs in the software and modify the bugs, and the final test is carried out according to the strategy table before field operation. In the implementation process of the stability control project, if the strategy table needs to be modified or adjusted, the above process needs to be carried out again, and the revision of the strategy table occurs in the whole project, and with the enlargement of the scale of the power system, the improvement of the strategy complexity and the increase of the number of the commissioning devices, the secondary development work of the stability control project faces huge challenges.
Disclosure of Invention
The embodiment of the invention aims to overcome the defects in the prior art, provides a finite-state machine modeling method, a finite-state machine modeling device and a storage medium for stabilizing the action logic of a control device, and can improve the development efficiency and reliability of control software of the stabilization control device.
In a first aspect, an embodiment of the present invention provides a finite state machine modeling method for stabilizing an action logic of a control device, where the method includes the following steps:
establishing a mapping relation between action logic of a stable control device and a finite state machine;
summarizing the state of the stability control device according to the action process of the stability control device;
and configuring the state transition logic and executing actions of the finite-state machine according to the established mapping relation and the generalized state of the stable control device.
With reference to the first aspect, further, the finite state machine is formed by a quintuple M ═ Q, Σ, Q0Λ);
wherein Q ═ { Q ═ Q0,q1,…,qnDenotes a set of finite states, qnRepresenting the state variable set of the finite state machine in the nth state;
Σ＝{σ1,σ2,…,σnrepresents inputtable variables and values thereof; sigmanRepresenting the finite state machine to input the collection of variables in the nth state;
q x Σ → Q denotes the state transfer function;
q0∈ Q denotes the initial state;
and Λ represents an output function.
With reference to the first aspect, further, the established mapping relationship is shown in the following table:
with reference to the first aspect, further, the states of the stability control apparatus include a normal operation state, a start state, and a decision state.
With reference to the first aspect, further, the state transition logic of the finite state machine is configured as follows:
when the stable control device is electrified, the stable control device is transferred to a normal operation state from an initial state;
in a normal operation state, if a starting signal is detected, the stable control device is transferred to a starting state from the normal operation state;
in the starting state, if a fault signal is detected, the stable control device is transferred to a decision state from the starting state; if the starting return signal is detected, returning the stable control device from the starting state to the starting state;
in the decision state, after the execution of the output control measures is finished, if a new fault is detected, the decision state is entered again; otherwise, returning to the starting state.
With reference to the first aspect, further, the configuration of the finite state machine for executing actions corresponding to each state is as follows:
in a normal operation state, executing actions including determining an operation mode, starting inspection and saving operation variables;
in the starting state, the execution action comprises the steps of saving measured value table information, determining the running state of the power system 200ms before starting, starting to return to check and performing fault check;
in the decision state, the execution action comprises control measure search and control measure execution.
With reference to the first aspect, further, the activation signal is generated by a series of driving functions including element electrical information, opening information, remote information, and time t.
With reference to the first aspect, further, the fault signal is generated by a series of driving functions of a fault set and time t.
With reference to the first aspect, further, the start return signal is generated by a series of driving functions including a start signal, element electrical information, opening information, remote information, and time t.
With reference to the first aspect, further, the decision state is a composite state, and includes a mode checking sub-state, a fault checking sub-state, a power flow checking sub-state, and an execution checking sub-state.
With reference to the first aspect, further, when entering the decision state, automatically entering a mode check sub-state;
in the mode checking sub-state, transferring to a corresponding fault checking sub-state according to the input mode type identifier;
in the fault checking sub-state, transferring to a corresponding power flow checking sub-state according to the corresponding fault type identifier;
in the flow inspection sub-state, selecting and executing a control measure according to the size and the direction of the section flow, and generating a control measure execution identifier;
executing the mark to transfer to an execution check sub-state according to the control measure;
and in the execution checking sub-state, executing the operation of +1 times of failure, and returning to the mode checking sub-state again if a new failure identifier is detected at the same time.
In a second aspect, an embodiment of the present invention provides a finite state machine modeling apparatus for stabilizing an action logic of a control apparatus, where the apparatus includes:
a mapping module: the mapping relation between the action logic of the stable control device and the finite state machine is established;
and a summarizing module: the device is used for summarizing the state of the stability control device according to the action process of the stability control device;
a configuration module: and configuring the state transition logic and executing actions of the finite-state machine according to the established mapping relation and the generalized state of the stable control device.
With reference to the second aspect, further, the configuration module includes:
the first state transition module is configured to transition the stable control device from an initial state to a normal operation state when the stable control device is powered on;
the second state transition module is configured to transition the stable control device from the normal operation state to the starting state if the starting signal is detected in the normal operation state;
the third state transition module is configured to, in the starting state, transition the stable control device from the starting state to the decision state if a fault signal is detected; if the starting return signal is detected, returning the stable control device from the starting state to the starting state;
the fourth state transition module is configured to enter the decision state again if a new fault is detected after the output control measures are executed in the decision state; otherwise, returning to the starting state.
With reference to the second aspect, further, the configuration module further includes:
the first action execution module is configured to execute actions including determining an operation mode, starting inspection and saving operation variables in a normal operation state;
the second action execution module is configured to execute actions in a starting state, wherein the actions comprise saving measured value table information, determining the running state of the power system 200ms before starting, starting return check and fault check;
and the third action execution module is configured to execute actions including control measure search and control measure execution in the decision state.
With reference to the second aspect, further, the fourth state transition module includes:
the mode checking submodule is configured to transfer to a corresponding fault checking substate according to the input mode type identifier in the mode checking substate;
the fault checking sub-module is configured to be transferred to a corresponding power flow checking sub-state according to the corresponding fault type identifier in the fault checking sub-state;
the flow inspection submodule is configured to select and execute a control measure according to the size and the direction of the section flow in a flow inspection substate, and generate a control measure execution identifier;
and the execution checking sub-module is configured to transfer the execution identifier to an execution checking sub-state according to the control measure, execute the operation of the failure times +1 in the execution checking sub-state, and return to the mode checking sub-state again if a new failure identifier is detected at the same time.
In a third aspect, an embodiment of the present invention provides a finite state machine modeling apparatus for stabilizing action logic of a control apparatus, including at least one processor, at least one storage medium, and computer program instructions stored in the storage medium; the processor is configured to operate in accordance with the instructions to perform the steps of the method of any of the first aspects.
In a fourth aspect, an embodiment of the present invention provides a computer-readable storage medium, on which a computer program is stored, which when executed by a processor implements the steps of the method according to any one of the first aspect.
Compared with the prior art, the finite-state machine modeling method, the finite-state machine modeling device and the storage medium for stabilizing the action logic of the control device provided by the embodiment of the invention at least have the following beneficial effects: establishing a mapping relation between action logic of a stable control device and a finite state machine; summarizing the state of the stability control device according to the action process of the stability control device; configuring the state transition logic and the execution action of the finite state machine according to the established mapping relation and the summarized state of the stable control device, realizing the decoupling of a control strategy table and the control software of the stable control device, facilitating the compilation and the test of the software, reducing the secondary development workload of the stable control engineering, and greatly improving the overall efficiency of engineering implementation; the core logic developed by adopting the finite-state machine can ensure the correctness of the code logic and has higher reliability as long as the state diagram is correctly designed and passes verification.
Drawings
FIG. 1 is a flow chart of a finite state machine modeling method for stabilizing the action logic of a control device according to an embodiment of the present invention;
FIG. 2 is a diagram illustrating state transitions and execution of a finite state machine configured in accordance with an embodiment of the present invention;
FIG. 3 is a diagram illustrating the migration and execution of various sub-states in a decision state configured in accordance with an embodiment of the present invention;
fig. 4 is a schematic diagram of an operation logic of a device for implementing stable control by a finite-state machine according to an embodiment of the present invention.
Detailed Description
Researches show that the content of the stable control logic is variable, but the stable control logic is expressed in a fixed mode, the core content of the stable control logic can be abstracted into a set of elements such as a series of states, events, state transitions, actions and the like, the stable control logic accords with finite state machine modeling conditions, and the stable control logic is suitable for being processed by using Finite State Machine (FSM) correlation theory. Based on the concept of the invention, the embodiment of the invention provides a finite state machine modeling method, a finite state machine modeling device and a storage medium for stabilizing the action logic of a control device, wherein the action logic flow of the control device and the power grid state transition expressed by a control strategy table are uniformly expressed by adopting a finite state machine, so that the decoupling of the control strategy table and control software of the control device is realized, the secondary development workload of a stability control project is reduced, and the overall efficiency of the project implementation is greatly improved.
The invention is further described below with reference to the accompanying drawings. It should be noted that the following examples are only used to more clearly illustrate the technical solutions of the present invention, and the protection scope of the present invention is not limited thereby. Relational terms such as "first" and "second," and the like, may be used solely to distinguish one entity or action from another entity or action without necessarily requiring or implying any actual such relationship or order between such entities or actions.
As shown in fig. 1, a finite state machine modeling method for stabilizing action logic of a control device according to an embodiment of the present invention includes the following steps:
establishing a mapping relation between an action flow of a stable control device and a finite state machine;
summarizing the state of the stable control device according to the action logic process of the stable control device;
and configuring the state transition logic and executing actions of the finite-state machine according to the established mapping relation and the generalized state of the stable control device.
The embodiment of the invention realizes the decoupling of the control strategy table and the control software of the stable control device, is convenient for the compilation and the test of the software, reduces the secondary development workload of the stable control engineering, and greatly improves the overall efficiency of the engineering implementation; the core logic developed by adopting the finite-state machine can ensure the correctness of the code logic and has higher reliability as long as the state diagram is correctly designed and passes verification.
The finite state machine used in the embodiments of the present invention is composed of a quintuple M ═ Q, Σ, Q0Λ), wherein Q ═ Q0,q1,…,qnIs a set of finite states, qnRepresenting the state variable set of the finite state machine in the nth state; (ii) a Sigma ═ σ { (σ)1,σ2,…,σnIs a non-empty finite alphabet that represents the variables that can be entered and their values, σnRepresenting the set of input variables of the finite state machine in the nth state, Q × Σ → Q being the state transfer function, Q0∈ Q is the initial state from which the finite state machine receives input, Λ represents the output function the mapping between the stability control device action logic and the finite state machine elements is shown in Table 1:
TABLE 1 mapping relationship between action logic of stability control device and FSM model
According to the action process of the stability control device, the embodiment of the present invention generalizes the State of the stability control device into a normal operation State (State _ running), a startup State (State _ Start), and a decision State (State _ decision making), as shown in fig. 2, which is a flowchart of State transition and execution actions of the finite State machine configured in the embodiment of the present invention, and includes the following steps:
step A: when the stable control device is electrified, the stable control device is transferred to a normal operation state from an initial state;
and B: in a normal operation state, if a starting signal is detected, the stability control device is transferred from the normal operation state to a starting state, and actions executed in the normal operation state comprise determining an operation mode, starting inspection and storing operation variables; the starting signal is generated by a series of driving functions consisting of element electric information, opening information, remote information and time t;
and C: in the starting state, if a fault signal is detected, the stable control device is transferred to a decision state from the starting state; if the starting return signal is detected, returning the stable control device from the starting state to the starting state; the execution action in the starting state comprises the steps of storing information of a measured value table, determining the running state of the power system 200ms before starting, starting to return to check and performing fault check;
wherein the fault signal is generated by a series of drive functions consisting of a fault set and time t; the starting return signal is generated by a series of driving functions consisting of a starting signal, element electric information, opening information, remote information and time t.
Step D: in the decision state, after the execution of the output control measures is finished, if a new fault is detected, the decision state is entered again; otherwise, returning to the starting state. The action executed in the decision state comprises control measure searching and control measure execution; the output information is a control measure.
The inputs of the normal operation state, the starting state and the decision state comprise element electrical information, opening information, pressing plate information, communication information, operation modes, section flow information, starting and returning information, fault information and the like.
It should be noted that, in the embodiment of the present invention, the normal operation state and the start state are both simple states, and the decision state is a complex state, and is composed of a plurality of mutually exclusive sequential sub-states, which specifically include: a mode check (Runway-Checking) sub-state, a Fault check (Fault-Checking) sub-state, a power flow check (InterfacePower-Checking) sub-state, and an execution check (Do-Over) sub-state. In the decision state, the control strategy table executed by the stability control device relates to K operation modes, and the N fault states include at most 1+ K × N +1 sub-states.
As shown in fig. 3, when entering the decision state, the stability control apparatus automatically enters the mode checking sub-state, and the state transition logic and execution actions of each sub-state are as follows:
step D01: in the Runway-Checking sub-state, executing an operation mode retrieval action according to the input mode identification, generating a mode type identification, and transferring to a corresponding fault Checking sub-state according to the mode type identification;
step D02: in the Fault-Checking sub-state, executing a Fault retrieval action according to input Fault information, generating a Fault type identifier, and transferring to a corresponding power flow Checking sub-state according to the corresponding Fault type identifier;
step D03: in the inter facePower-Checking sub-state, executing measure retrieval and measure output actions according to input flow information, wherein the flow information comprises the size and the direction of the cross-section flow, and executing a selected control measure; if the control measure is executed, generating a measure execution identifier, and transferring to an execution check sub-state;
step D04: in the Do-Over sub-state, executing a fault counting action, counting the number of faults by +1, simultaneously detecting whether a new fault identifier is input, and if the new fault identifier is input, returning to the Runway-Checking sub-state again; if no new fault mark exists, the decision state is exited and the starting state is returned.
The state transition logic and the execution action in the finite state machine provided by the embodiment of the present invention are further described in detail with reference to the action logic of a certain actual stability control device. Assuming that the operation modes of the stability control strategy table are K, the number of the faults related to the fault set is F, and the section power is divided into 6 different gears, the construction combined with one of the typical strategies is shown in table 2:
table 2 stability control policy table example:
as shown in fig. 4, the state transition and execution actions configured in the finite state machine according to the embodiment of the present invention are as follows:
step 1), when the stable control device is powered on, the stable control device automatically jumps to a normal operation state from an initial state.
Step 2) in the normal operation state, the operations to be executed include: determining a system operation mode, carrying out device starting judgment and storing operation variables; the input of the normal operation state comprises element electrical information, opening information, pressing plate information, communication information, operation mode, section flow information, starting and returning information, fault information and the like.
And 3) in a normal operation state, if the starting signal is not detected, continuing to stay in the normal operation state, and if the starting signal (the current mutation or the power mutation) is detected, entering the starting state by the system.
Step 4), the operations to be executed in the starting state are as follows: storing information of a measured value table, determining the running state of the power system 200ms before starting, and starting to return to check and fault check; the input of the starting state comprises element electrical information, opening information, pressing plate information, communication information, operation mode, section flow information, starting and returning information, fault information and the like.
Step 5) in the starting state, if the fault identification is detected, the system jumps to the decision table state; and if the starting return signal is detected, jumping back to the normal running state.
Step 6) the decision state is composed of a plurality of mutually exclusive sequential sub-states, has the same sub-structure and consists of 4 simple states of Runway-Checking, Fault-Checking, InterfacePower-Checking and Do-Over; when entering a decision state, starting from a Runway-Checking state of a substructure, identifying an execution mode for retrieval according to an input mode, wherein different operation modes are migrated to different Fault-Checking states, and at the moment, there are K Fault-Checking states, such as: if the mode 1 is detected and the mode 1 identifier R1 is generated, the Runway-Checking state is transferred to the corresponding Fault-Checking R1 state;
step 7) after entering the Fault-Checking state, executing Fault retrieval according to input Fault information to generate a Fault type identifier, wherein the Fault information is binary expression of a Fault element and a Fault type, the Fault-Checking state is migrated to different interface power-Checking states under the driving of different Fault information, and at most M interface power-Checking states exist in the same operation mode, such as: in mode 1, Fault-checking r1 state, Fault information is detected: AB-line, single permanent Fault, generating Fault type identification R1.f1, then Fault-Checking R1 state is transferred to corresponding interface Power-Checking R1.f1 state;
step 8) in an InterfacePower-Checking state, carrying out power flow retrieval according to input power flow information, finding out corresponding control measures and carrying out the control measures, if the measures are carried out, generating a measure execution identifier, and jumping to a Do _ Over state;
step 9) in the Do-Over state, executing a fault counting (FaultNum + +) action, counting the number of faults by +1, and if a new fault identification exists, returning to the Runway-Checking state again; and if no new fault identification exists, the decision-making state is jumped out and the starting state is returned.
According to the finite state machine modeling method of the action logic of the stable control device, the action process of the stable control device is regarded as being composed of a series of states, driving events, state transitions and actions. Classifying information such as the operation mode, the section flow, the switch position and the like of the power system and the operation information of the stable control device into states; representing the device judgment result (such as starting, starting and replacing, failure information and the like) as a driving event; representing a series of functions which can cause the state change and are composed of the current state, the driving event and the time t as state transition functions; the implementation measures of the stability control strategy (such as cutter cutting, load cutting, free-flow modulation and the like) are represented as actions. The mapping relation is established between the basic content of the action logic of the stability control device and the basic elements of the FSM, so that the decoupling of the strategy table and the search matching is realized, the compilation and the test of software are facilitated, the secondary development workload of the stability control engineering is reduced, and the overall efficiency of engineering implementation is greatly improved.
The embodiment of the present invention further provides a finite state machine modeling apparatus for stabilizing an action logic of a control apparatus, which can be used to implement the finite state machine modeling method for stabilizing an action logic of a control apparatus, and the apparatus includes:
a mapping module: the mapping relation between the action logic of the stable control device and the finite state machine is established;
and a summarizing module: the device is used for summarizing the state of the stability control device according to the action process of the stability control device;
a configuration module: and configuring the state transition logic and executing actions of the finite-state machine according to the established mapping relation and the generalized state of the stable control device.
Wherein the configuration module comprises:
the first state transition module is configured to transition the stable control device from an initial state to a normal operation state when the stable control device is powered on;
the second state transition module is configured to transition the stable control device from the normal operation state to the starting state if the starting signal is detected in the normal operation state;
the third state transition module is configured to, in the starting state, transition the stable control device from the starting state to the decision state if a fault signal is detected; if the starting return signal is detected, returning the stable control device from the starting state to the starting state;
the fourth state transition module is configured to enter the decision state again if a new fault is detected after the output control measures are executed in the decision state; otherwise, returning to the starting state.
The configuration module further comprises:
the first action execution module is configured to execute actions including determining an operation mode, starting inspection and saving operation variables in a normal operation state;
the second action execution module is configured to execute actions in a starting state, wherein the actions comprise saving measured value table information, determining the running state of the power system 200ms before starting, starting return check and fault check;
and the third action execution module is configured to execute actions including control measure search and control measure execution in the decision state.
The fourth state transition module comprises:
the mode checking submodule is configured to transfer to a corresponding fault checking substate according to the input mode type identifier in the mode checking substate;
the fault checking sub-module is configured to be transferred to a corresponding power flow checking sub-state according to the corresponding fault type identifier in the fault checking sub-state;
the flow inspection submodule is configured to select and execute a control measure according to the size and the direction of the section flow in a flow inspection substate, and generate a control measure execution identifier;
and the execution checking sub-module is configured to transfer the execution identifier to an execution checking sub-state according to the control measure, execute the operation of the failure times +1 in the execution checking sub-state, and return to the mode checking sub-state again if a new failure identifier is detected at the same time.
The embodiment of the invention also provides a finite state machine modeling device for controlling the action logic of the stable control device, and the finite state machine modeling device can also be used for realizing the finite state machine modeling method for controlling the action logic of the stable control device. It includes at least one processor, at least one storage medium, and computer program instructions stored in the storage medium; the processor is configured to operate according to the instructions to perform the steps of the finite state machine modeling method of the stability control apparatus action logic of any of the preceding embodiments.
The finite state machine modeling devices of the two stable control device action logics provided by the embodiment of the invention are based on the same technical concept as the finite state machine modeling method of the stable control device action logics, so that the technical effect same as the finite state machine modeling method of the stable control device action logics can be achieved, and the details are not repeated.
In a fourth aspect, an embodiment of the present invention provides a computer-readable storage medium, on which a computer program is stored, which when executed by a processor implements the steps of any of the methods described above.
As will be appreciated by one skilled in the art, embodiments of the present application may be provided as a method, system, or computer program product. Accordingly, the present application may take the form of an entirely hardware embodiment, an entirely software embodiment or an embodiment combining software and hardware aspects. Furthermore, the present application may take the form of a computer program product embodied on one or more computer-usable storage media (including, but not limited to, disk storage, CD-ROM, optical storage, and the like) having computer-usable program code embodied therein.
The present application is described with reference to flowchart illustrations and/or block diagrams of methods, apparatus (systems), and computer program products according to embodiments of the application. It will be understood that each flow and/or block of the flow diagrams and/or block diagrams, and combinations of flows and/or blocks in the flow diagrams and/or block diagrams, can be implemented by computer program instructions. These computer program instructions may be provided to a processor of a general purpose computer, special purpose computer, embedded processor, or other programmable data processing apparatus to produce a machine, such that the instructions, which execute via the processor of the computer or other programmable data processing apparatus, create means for implementing the functions specified in the flowchart flow or flows and/or block diagram block or blocks.
These computer program instructions may also be stored in a computer-readable memory that can direct a computer or other programmable data processing apparatus to function in a particular manner, such that the instructions stored in the computer-readable memory produce an article of manufacture including instruction means which implement the function specified in the flowchart flow or flows and/or block diagram block or blocks.
These computer program instructions may also be loaded onto a computer or other programmable data processing apparatus to cause a series of operational steps to be performed on the computer or other programmable apparatus to produce a computer implemented process such that the instructions which execute on the computer or other programmable apparatus provide steps for implementing the functions specified in the flowchart flow or flows and/or block diagram block or blocks.
The above description is only a preferred embodiment of the present invention, and it should be noted that, for those skilled in the art, several modifications and variations can be made without departing from the technical principle of the present invention, and these modifications and variations should also be regarded as the protection scope of the present invention.
Claims (17)
1. A finite state machine modeling method of a motion logic of a stability control device, the method comprising the steps of:
establishing a mapping relation between action logic of a stable control device and a finite state machine;
summarizing the state of the stability control device according to the action process of the stability control device;
and configuring the state transition logic and executing actions of the finite-state machine according to the established mapping relation and the generalized state of the stable control device.
2. The finite state machine modeling method of stability control device action logic according to claim 1, wherein the finite state machine is composed of quintuple M ═ (Q, Σ, Q)0Λ);
wherein Q ═ { Q ═ Q0,q1,…,qnDenotes a set of finite states, qnRepresenting the state variable set of the finite state machine in the nth state;
Σ＝{σ1,σ2,…,σnrepresents inputtable variables and values thereof; sigmanRepresenting the finite state machine to input a variable set in the nth state;
q x Σ → Q denotes the state transfer function;
q0∈ Q denotes the initial state;
and Λ represents an output function.
3. The finite state machine modeling method of stability control device action logic according to claim 2, characterized in that the established mapping is as shown in the following table:
4. the finite state machine modeling method of stability control device action logic of claim 1, wherein the state of the stability control device includes a normal run state, a start-up state, and a decision state.
5. The finite state machine modeling method of stability control device action logic according to claim 4, characterized in that the state transition logic of the finite state machine is configured as follows:
when the stable control device is electrified, the stable control device is transferred to a normal operation state from an initial state;
in a normal operation state, if a starting signal is detected, the stable control device is transferred to a starting state from the normal operation state;
in the starting state, if a fault signal is detected, the stable control device is transferred to a decision state from the starting state; if the starting return signal is detected, returning the stable control device from the starting state to the starting state;
in the decision state, after the execution of the output control measures is finished, if a new fault is detected, the decision state is entered again; otherwise, returning to the starting state.
6. The finite-state machine modeling method of the action logic of the stability control device according to claim 5, wherein the finite-state machine is configured to perform the following actions for each state:
in a normal operation state, executing actions including determining an operation mode, starting inspection and saving operation variables;
in the starting state, the execution action comprises the steps of saving measured value table information, determining the running state of the power system 200ms before starting, starting to return to check and performing fault check;
in the decision state, the execution action comprises control measure search and control measure execution.
7. The finite state machine modeling method of operational logic of a stability control apparatus according to claim 5, wherein the start signal is generated by a series of driving functions consisting of element electrical information, opening information, remote information, and time t.
8. The finite state machine modeling method of stability control device action logic according to claim 5, wherein the fault signal is generated by a series of drive functions consisting of a set of faults and time t.
9. The finite state machine modeling method of operational logic of a stability control apparatus according to claim 5, wherein the startup return signal is generated by a series of drive functions consisting of a startup signal, element electrical information, opening information, remote information, and time t.
10. The finite state machine modeling method of stability control device action logic of claim 4, wherein the decision state is a composite state comprising a mode check sub-state, a fault check sub-state, a power flow check sub-state and an execution check sub-state.
11. The finite state machine modeling method of stability control device action logic of claim 10, wherein when entering the decision state, automatically entering a mode check sub-state;
in the mode checking sub-state, transferring to a corresponding fault checking sub-state according to the input mode type identifier;
in the fault checking sub-state, transferring to a corresponding power flow checking sub-state according to the corresponding fault type identifier;
in the flow inspection sub-state, selecting and executing a control measure according to the size and the direction of the section flow, and generating a control measure execution identifier;
executing the mark to transfer to an execution check sub-state according to the control measure;
and in the execution checking sub-state, executing the operation of +1 times of failure, and returning to the mode checking sub-state again if a new failure identifier is detected at the same time.
12. A finite state machine modeling apparatus that stabilizes control device action logic, the apparatus comprising:
a mapping module: the mapping relation between the action logic of the stable control device and the finite state machine is established;
and a summarizing module: the device is used for summarizing the state of the stability control device according to the action process of the stability control device;
a configuration module: and configuring the state transition logic and executing actions of the finite-state machine according to the established mapping relation and the generalized state of the stable control device.
13. The apparatus of claim 12, wherein the configuration module comprises:
the first state transition module is configured to transition the stable control device from an initial state to a normal operation state when the stable control device is powered on;
the second state transition module is configured to transition the stable control device from the normal operation state to the starting state if the starting signal is detected in the normal operation state;
the third state transition module is configured to, in the starting state, transition the stable control device from the starting state to the decision state if a fault signal is detected; if the starting return signal is detected, returning the stable control device from the starting state to the starting state;
the fourth state transition module is configured to enter the decision state again if a new fault is detected after the output control measures are executed in the decision state; otherwise, returning to the starting state.
14. The finite state machine modeling apparatus of stability control apparatus action logic of claim 13, wherein the configuration module further comprises:
the first action execution module is configured to execute actions including determining an operation mode, starting inspection and saving operation variables in a normal operation state;
the second action execution module is configured to execute actions in a starting state, wherein the actions comprise saving measured value table information, determining the running state of the power system 200ms before starting, starting return check and fault check;
and the third action execution module is configured to execute actions including control measure search and control measure execution in the decision state.
15. The finite state machine modeling apparatus of stability control apparatus action logic of claim 13, wherein the fourth state transition module comprises:
the mode checking submodule is configured to transfer to a corresponding fault checking substate according to the input mode type identifier in the mode checking substate;
the fault checking sub-module is configured to be transferred to a corresponding power flow checking sub-state according to the corresponding fault type identifier in the fault checking sub-state;
the flow inspection submodule is configured to select and execute a control measure according to the size and the direction of the section flow in a flow inspection substate, and generate a control measure execution identifier;
and the execution checking sub-module is configured to transfer the execution identifier to an execution checking sub-state according to the control measure, execute the operation of the failure times +1 in the execution checking sub-state, and return to the mode checking sub-state again if a new failure identifier is detected at the same time.
16. A finite state machine modeling apparatus that stabilizes control device action logic, comprising at least one processor, at least one storage medium, and computer program instructions stored in the storage medium; the processor is configured to operate in accordance with the instructions to perform the steps of the method according to any one of claims 1 to 11.
17. Computer-readable storage medium, on which a computer program is stored which, when being executed by a processor, carries out the steps of the method according to any one of claims 1 to 11.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202010332029.5A CN111553070A (en) | 2020-04-24 | 2020-04-24 | Finite state machine modeling method and device for stabilizing action logic of control device and storage medium |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202010332029.5A CN111553070A (en) | 2020-04-24 | 2020-04-24 | Finite state machine modeling method and device for stabilizing action logic of control device and storage medium |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| CN111553070A true CN111553070A (en) | 2020-08-18 |
Family
ID=72007591
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN202010332029.5A Pending CN111553070A (en) | 2020-04-24 | 2020-04-24 | Finite state machine modeling method and device for stabilizing action logic of control device and storage medium |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN111553070A (en) |
Cited By (5)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN112711450A (en) * | 2020-12-29 | 2021-04-27 | 西安精密机械研究所 | Method for realizing state transition of software complex finite state machine by adopting function pointer index |
| CN112966375A (en) * | 2021-02-26 | 2021-06-15 | 全球能源互联网研究院有限公司 | Finite state machine-based modeling method and system for information physical elements of power distribution network |
| CN113536578A (en) * | 2021-07-21 | 2021-10-22 | 全球能源互联网研究院有限公司 | Power grid equipment element energy information modeling and simulation analysis method |
| CN114489132A (en) * | 2022-01-26 | 2022-05-13 | 北京星际荣耀科技有限责任公司 | Aircraft control method and device, electronic equipment and storage medium |
| CN114687865A (en) * | 2022-02-25 | 2022-07-01 | 中国航发控制系统研究所 | State machine following method of FADEC control software |
Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN102890735A (en) * | 2012-07-09 | 2013-01-23 | 南京南瑞继保电气有限公司 | Modeling method of strategy table and strategy table searching match of stable control device |
| CN106408438A (en) * | 2015-07-31 | 2017-02-15 | 中国电力科学研究院 | Method for automatically checking safety and stability control strategy based on dynamic simulation of whole process |
| CN110134504A (en) * | 2019-04-28 | 2019-08-16 | 北京控制工程研究所 | A kind of operating system demand layer Formal Modeling and device based on finite state machine |
-
2020
- 2020-04-24 CN CN202010332029.5A patent/CN111553070A/en active Pending
Patent Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN102890735A (en) * | 2012-07-09 | 2013-01-23 | 南京南瑞继保电气有限公司 | Modeling method of strategy table and strategy table searching match of stable control device |
| CN106408438A (en) * | 2015-07-31 | 2017-02-15 | 中国电力科学研究院 | Method for automatically checking safety and stability control strategy based on dynamic simulation of whole process |
| CN110134504A (en) * | 2019-04-28 | 2019-08-16 | 北京控制工程研究所 | A kind of operating system demand layer Formal Modeling and device based on finite state machine |
Cited By (8)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN112711450A (en) * | 2020-12-29 | 2021-04-27 | 西安精密机械研究所 | Method for realizing state transition of software complex finite state machine by adopting function pointer index |
| CN112966375A (en) * | 2021-02-26 | 2021-06-15 | 全球能源互联网研究院有限公司 | Finite state machine-based modeling method and system for information physical elements of power distribution network |
| WO2022179017A1 (en) * | 2021-02-26 | 2022-09-01 | 全球能源互联网研究院有限公司 | Power distribution network cyber-physical component modeling method and system |
| CN112966375B (en) * | 2021-02-26 | 2024-03-29 | 全球能源互联网研究院有限公司 | Finite state machine-based modeling method and system for power distribution network information physical elements |
| CN113536578A (en) * | 2021-07-21 | 2021-10-22 | 全球能源互联网研究院有限公司 | Power grid equipment element energy information modeling and simulation analysis method |
| CN114489132A (en) * | 2022-01-26 | 2022-05-13 | 北京星际荣耀科技有限责任公司 | Aircraft control method and device, electronic equipment and storage medium |
| CN114687865A (en) * | 2022-02-25 | 2022-07-01 | 中国航发控制系统研究所 | State machine following method of FADEC control software |
| CN114687865B (en) * | 2022-02-25 | 2023-10-31 | 中国航发控制系统研究所 | State machine following method of FADEC control software |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN111553070A (en) | Finite state machine modeling method and device for stabilizing action logic of control device and storage medium | |
| CN102890735B (en) | Modeling method of strategy table and strategy table searching match of stable control device | |
| EP2510433B1 (en) | Canonicalized versions of reuse candidates in graphical state diagrams | |
| Lednicki et al. | Model level worst-case execution time analysis for IEC 61499 | |
| CN102053910A (en) | Embedded software testing method based on AADL (Architecture Analysis and Design Language) mode transformation relationship | |
| Cataldo et al. | Modelling, simulation and evaluation of energy consumptions for a manufacturing production line | |
| Morozov et al. | Openerrorpro: A new tool for stochastic model-based reliability and resilience analysis | |
| Lipaczewski et al. | Using tool-supported model based safety analysis--Progress and experiences in SAML development | |
| CN103777092A (en) | Cloud technology based relay protection test system and method | |
| CN107579851A (en) | The method and apparatus for determining the execution sequence of resource layout template | |
| Morison | On-line dynamic security assessment using intelligent systems | |
| CN108681503A (en) | Safety detection method, device and the equipment of programmable controller program | |
| CN113157562A (en) | Test case generation method and platform based on extended finite-state machine model | |
| Rogersten et al. | An aircraft electric power testbed for validating automatically synthesized reactive control protocols | |
| Wason et al. | Estimating software reliability by monitoring software execution through opcode | |
| CN113688403A (en) | Intelligent contract vulnerability detection method and device based on symbolic execution verification | |
| JP2006244178A (en) | Collation program | |
| CN114647401A (en) | Model verification method suitable for distributed system of SysML, Simulink and AADL | |
| Riddle et al. | Languages for representing software specifications and designs | |
| Nandan et al. | Comparison of GSEIM with Simulink with respect to simulation speed | |
| Bera et al. | Relationship between simulink and petri nets | |
| Xin et al. | Modeling Distributed Real-time Elevator System by Three Model Checkers. | |
| Li et al. | Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design Under Probabilistic Requirements | |
| Chen et al. | A fault propagation modeling and analysis method based on model checking | |
| David | Strengthening the Security of Electric Power Systems during the Energy Transition: Predicting Cascading Failures and Reinforcing the Network Topology |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| PB01 | Publication | ||
| PB01 | Publication | ||
| SE01 | Entry into force of request for substantive examination | ||
| SE01 | Entry into force of request for substantive examination |