位置：成果数据库 > 会议 > 会议详情页
Formal specification and verification of reconfigurable protocol stack for networked control system
  • 所属机构名称：华中科技大学
  • 会议名称：The 2010 IEEE International Conference on Networking, Sensing and Control
  • 成果类型：会议
  • 会场：Chicago, IL
  • 相关项目：控制网络节点通信协议栈的可重构自组织理论及应用研究
作者： Huang Xiongfeng|Zhou Chunjie|Chen Hui|Qing Yuanqing|
同会议论文项目
控制网络节点通信协议栈的可重构自组织理论及应用研究
期刊论文 12 会议论文 10 专利 1
同项目会议论文
FSM Model and Analysis for Reconfigurable Protocol Stack in Networked Control System
Multi-agent consensus with a time-varying reference state in directed switching network with time-ve
Improvement of directed diffusion protocol based on data aggregation
A hybrid neural-genetic approach for reconfigurable scheduling of networked control system
Development of a PLC virtual machine orienting IEC 61131-3 standard
Architecture design of reconfigurable protocol stack for nodes in NCS
Weighted average-consensus for directed networks of multi-agent with switching topology
Flocking motion of mobile agents with a leader based on distance-dependent adjacency matrix
Simulation of a complex logistics with uncertain customer demands