原创力文档基于微分动态逻辑的cps建模与属性验证 transforming hybriduml to hybrid program for cps property verification.pdfVIP
- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
基于微分动态逻辑的cps建模与属性验证 transforming hybriduml to hybrid program for cps property verification
第6期 电 子 学 报 v01．柏N0．6
2012年6月 AclAEUjCrRONICASImOt Jun．2012
基于微分动态逻辑的CPS建模与属性验证
朱敏，李必信，陈乔乔，吉顺慧，李加凯
(东南大学计算机科学与工程学院，扛苏南京211189)
摘要： 随着信息物理融合系统(Cybcr_Hl皿als]r蜘坞，cPs)应用的越来越普及，c璐的设计和实现能否满足实
际需求显得至关重要．本文提出了一种CPS建模与属性验证框架．在框架中，首先使用蜥dtrML对CPS进行建模，然
后将该通用模型转换为形式化模型，进而进行形式化验证．本文采用的形式化验证方法为dL(Differemial
Dy舢『nic【鹪．
ie)，其操作模型为hybridprogram．将HyhridUML模型转换为hybrjdprogram时，基于语义一致性的原则定义转换规则，转
换完成后，结合得到的h衄d邮伊咖对验证的ClX3属性进行规约，最后使用定理证明器lbYmaera对属性进行自动化
验证．
关键词： 信息物理融合系统；微分动态逻辑；HybridUML；模型转换；验证
中图分类号：TP30l文献标识码： A 文章编号：0372-2112(2012)06-1126-07
to forCPS Verification
TransformingHybridUMLHybridProgram Property
ZHU Jia-kai
Min，UBi—xin，CHEN Shun-hui，LI
Qi廿qiao，J1
(Sdoo／矿白咿c时蜘andEng／概，．．￡otdtam‰蚵，怕啦酱，加，舭211189，aI妇)
Al蚓噍d：Withthewide of isof the and
systms(CrS)．it design
applicationcyber-physicat vital．皿印咖tO曲瓣that
critical aflamewcrkfur哪
imp]e舭ntation醴OSmeetpedonna舭伯和艏加啦(e．g．，security，mliability)．Thisp日I噼pcestmts
and then is t0
verification．如the肋删：啪出，CPS矾modelled transfoanedafor-
modelins by呐idI】蝴，andthe蛳model
realmodalthatissaitablc the offormalmettxxls．Theformalmethod isdifferential
hdp adop‘ed dyna疵logic
for北勰咄with
model
(皿)慨opcrafiomlis删弘馨啦(疆)．Whentra碰咖aHybfi吼瑚酗幻its∞豫即晒I培HPla躐nta-
您可能关注的文档
- 基于调峰平衡约束的光伏发电穿透功率极限研究 research about photovoltaic power’s penetration limit based on the peak load balance constraint.pdf
- 基于泰勒级数展开的n-1牛顿拉夫逊法快速潮流修正计算 taylor series expansion based n-1 fast power flow revision calculation using newton-raphson method.pdf
- 基于同步电压相量的故障定位新方法 novel fault locating method based on synchronized voltage phasor.pdf
- 基于同步测量信息的电网拓扑错误辨识方法 topology error identification based on synchronized measurements for power network.pdf
- 基于同步网的工作流过程变动问题研究 research on workflow process change based on synchronization net.pdf
- 基于同步相量测量技术的配电网故障定位 synchronized phasor measurement technique for fault location of power distribution system.pdf
- 基于同步相量的电力故障录波监测系统 power fault recording and monitoring system based on synchrophasor.pdf
- 基于同步发电机的分布式电源孤岛检测方法研究 research on islanding detection method for dg based on synchronous generator.pdf
- 基于同步相量测量的电压稳定指标 voltage stability index based on synchronized phasor measurement.pdf
- 基于同道干扰统计模型的无线自组织网络性能分析 performance analysis of wireless ad hoc network based on co-channel interference statistical model.pdf
- 基于微分进化算法的电路模型匹配技术 matching technique of circuit models based on differential evolution algorithm.pdf
- 基于微分同胚映射和扩张状态观测器的高压直流非线性控制器的设计 design of nonlinear controller for hvdc power transmission based on diffeomorphic mapping and extended state observer.pdf
- 基于微分几何反馈线性化的pmsm混合h2h∞控制 mixed h2h∞ control of pmsm based on differential geometry feedback linearization.pdf
- 基于微分博弈的发电商报价模型及其分析 bidding model of electric power producers and its analysis based on differential game.pdf
- 基于微分算子逼近的单端故障测距新原理 new single-ended fault locating principle based on differential operator approach.pdf
- 基于微环谐振腔的耦合谐振光波导反射镜 coupled-resonator optical waveguide reflector based on triple-microring.pdf
- 基于微焦点x射线源的相位衬度成像实验研究 experimental research on phase contrast imaging using micro-focus x-ray source.pdf
- 基于微控制器的汽车空调控制系统 automotive air conditioning control system based on microcontroller.pdf
- 基于微粒群优化算法的电力系统动态无功优化 dynamic reactive power optimization based on particle swarm optimization algorithm.pdf
- 基于微件技术的中小企业门户和应用实现 research on widget-based small and midsize business portal and applications.pdf
文档评论（0）