A CPS Modeling and Attribute Verification Method Based on Possibility Space-Time Hybrid Automata

A hybrid automaton and verification method technology, applied in the direction of instrumentation, design optimization/simulation, calculation, etc., can solve problems such as inconsistency, possibility measure not satisfying additivity, probability measure not satisfying additivity, etc.

Active Publication Date: 2019-11-29
QINGHAI NORMAL UNIV
View PDF2 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

In the real world, there are many complex concurrent systems in the verification process. It is inevitable that some uncertain and inconsistent information will appear. The classical model checking method cannot deal with these uncertain verification problems in the actual system, and it does not satisfy the probability Additivity under measure, which cannot be verified with a probabilistic model
[0004] Possibility measure is a branch of fuzzy set theory, which is an extension of probability measure, and possibility measure does not satisfy additivity

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
  • A CPS Modeling and Attribute Verification Method Based on Possibility Space-Time Hybrid Automata
  • A CPS Modeling and Attribute Verification Method Based on Possibility Space-Time Hybrid Automata
  • A CPS Modeling and Attribute Verification Method Based on Possibility Space-Time Hybrid Automata

Examples

Experimental program
Comparison scheme
Effect test

Embodiment

[0259] Taking the train control system as an example, considering two trains in the system, the system is composed of two parts: the train speed control unit and the train distance control unit, and its possible spatiotemporal hybrid automaton model is as follows: image 3 , as shown in 4.

[0260] in image 3 Among them, DiffSpeed ​​is the difference between the limited speed calculated by the speed control unit and the current speed of the train; CritiSpeed ​​is the critical speed difference for the safe operation of the train.

[0261] The two trains are running under the monitoring of Train Self-Protection (ATP), so as to avoid train overspeed and prevent train collision. The train control system workflow is as follows: Figure 5 As shown, according to the current driving mode of the train and the trackside equipment, the speed control unit and the distance control unit of ATP will detect the current speed of the train and the distance between the two trains, and judge w...

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 provides a CPS modeling and property verification method based on a possibility space-time hybrid automaton. The verification method comprises the steps that 1, the possibility space-time hybrid automaton and a cyber-physical system (CPS) are determined; 2, the properties of the possibility space-time CPS are verified. The method is based on a possibility space-time hybrid automaton model and used for modeling of the CPS, a description language of the possibility space-time CPS is given to be used for verifying and measuring system responsiveness, regular security and other properties, the effectiveness of the CPS modeling and property verification and measurement method in an uncertain environment is verified in terms of theory and instance, and a theoretical basis is provided for intelligent control and optimization of the complicated CPS.

Description

technical field [0001] The invention relates to the application field of intelligent control, in particular to a CPS modeling and attribute verification method based on possibility space-time hybrid automata. Background technique [0002] Cyber-Physical Systems (CPS) is a complex embedded network system that integrates computing processes and physical processes. It combines computing, network and physical processes to form a multi-dimensional complex system, which effectively realizes the interaction between human and the real world, safe and reliable feedback control through the mutual influence of the feedback mechanism. The modeling and verification of CPS system is a hot issue in this field. Each component in the CPS system has the characteristics of autonomy, heterogeneity, concurrency, etc., and the CPS software is open, which makes it challenging to use the traditional method to model the CPS software. The various components of CPS are not completely isolated, but a...

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
Patent Type & Authority Patents(China)
IPC IPC(8): G06F17/50
CPCG06F30/20
Inventor 耿生玲
Owner QINGHAI 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