摘要
摘要智能用电网络是一种典型的用户侧信息物理系统，它以信息能量网关为中心，通过能效终端连接各种实际用电设备而形成，具备计算、通信、精确控制、远程协调和自治等功能。本文在文献提出的智能用电网络的基础上，分析了智能用电网络的数据采集和通信的主要需求，结合信息物理系统理论，提出了基于时间驱动和事件驱动的多智能体数据采集和通信机制，建立了该机制的混合动态系统。利用线性时序逻辑描述了模型的形式化规格，并利用符号化模型检测对该模型进行了可到达性分析。一方面，该机制将数据采集和通信分离，充分利用前端数据采集设备的计算能力，以分布式的思想分散系统的计算压力；另一方面，该机制的信息物理系统的状态转移条件基于当下时刻的物理特征和先前某一状态的物理特征，以物理的动态过程来决定信息系统的动作，即是否将采集的数据上报，从而在满足采样要求的前提下降低了通信量，提高了通信效率。
出版日期
2017年12月22日（中国期刊网平台首次上网日期，不代表论文的发表时间）
