Formal Design of Distributed Cooperative Systems

来源 :第八届工业与应用数学国际大会 | 被引量 : 0次 | 上传用户:cntanmingyong
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
  A common challenge in our future engineered system design,such as power grids,intelligent transportation networks and flexible-manufacturing systems,is how to make a large number of distributed systems work together in a reliable and efficient manner.
其他文献
  We develop a streamlined and systematic approach to validate the diffusion limit as an approximation to the stationary performance of stochastic processing
会议
  Swarm intelligence is the attempts to design algorithms or distributed problem-solving devices inspired by the collective behavior of social insect colonies
会议
  In this talk,our recent progress on event-based consensus of multiagent systems with/without time-delays will be discussed.For each agent,the controller upd
会议
  Introduction to alarm data; Graphical representation; High density alarm plots; Alarm correlation color map; Parallel coordinate plots; Run-length distribut
会议
  Several consensus protocols for asynchronous multi-agent systems are presented in the framework of time and event hybrid-driven control.In these protocols,e
会议
  Introduction to process data; Alarm design trade-offs: how to minimize false and missed alarms; ROC curves; Filtering,deadbands,delaytimers; Optimal design
会议
  Introduction to process connectivity information; Representation of connectivity information; Signed directed graphs; Ontological models,Process modeling an
会议
  Alarm systems play a vital role for safe operation and high efficiency of modern large-scale industrial systems.This Minisymposium provides an overview of n
会议
  The past few decades have witnessed constant research interests on various aspects of sensor networks.In particular,the distributed filtering or estimation
会议
  This talk presents an overview of the recent developments on the gain-scheduled control and filtering problems for the parameter-varying systems.First of al
会议