咨询与建议

限定检索结果

文献类型

  • 3 篇 期刊文献
  • 2 篇 会议

馆藏范围

  • 5 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2 篇 工学
    • 2 篇 控制科学与工程

主题

  • 5 篇 methodologies an...
  • 1 篇 decentralization
  • 1 篇 network centric ...
  • 1 篇 collaborative ne...
  • 1 篇 detection
  • 1 篇 modelling and de...
  • 1 篇 data-driven deci...
  • 1 篇 agent-based mode...
  • 1 篇 enterprise model...
  • 1 篇 dynamics and con...
  • 1 篇 analysis of reli...
  • 1 篇 steganography
  • 1 篇 kill chain
  • 1 篇 complex logistic...
  • 1 篇 hidden-channel-c...
  • 1 篇 large-scale comp...
  • 1 篇 production plann...
  • 1 篇 modelling

机构

  • 1 篇 stmicroelectroni...
  • 1 篇 departamento de ...
  • 1 篇 departamento de ...
  • 1 篇 univ grenoble al...
  • 1 篇 faculty of mecha...
  • 1 篇 brandenburg univ...
  • 1 篇 computer and aut...
  • 1 篇 otto von guerick...
  • 1 篇 institute of inf...
  • 1 篇 research institu...

作者

  • 1 篇 espinouse marie-...
  • 1 篇 vialletelle phil...
  • 1 篇 josé machado
  • 1 篇 lubomír bakule
  • 1 篇 eurico seabra
  • 1 篇 balázs csanád cs...
  • 1 篇 manuel de la sen
  • 1 篇 lemaire pierre
  • 1 篇 josé creissac ca...
  • 1 篇 vielhauer claus
  • 1 篇 dequeant kean
  • 1 篇 neubert tom
  • 1 篇 lászló monostori

语言

  • 5 篇 英文
检索条件"主题词=methodologies and tools for analysis of complexity"
5 条 记 录,以下是1-10 订阅
排序:
Concurrent WIP and an application to clearing functions for complex heterogenous systems  10th
Concurrent WIP and an application to clearing functions for ...
收藏 引用
10th IFAC Triennial Conference on Manufacturing Modelling, Management and Control (MIM)
作者: Lemaire, Pierre Dequeant, Kean Espinouse, Marie-Laure Vialletelle, Philippe Univ Grenoble Alpes G SCOP Grenoble INP CNRS F-38000 Grenoble France STMicroelectronics F-38926 Crolles France
Complex manufacturing systems are challenging to study because of the high level of information required and the inaccessibility of most of it. Their tractability is however essential for the efficiency of state-of-th... 详细信息
来源: 评论
Kill Chain Attack Modelling for Hidden Channel Attack Scenarios in Industrial Control Systems  21st
Kill Chain Attack Modelling for Hidden Channel Attack Scenar...
收藏 引用
21st IFAC World Congress on Automatic Control - Meeting Societal Challenges
作者: Neubert, Tom Vielhauer, Claus Brandenburg Univ Appl Sci Brandenburg Havel Germany Otto von Guericke Univ Res Grp Multimedia & Secur Magdeburg Germany
The protection against Advanced Persistent Threats (APTs) is an important topic in nuclear and industrial information technology security since the last decade. Nowadays steganography, i.e. information hiding techniqu... 详细信息
来源: 评论
Stabilization of Nonlinear Switched Continuous-Time Complex Systems
收藏 引用
IFAC Proceedings Volumes 2008年 第2期41卷 9326-9331页
作者: Lubomír Bakule Manuel de la Sen Institute of Information Theory and Automation Academy of Sciences of the Czech Republic 182 08 Prague 8 Czech Republic Research Institute for Process Control Department of Electricity and Electronics Faculty of Sciences University of the Basque Country Apdo. 644 48 080 Bilbao Spain
The objective of this paper is to propose an approach to decentralized robust stabilization with state-dependent supervisor for a class of nonlinear switched symmetric composite systems. The proposed methodology emplo... 详细信息
来源: 评论
A complexity Model for Networks of Collaborating Enterprises
收藏 引用
IFAC Proceedings Volumes 2008年 第2期41卷 13833-13838页
作者: Balázs Csanád Csáji László Monostori Computer and Automation Research Institute Hungarian Academy of Sciences Faculty of Mechanical Engineering Budapest University of Technology and Economics
Theoretical study of complex systems receives more and more attention as most sciences broaden their perspectives. The paper first briefly overviews a few important complexity approaches, then it presents a triple-lev... 详细信息
来源: 评论
Property Patterns for the Formal Verification of Automated Production Systems star
收藏 引用
IFAC Proceedings Volumes 2008年 第2期41卷 5107-5112页
作者: José Creissac Campos José Machado Eurico Seabra Departamento de Informática/CCTC Universidade do Minho Braga Portugal Departamento de Engenharia Mecânica Universidade do Minho Guimarães Portugal
In recent years, several approaches to the analysis of automation systems dependability through the application of formal verification techniques have been proposed. Much of the research has been concerned with the mo... 详细信息
来源: 评论