Mode-based letter fusion system modeling and verification method for period controller

A system modeling and controller technology, applied in the field of token fusion system modeling and verification, can solve the problems of high security requirements in system design, complex calculation and control combination, etc., to achieve easy-to-describe effects

Active Publication Date: 2021-09-24
EAST CHINA NORMAL UNIV +1
View PDF4 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

Since the calculation and control combination of this periodic controller is relatively complex, and the safety...

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Mode-based letter fusion system modeling and verification method for period controller
  • Mode-based letter fusion system modeling and verification method for period controller
  • Mode-based letter fusion system modeling and verification method for period controller

Examples

Experimental program
Comparison scheme
Effect test

Embodiment 1

[0096] Such as figure 1 is the discrete mode and its control flow in the token fusion system, which consists of two discrete modes. A discrete mode is the guidance mode guidance_program with a period of 0.128s. First, it will sample the mass m, position r and velocity v of the current lunar lander, which are continuous variables in the continuous mode. Then, the specific impulse Isp of the thrust engine of the lander is determined according to the thrust Fc applied to the lander. Finally, the new thrust Fc applied to the lander is obtained through a series of calculations, where m' represents the mass of the lander after the update, DeltaT represents the sampling period, a represents the intermediate variable acceleration, alC is the required acceleration, c1 and c2 represent the control coefficient in the guidance process, and gM represents the gravitational acceleration. Indicates that another discrete mode is a free-fall mode with a period of 0.128s. At this time, the sys...

Embodiment 2

[0098] Such as figure 2 is the continuous pattern and its control flow in the token fusion system. It consists of three consecutive patterns. Continuous mode 1 dynamic_1 and continuous mode 2 dynamic_2 both represent the change law of the current position r, velocity v and mass m of the lander when the system is guided, expressed by differential equations, and their termination conditions are all r≤0. When the thrust Fc applied to the lander issued by the controller is >3000, the continuous mode one will be transferred to the continuous mode two, and when Fc≤3000, the continuous mode two will be transferred to the continuous mode one. The continuous mode three dynamic_3 indicates the change law when the system no longer applies thrust and the lander starts to fall freely, and the termination conditions are all r≤0. Only when the system sends a signal signal, will it enter continuous mode three from continuous mode one or two.

Embodiment 3

[0100] Such as image 3 It is a hybrid automaton model that converts the token fusion system model of the lunar lander's slow descent stage into a hybrid automaton model by applying conversion rules. For the simplicity of the picture, use g_p.dflow to represent the control flow of the guidance mode, use g_p.dflow_1 to represent the control flow after replacing the conditional statement with the first half of the conditional statement, and use g_p.dflow_2 to represent the second half of the conditional statement to replace the condition The control flow after the statement is updated, use dynamic_1.cflow, dynamic_2.cflow, dynamic_3.cflow to represent the control flow of the continuous mode respectively. According to the rules, new variables t and cnt are introduced to represent time and counter respectively, and variable names g_p and s_g are introduced to represent the current discrete mode. Other control flows and transition conditions are converted one by one according to t...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

Abstract

The invention discloses a mode-based letter fusion system modeling and verification method for a period controller, and the method comprises the steps: respectively constructing a discrete mode and a continuous mode on an abstract level, and a discrete control flow and a continuous control flow on a specific level through employing a letter fusion system modeling language; combining the obtained modeling models of the abstract layer and the specific layer to obtain a complete letter fusion system model, and representing the complete letter fusion system model in a graphical mode; and converting the variables, the discrete mode, the continuous mode, the discrete mode control flow and the continuous mode control flow in the obtained complete belief fusion system model into a hybrid automaton according to a translation rule, and carrying out formalized verification and property analysis. According to the method, an interface can be displayed in a graphical mode, a user can conveniently understand and establish a model, an effective bridge is also established between the model and a high-confidence formalized property verification tool, and time and cost for development of a belief fusion system model and high-confidence property verification are saved.

Description

technical field [0001] The invention belongs to the technical fields of trusted software, smart cities and aerospace, and relates to a modeling and verification method for a cycle controller-oriented token fusion system based on patterns. Background technique [0002] The information-object fusion system is a dynamic system composed of continuous dynamics and discrete dynamics. The continuous part usually models the interaction of the physical environment, and the discrete part usually models the operation of the control system. The combination of computation and control can lead to very complex system designs, so they are often found in fields such as aerospace, automotive industry and factory automation design. In the field of aerospace, embedded software and its operating environment are characterized by high complexity, uncertainty and high real-time requirements. This requires that the modeling language must be able to describe different components of the system and en...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
IPC IPC(8): G06F8/10G06F8/35G06F11/36
CPCG06F8/10G06F8/35G06F11/3604
Inventor 赵涌鑫胡指铭蒲戈光刘虹
Owner EAST CHINA NORMAL UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap