随机环境下电力信息物理系统小干扰稳定及鲁棒控制方法 被引量：1

1

作者 韩子熙 黄宗武 +3 位作者 张宸瑄 张兆毅 熊丰 樊友平 《科学技术与工程》 北大核心 2025年第4期1512-1521,共10页

电力信息物理系统(cyber physical system, CPS)的运行稳定性容易受到来自信息侧与物理侧不确定因素的影响。基于随机不确定模型研究信息-物理网络相互依存的电力CPS稳定性分析方法,并提出一种鲁棒广域反馈频率控制技术。综合信息侧离... 电力信息物理系统(cyber physical system, CPS)的运行稳定性容易受到来自信息侧与物理侧不确定因素的影响。基于随机不确定模型研究信息-物理网络相互依存的电力CPS稳定性分析方法,并提出一种鲁棒广域反馈频率控制技术。综合信息侧离散性和物理侧连续性的本质不同以及在功能上的相互影响,分别从物理域与信息域两个维度建立考虑随机不确定性的电力CPS动态模型。根据随机微分方程均方指数稳定性条件,针对电力CPS随机模型进行小干扰稳定性分析,采用基于均方范数计算的临界方差刻画随机不确定性对电力CPS小干扰稳定的影响。结合基于线性矩阵不等式约束的范数优化问题,在分布式控制方法的基础上改进设计一种鲁棒广域反馈控制器。最后通过IEEE 39节点系统进行仿真分析,结果验证了所提方法的正确性和有效性。 展开更多

关键词 信息物理系统(cps) 随机不确定性 小干扰稳定 负荷频率控制 鲁棒分布式控制

在线阅读 下载PDF 职称材料

机场飞行区CPS网络建模及韧性评估

2

作者 王兴隆 邱鑫 魏奕雯 《中国安全科学学报》 北大核心 2025年第2期49-56,共8页

为评估机场飞行区信息物理系统(CPS)的韧性,并为紧急情况下的快速恢复提供参考,以飞行区管制网为信息网,飞行区滑行路径网为物理网,构建精细化、实时化的机场飞行区CPS网络模型;以西安咸阳机场飞行区CPS为例,针对机场飞行区CPS网络,选... 为评估机场飞行区信息物理系统(CPS)的韧性,并为紧急情况下的快速恢复提供参考,以飞行区管制网为信息网,飞行区滑行路径网为物理网,构建精细化、实时化的机场飞行区CPS网络模型;以西安咸阳机场飞行区CPS为例,针对机场飞行区CPS网络,选取最大连通子图相对值计算网络的连通性,并结合鲁棒性、性能损失和综合韧性指标评估网络韧性;对比不同扰动-恢复策略下的机场飞行区CPS情况,以确定出最佳恢复策略。结果表明:介数扰动对管制网破坏最大,度值扰动对滑行路径网破坏最大;采用介数恢复能够使机场飞行区CPS韧性得到较快恢复;在随机扰动下,机场飞行区CPS网络展现出较高的韧性水平。 展开更多

关键词 机场飞行区 信息物理系统(cps) 管制网 网络模型 韧性评估 介数扰动 度值扰动 最大连通子图相对值

在线阅读 下载PDF 职称材料

CPS系统物理实体时空一致性建模与分析 被引量：3

3

作者 张晶 王亮 范洪博 《计算机工程与应用》 CSCD 北大核心 2018年第14期41-44,共4页

CPS作为一个混合系统,是计算系统和物理系统的集中体现,注重计算进程和物理进程行为一致性分析与刻画。传统建模方式只针对物理进程和计算进程进行单一建模,难以满足CPS物理实体状态转移时空一致性的要求,在此基础上提出一种新的建模方... CPS作为一个混合系统,是计算系统和物理系统的集中体现,注重计算进程和物理进程行为一致性分析与刻画。传统建模方式只针对物理进程和计算进程进行单一建模,难以满足CPS物理实体状态转移时空一致性的要求,在此基础上提出一种新的建模方法。将CPS时空状态转移融合成一个状态转移实时时空事件,并在时间Petri网基础上引入空间标签,建立时空Petri网模型,利用时空Petri网对物理实体状态转移过程进行分析。最后通过列车控制系统实例进一步分析了时空模型的有效性,从而例证了该方法的可行性。 展开更多

关键词 信息物理系统(cps) 空间 时空事件 时间 PETRI网 模型

在线阅读 下载PDF 职称材料

信息-物理融合系统若干关键问题综述 被引量：76

4

作者 李仁发 谢勇 +1 位作者 李蕊 李浪 《计算机研究与发展》 EI CSCD 北大核心 2012年第6期1149-1161,共13页

信息-物理融合系统(Cyber-Physical System,CPS)集成了计算系统与物理系统,并通过嵌入式计算机与网络实现了两者之间的协作和融合,将对人们的生产和生活方式产生重要影响.CPS是一个全新的研究领域,利用现有基础理论和技术设计CPS时面临... 信息-物理融合系统(Cyber-Physical System,CPS)集成了计算系统与物理系统,并通过嵌入式计算机与网络实现了两者之间的协作和融合,将对人们的生产和生活方式产生重要影响.CPS是一个全新的研究领域,利用现有基础理论和技术设计CPS时面临着众多问题.介绍了CPS的概念、特点和体系结构,分析了与嵌入式系统、网络的关联,从计算系统、网络系统和控制系统3个方面概括了CPS设计面临的主要挑战,并着重探讨了当前一些可用于CPS设计的理论和技术以及CPS研究的最新进展,指出CPS当前的发展应以解决系统抽象层次设计、系统建模、体系结构设计、数据传输和管理、子系统集成方面的问题作为其下一步发展主要的研究方向,并提出了一些可行的解决办法,可为相关研究提供参考. 展开更多

关键词 信息-物理融合系统(cps) 综述 cps体系结构 嵌入式系统 网络

在线阅读 下载PDF 职称材料

基于多视图的信息物理融合系统体系结构研究 被引量：6

5

作者 何明 梁文辉 +2 位作者 陈国华 陈秋丽 连向磊 《计算机工程与应用》 CSCD 2013年第12期25-32,共8页

美国将信息-物理融合系统(Cyber-Physical Systems,CPS)列为八个重要信息技术领域之首,CPS亦成为国内当前研究热点。通过对国内外CPS研究现状分析,针对系统、功能和技术三个视图角度,提出了三种新型基于视图的CPS体系结构,说明了三种视... 美国将信息-物理融合系统(Cyber-Physical Systems,CPS)列为八个重要信息技术领域之首,CPS亦成为国内当前研究热点。通过对国内外CPS研究现状分析,针对系统、功能和技术三个视图角度,提出了三种新型基于视图的CPS体系结构,说明了三种视图间的关系,利用微电网CPS实例论证了基于不同视图的CPS体系结构分析方法的优点。同时,对于CPS未来的研究方向进行了展望。 展开更多

关键词 信息-物理融合系统(cps) 体系结构 多视图 微电网

在线阅读 下载PDF 职称材料

基于时空π-演算的信息物理融合系统组件可替换性判定 被引量：4

6

作者 王鹏 向阳 +1 位作者 宗宇伟 张骐 《电子与信息学报》 EI CSCD 北大核心 2012年第10期2494-2500,共7页

信息物理融合系统(Cyber Physical System,CPS)组件的可替换性为CPS故障处理和系统升级提供了重要保障。采用面向服务的方法设计CPS体系结构,将CPS组件可替换性判定等价为CPS服务的可替换性判定。该文针对CPS的时空特性,在经典π-演算... 信息物理融合系统(Cyber Physical System,CPS)组件的可替换性为CPS故障处理和系统升级提供了重要保障。采用面向服务的方法设计CPS体系结构,将CPS组件可替换性判定等价为CPS服务的可替换性判定。该文针对CPS的时空特性,在经典π-演算理论的基础上,引入时间和空间算子,提出时空π-演算理论,用于CPS服务的形式化建模。从服务可替换性和兼容性的关系入手,提出CPS服务可替换性判定定理。最后通过一个实际案例,展示了如何判定CPS组件的可替换性。 展开更多

关键词 信息物理融合系统(cps) 面向服务 时空π-演算 可替换性

在线阅读 下载PDF 职称材料

智能配电网信息物理融合保护系统的研究 被引量：20

7

作者 庄伟 牟龙华 《电力系统保护与控制》 EI CSCD 北大核心 2012年第4期113-118,共6页

为了实现智能配电网中继电保护系统信息在更深层次上的融合,引入信息物理融合系统(Cyber-Physical System,CPS)的概念,借助其计算机网络与物理系统紧密结合特点,提出了由嵌入式计算设备,实时通信网络、电子式互感器以及智能开关设备组... 为了实现智能配电网中继电保护系统信息在更深层次上的融合,引入信息物理融合系统(Cyber-Physical System,CPS)的概念,借助其计算机网络与物理系统紧密结合特点,提出了由嵌入式计算设备,实时通信网络、电子式互感器以及智能开关设备组成的智能配电网信息物理融合保护系统。阐述了系统各个组成部分的功能及结构,给出该系统的基本结构并讨论了其功能与关键技术。探讨了智能配电网信息物理融合保护系统中与传统继电保护系统中过流与选线保护执行方式的区别及其优势所在。 展开更多

关键词 信息物理融合系统(cps) 智能配电网 继电保护 小电流接地选线 过流保护

在线阅读 下载PDF 职称材料

描述CPS物理实体的时空Petri网模型 被引量：3

8

作者 张茗泰 张广泉 +2 位作者 张侃 陈名才 封飞 《计算机科学与探索》 CSCD 2013年第4期377-384,共8页

时间Petri网在经典Petri网的基础上引入了时间因素,不仅能分析逻辑层次的系统性能,还能分析时间层次的系统性能,然而包含空间因素的信息物理融合系统(cyber-physical system,CPS)的产生需要对时间Petri网进行拓展。CPS集成计算系统和物... 时间Petri网在经典Petri网的基础上引入了时间因素,不仅能分析逻辑层次的系统性能,还能分析时间层次的系统性能,然而包含空间因素的信息物理融合系统(cyber-physical system,CPS)的产生需要对时间Petri网进行拓展。CPS集成计算系统和物理系统,不仅能够实时感知物理环境信息,并且能够通过物理实体改变物理环境。对CPS的物理层面特点进行了深入分析,研究了CPS物理实体的属性及其位置变迁过程,提出了一种CPS物理实体的形式化建模方法。在时间Petri网的基础上引入了空间因素,构造了时空Petri网模型,使其不仅能够描述物理实体逻辑及时间层次的行为,并且能够描述物理实体位置变迁所引起的状态变化。最后以机器人控制系统为例,进一步阐述了时空Petri网模型的有效性。 展开更多

关键词 时间PETRI网 信息物理融合系统(cps) 物理实体 空间信息 时空Petri网

在线阅读 下载PDF 职称材料

基于CPS方法的工业机器人系统 被引量：7

9

作者 陈友东 常石磊 冯强国 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2018年第5期931-938,共8页

基于信息物理融合系统(CPS)的工业机器人系统是智能制造的使能技术和设备,提出了一种基于CPS方法的工业机器人系统,实现了物理世界和信息世界的融合。系统分为物理层、网络层、控制层和应用层。物理层的数据通过网络层上传给控制层,更... 基于信息物理融合系统(CPS)的工业机器人系统是智能制造的使能技术和设备,提出了一种基于CPS方法的工业机器人系统,实现了物理世界和信息世界的融合。系统分为物理层、网络层、控制层和应用层。物理层的数据通过网络层上传给控制层,更新物理世界在信息世界的信息;应用层对其进行优化、决策;控制层将决策转变为设备的控制信息,通过网络层实现物理层的控制。采用该方法实现的工业机器人系统,在ER3A-C60型工业机器人上,采用自制的控制系统和MICRO-6013CM型工业相机进行验证,证实了该方法的可行性。 展开更多

关键词 信息物理融合系统(cps) 工业机器人 控制系统 MODBUS 仿真

在线阅读 下载PDF 职称材料

基于机器学习的CPS系统可靠性在线评估方法 被引量：2

10

作者 邹青丙 刘羽 +2 位作者 何明 余沛毅 王立辉 《计算机工程与应用》 CSCD 2014年第10期128-130,170,共4页

为了对CPS系统可靠性进行有效分析与量化,提出了一种实时的CPS可靠性自动在线评估方法,该方法采用机器学习思想构建了评估框架,设计了在线排队算法,实现了对CPS可靠性的实时在线分析与评估,并能及时采取预防措施,确保系统正常无间断运行... 为了对CPS系统可靠性进行有效分析与量化,提出了一种实时的CPS可靠性自动在线评估方法,该方法采用机器学习思想构建了评估框架,设计了在线排队算法,实现了对CPS可靠性的实时在线分析与评估,并能及时采取预防措施,确保系统正常无间断运行,极大地提高了系统可靠性。仿真实验结果验证了评估方法的有效性及广泛的应用前景。 展开更多

关键词 信息物理融合系统(cps) 可靠性 机器学习 排队模型

在线阅读 下载PDF 职称材料

基于CPS系统的网络入侵检测方法 被引量：5

11

作者 张宇 曹江涛 +1 位作者 阚哲 姬晓飞 《传感器与微系统》 CSCD 2020年第10期126-128,共3页

有效防御信息物理系统(CPS)的网络入侵是网络安全的难点问题。以化工厂危险化学品信息物理系统为背景,为了解决CPS系统中IP/TCP加密协议的网络安全问题,提出了信息增益KLIC与极限学习机(ELM)融合的CPS系统入侵检测方法。KLIC对特征进行... 有效防御信息物理系统(CPS)的网络入侵是网络安全的难点问题。以化工厂危险化学品信息物理系统为背景,为了解决CPS系统中IP/TCP加密协议的网络安全问题,提出了信息增益KLIC与极限学习机(ELM)融合的CPS系统入侵检测方法。KLIC对特征进行筛选实现数据降维处理。为了使ELM更好地识别网络异常行为,使用粒子群优化算法对参数进行优化。仿真结果表明:所提方法从实际应用角度解决CPS网络安全问题,在识别网络入侵行为有较高的准确率,具有较好的应用前景。 展开更多

关键词 信息物理系统(cps)系统 网络入侵 信息增益 极限学习机

在线阅读 下载PDF 职称材料

能源互联网目标下电力信息物理系统深度融合发展研究 被引量：34

12

作者 刘林 张运洲 +3 位作者 王雪 姜怡喆 左新强 代红才 《中国电力》 CSCD 北大核心 2019年第1期2-9,共8页

能源互联网是解决当前能源系统问题、推动能源系统变革的智慧综合能源系统,对提高可再生能源比重,促进化石能源清洁高效利用,提升能源综合效率具有重要意义。电力信息物理系统融合是建设能源互联网的核心基础和关键所在,融合水平是决定... 能源互联网是解决当前能源系统问题、推动能源系统变革的智慧综合能源系统,对提高可再生能源比重,促进化石能源清洁高效利用,提升能源综合效率具有重要意义。电力信息物理系统融合是建设能源互联网的核心基础和关键所在,融合水平是决定能源互联网发展阶段的重要因素。通过研究电力与信息技术融合的价值、架构以及与能源互联网的关系,以历史长周期(1900—2018年)为跨度,量化分析揭示电力信息物理融合发展规律,预测未来趋势,提出能源互联网建设重点战略方向,为中国能源互联网的建设与发展提供理论依据和决策参考。 展开更多

关键词 能源互联网 信息物理系统(cps) 融合发展

在线阅读 下载PDF 职称材料

带有量化的信息物理系统安全控制 被引量：3

13

作者 朱俊威 吴珺 冯宇 《高技术通讯》 EI CAS 北大核心 2020年第11期1113-1121,共9页

本文针对量化环境下的信息物理系统(CPS)提出了一种安全控制方法。考虑执行器和传感器同时受到攻击,并且在信息传输过程中受到量化影响,首先设计了一种中间观测器对系统状态和攻击信号同时进行估计,并基于估计值设计了容侵控制器,通过... 本文针对量化环境下的信息物理系统(CPS)提出了一种安全控制方法。考虑执行器和传感器同时受到攻击,并且在信息传输过程中受到量化影响,首先设计了一种中间观测器对系统状态和攻击信号同时进行估计,并基于估计值设计了容侵控制器,通过李雅普诺夫稳定性分析得到保证闭环系统状态一致最终有界的充分条件。该方法通过直接调节某些特定参数可以抑制量化误差的影响,并且不需要引入任何性能指标。最后通过网络化运动控制系统验证了所提方法的有效性。 展开更多

关键词 信息物理系统(cps) 量化 攻击估计 中间观测器 安全控制

在线阅读 下载PDF 职称材料

基于信息物理融合的火电机组节能环保负荷优化分配 被引量：17

14

作者 付鹏 王宁玲 +3 位作者 李晓恩 徐汉 张雨檬 杨勇平 《中国电机工程学报》 EI CSCD 北大核心 2015年第14期3685-3692,共8页

能源互联网背景下,火电机组厂级负荷分配需要兼顾安全性、经济性、环保性和智能化,要求发电机组的物理系统、信息系统和控制系统深度融合、协调优化。信息物理融合系统(cyber-physical system,CPS)紧密融合了物理、通信和信息网络,为火... 能源互联网背景下,火电机组厂级负荷分配需要兼顾安全性、经济性、环保性和智能化,要求发电机组的物理系统、信息系统和控制系统深度融合、协调优化。信息物理融合系统(cyber-physical system,CPS)紧密融合了物理、通信和信息网络,为火电机组的智能优化负荷分配提供了新思路。文中在火电机组海量运行数据基础上,基于模糊粗糙集(fuzzy rough set,FRS)大数据处理方法,得到机组煤耗和污染物排放量物理模型与信息模型的对应关系;综合考虑经济和排放因素,建立基于物理信息融合(CP)的负荷分配模型。以某600 MW燃煤发电机组为案例进行模型模拟,结果表明,负荷指令由700 MW增至1 100 MW,煤耗率以及SO2、NOx和粉尘浓度降低范围分别为1.3 g/(kW·h)、3.4 mg/m3、2.5 mg/m3和1.6 mg/m3左右。 展开更多

关键词 能源互联网 信息物理融合系统(cps) 负荷分配 大数据 排放 煤耗

在线阅读 下载PDF 职称材料

面向CPS的时间戳不确定事件调度算法 被引量：6

15

作者 李芳芳 刘冲 于戈 《计算机科学与探索》 CSCD 北大核心 2017年第6期887-896,共10页

信息物理融合系统(cyber-physical system,CPS)作为计算过程和物理过程的统一体,是集计算、通信、控制于一体的下一代智能系统。事件是连接信息世界和物理世界的重要元素,但是在实际应用中,由于数据的漏读,各个监测系统之间事件的时间... 信息物理融合系统(cyber-physical system,CPS)作为计算过程和物理过程的统一体,是集计算、通信、控制于一体的下一代智能系统。事件是连接信息世界和物理世界的重要元素,但是在实际应用中,由于数据的漏读,各个监测系统之间事件的时间粒度不匹配,来自分布式系统的事件存在着时间不同步问题等原因,会造成事件的时间戳不确定。利用时间戳不确定复杂事件的剪枝技术改进时间戳确定事件调度的低水标记算法,提出了时间戳不确定的复杂事件调度算法,并对CPS中的读写事件进行了合理调度。实验证明该算法的事件调度准确性高,保证将正确的事件执行顺序反馈给CPS系统。 展开更多

关键词 调度 事件 时间戳不确定 信息物理融合系统(cps)

在线阅读 下载PDF 职称材料

面向智能棉纺生产的CPS架构及其关键技术 被引量：5

16

作者 殷士勇 鲍劲松 +2 位作者 邹永毅 FAROOQ Basit 倪倪 《东华大学学报（自然科学版）》 CSCD 北大核心 2017年第5期681-688,共8页

棉纺行业是中国纺织产业中最重要的基础行业之一,在推进其智能制造和加速产业转型升级方面必须有自己的创新.在分析了棉纺智能化发展状况和所面临的挑战后,根据信息物理系统(cyber-physical system,CPS)的特征和现代棉纺生产流程的现状... 棉纺行业是中国纺织产业中最重要的基础行业之一,在推进其智能制造和加速产业转型升级方面必须有自己的创新.在分析了棉纺智能化发展状况和所面临的挑战后,根据信息物理系统(cyber-physical system,CPS)的特征和现代棉纺生产流程的现状,以工业大数据和信息集成技术为基础,提出了面向智能棉纺生产的"感知-通信-融合-控制"4层CPS框架结构,在此基础上探讨了该架构的关键技术.CPS架构及其关键技术将有力促进智能棉纺生产各类资源的高效配置、生产流程智能优化、质量和效率的大幅提升. 展开更多

关键词 信息物理系统(cps) 工业大数据 智能制造 棉纺生产

在线阅读 下载PDF 职称材料

CPS拓扑结构节点重要性排序方法 被引量：2

17

作者 杨志才 裘杭萍 +1 位作者 权冀川 雷智朋 《计算机科学》 CSCD 北大核心 2015年第8期128-131,共4页

信息物理融合系统(Cyber-physical Systems,CPS)拓扑结构中节点重要性排序是CPS拓扑分析的重要方面。针对CPS内在结构特征,构建一种CPS拓扑结构模型——交互网络模型。然后结合CPS信息交互特点定义节点交互介数作为衡量具体节点重要性度... 信息物理融合系统(Cyber-physical Systems,CPS)拓扑结构中节点重要性排序是CPS拓扑分析的重要方面。针对CPS内在结构特征,构建一种CPS拓扑结构模型——交互网络模型。然后结合CPS信息交互特点定义节点交互介数作为衡量具体节点重要性度量,阐明该测度能够反映节点的相对重要度,并给出了时间复杂度为多项式阶的节点重要性排序有效算法。最后构建CPS拓扑实例进行分析,并与节点介数进行对比,说明节点重要性排序能够为CPS的运行和防护提供重要参考。 展开更多

关键词 信息物理融合系统(cps) 交互网络模型 节点交互介数 重要性排序

在线阅读 下载PDF 职称材料

空中交通CPS级联失效与缓解策略 被引量：7

18

作者 王兴隆 贺敏 刘明学 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2021年第12期2426-2433,共8页

为有效缓解空中交通级联失效,改进传统负载-容量模型,并发现容量调节参数存在级联失效临界值;建立空中交通物理信息系统(CPS)模型,定义节点正常、拥堵和失效3种工作状态,提出度分配、介数中心性分配和剩余容量分配等节点流量分配策略,... 为有效缓解空中交通级联失效,改进传统负载-容量模型,并发现容量调节参数存在级联失效临界值;建立空中交通物理信息系统(CPS)模型,定义节点正常、拥堵和失效3种工作状态,提出度分配、介数中心性分配和剩余容量分配等节点流量分配策略,以此缓解航路网和管制网的级联失效,建立网络正常率指标来评估策略实施效果。以中国华东地区空中交通CPS为实例分析,结果表明:在节点介数中心性分配策略下,网络抵御级联失效的能力较强,最先从崩溃状态开始恢复;节点剩余容量分配策略下,各节点可以充分发挥接收额外流量的作用,网络级联失效最早恢复至正常状态,缓解效果较好。 展开更多

关键词 空中交通 物理信息系统(cps) 空中交通级联失效 级联失效缓解策略 负载-容量模型

在线阅读 下载PDF 职称材料

配电网CPS综合建模方法及其交互影响机理研究 被引量：5

19

作者 李红 朱红 +3 位作者 杨志宏 唐成虹 张明 周冬旭 《中国电力》 CSCD 北大核心 2019年第1期17-24,共8页

通信和信息技术的提升极大地增强了配电网的可观性与可控性,需要进一步从信息物理系统(cyber physical system,CPS)的角度研究配电网的运行特性。主要研究基于CPS的配电网系统综合建模与交互机理。首先提出配电系统与配电信息系统的统... 通信和信息技术的提升极大地增强了配电网的可观性与可控性,需要进一步从信息物理系统(cyber physical system,CPS)的角度研究配电网的运行特性。主要研究基于CPS的配电网系统综合建模与交互机理。首先提出配电系统与配电信息系统的统一建模方法;其次研究了配电网CPS动态交互影响机理,以分布式电源为智能控制和处理终端,构建配电网CPS动态交互综合模型;最后分析了配电网CPS中通信故障对物理环节的动态影响并进行测例仿真,进而验证了模型的有效性。 展开更多

关键词 配电网 信息物理系统(cps) 分布式电源 综合模型

在线阅读 下载PDF 职称材料

基于时间自动机的CPS安全建模和验证 被引量：3

20

作者 苏琪 王婷 +1 位作者 陈铁明 陈蓉蓉 《信息安全研究》 2017年第7期601-609,共9页

信息物理融合系统(cyber-physical system,CPS)作为一个新的研究方向,在其研究与发展过程中遇到了众多的问题,一些关于CPS安全的问题逐渐呈现.对CPS的设计安全进行探索性研究,主要针对CPS系统各部分之间如何安全地交互进行建模,并讨论... 信息物理融合系统(cyber-physical system,CPS)作为一个新的研究方向,在其研究与发展过程中遇到了众多的问题,一些关于CPS安全的问题逐渐呈现.对CPS的设计安全进行探索性研究,主要针对CPS系统各部分之间如何安全地交互进行建模,并讨论安全数据的攻击及其防御措施的有效性.以网络化水位控制系统为例,以时间自动机为形式化建模语言对系统进行建模、验证和分析.建模过程中,采用分层的安全体系结构,分别将系统的各个组成部分的工作抽象为时间自动机模型.这些模型组成一个系统,刻画出完整的CPS工作过程.最后,利用模型检测工具PAT验证系统恢复机制的有效性. 展开更多

关键词 时间自动机 形式化方法 信息物理融合系统(cps) 安全 验证 建模

在线阅读 下载PDF 职称材料