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

CPS (Cyber Physical Systems) modeling and verification method based on transformation from hybrid UML (Unified Modeling Language) to DAP (Differential-Algebraic Program)

A technology of differential algebraic program and verification method, which is applied in the field of CPS modeling and verification based on the transformation from HybridUML to differential algebraic program, which can solve problems such as difficult modeling and achieve the effect of convenient modeling

Inactive Publication Date: 2012-04-25
SOUTHEAST UNIV
View PDF2 Cites 5 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

However, the operation model of differential algebraic dynamic logic is too abstract, which brings great difficulties to modeling.

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 (Cyber Physical Systems) modeling and verification method based on transformation from hybrid UML (Unified Modeling Language) to DAP (Differential-Algebraic Program)
  • CPS (Cyber Physical Systems) modeling and verification method based on transformation from hybrid UML (Unified Modeling Language) to DAP (Differential-Algebraic Program)
  • CPS (Cyber Physical Systems) modeling and verification method based on transformation from hybrid UML (Unified Modeling Language) to DAP (Differential-Algebraic Program)

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0046] Below in conjunction with accompanying drawing and specific embodiment the technical scheme is further described as follows:

[0047] Step 1). According to the existing HybridUML formal description definition, the HybridUML formal description is extended, and the formal description tuples of Agent and Mode are given, so that the system model is described by agent and mode, and the agent describes the system The structure of the mode describes the behavior of the system. According to whether it contains other agents, the agent is divided into compositeagent containing other agents and basicagent not containing other agents; according to whether it contains other modes, the mode is divided into nestmode containing other modes and leafmode not containing other modes.

[0048] The formal description tuples of agent and mode are as follows:

[0049] agent=basicagent||compositeagent

[0050] basicagent=(VAR, PARAM, SIG, VAR_PORT, SIG_PORT, TopMode)

[0051] compositeagent ...

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 CPS (Cyber Physical Systems) modeling and verification method based on transformation from a hybrid UML (Unified Modeling Language) to a DAP (Differential-Algebraic Program), in which transformation from the hybrid UML to the DLP is realized, and a CPS embodiment is verified according to a DAL (Differential-Algebraic Dynamic Logic) inference rule. In the method, the Hybrid UML is used for CPS modeling, the Hybrid UML is transformed into an operating model DAP of the DAL, and the CPS attribute is verified based on the DAL.

Description

technical field [0001] The present invention is a CPS modeling and verification method based on the conversion from HybridUML to differential algebraic program. The method can conveniently use HybridUML to model CPS, convert the HybridUML model into a differential algebraic program according to the conversion rules, and use differential Algebraic dynamic logic describes system properties and verifies reasoning. Background technique [0002] Usually, the modeling and verification of CPS are extremely difficult because of the discrete control of the system and the continuous change of the physical system. Hybrid automata, as a modeling language that can describe both discrete and continuous changes, can be used to model the CPS system, and it can be used to verify the CPS based on the existing state automata verification technology. However, since CPS is a complex system that combines software, hardware and physical environment, the state explosion problem usually occurs in t...

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 Applications(China)
IPC IPC(8): G06F9/44
Inventor 李必信陈乔乔翟小祥宋锐张前东
Owner SOUTHEAST UNIV
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