Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

CPS physical solid formalized modeling method based on blend space-time Petri net model

A technology of formal modeling and physical entities, applied in the field of formal modeling of CPS physical entities based on the hybrid spatio-temporal Petri net model

Inactive Publication Date: 2016-06-08
NANCHANG HANGKONG UNIVERSITY
View PDF2 Cites 14 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

CPS is a complex system that integrates computing, communication and control, and requires a high degree of real-time performance and the combination of time and space, making CPS system modeling and verification a huge challenge.

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
  • CPS physical solid formalized modeling method based on blend space-time Petri net model
  • CPS physical solid formalized modeling method based on blend space-time Petri net model
  • CPS physical solid formalized modeling method based on blend space-time Petri net model

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0067] The ward management part of the medical system is used as an example environment. In the medical system, the physiological indicators of the patient and the status of the medical staff within the control range of the system must be monitored at all times. When the patient is in a dangerous state, the doctor or nurse can be mobilized in time. To provide help to patients in need, the medical control system is designed here to reflect the application of the hybrid spatio-temporal Petri net in practical examples.

[0068] In the medical control system, the location and status information of medical equipment, patients, doctors and nurses in the system can be sensed in time through the corresponding sensor equipment, which is used to monitor the entire system in real time. The scene of the medical control system is attached figure 2 Shown:

[0069] The physical entities in this system include patients, doctors, nurses, and medical equipment. The corresponding sensor devic...

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 physical solid formalized modeling method based on blend space-time Petri net model. First, a rational system structure map is provided after Cyber-physical System (CPS) features are analyzed; a new event presentation is designed for space-time features of the CPS event message and physical solid dynamic changes; space-time factors and continuous variables are introduced on the basis of the Petri net to construct a blend space-time Petri net model; physical solid logic and time hierarchal behaviors can be described and state changes due to changes of physical solid position changes can be described. The CPS physical solid formalized modeling method based on a blend space-time Petri net model can be applied to real-time event CPS model design, so a new CPS physical solid modeling method can be achieved. Consistency between real-time property and space-time can be achieved for the CPS by the use of the method; continuous variables are introduced in consideration of physical environment dynamic property, so the method is suitable for all environments; and foundation is laid for the development of CPS.

Description

technical field [0001] This model involves a design method of a cyber-physical fusion system (CPS), specifically a formal modeling method of CPS physical entities based on a hybrid space-time Petri net model. Background technique [0002] Cyber-physical fusion system (CPS) is a large complex real-time feedback system that integrates computing, communication and control. It emphasizes the integration between the information world and the physical world, emphasizing the real-time monitoring and control of the environment, realizing or expanding system functions through real-time interaction with the environment, and controlling physical entities in a safe, reliable and real-time manner. CPS that can achieve real-time perception and dynamic control of the physical environment has a very broad application prospect. CPS is a complex system integrating computing, communication and control, and requires a high degree of real-time performance and the combination of time and space, ...

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): G06F17/30
CPCG06F16/288
Inventor 谭朋柳汪亚亚朱明冒苏敏周乐
Owner NANCHANG HANGKONG UNIVERSITY
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products

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

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com