Guest editorial: Verification of hybrid systems

被引：3
|
作者：
Maler, O [1 ]
机构：
[1] CNRS Verimag, Ctr Equat, F-38610 Gieres, France
来源：
EUROPEAN JOURNAL OF CONTROL | 2001年 / 7卷 / 04期
关键词：
D O I：
10.3166/ejc.7.357-365
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：357 / 365
页数：9
相关论文
共 50 条
  • [1] Guest Editorial: Recent Advances in Control and Verification for Hybrid Systems
    Xiang, Weiming
    Zhai, Guisheng
    Baldi, Simone
    Yuan, Chengzhi
    Johnson, Taylor T.
    [J]. IET CONTROL THEORY AND APPLICATIONS, 2019, 13 (09): : 1219 - 1221
  • [2] Guest Editorial: Hybrid intelligent fusion systems
    Wozniak, Michal
    Corchado, Emilio S.
    Grana Romay, Manuel
    [J]. INFORMATION FUSION, 2014, 16 : 2 - 2
  • [3] Guest editorial: hybrid systems, part II
    Wardi, Yorai
    Egerstedt, Magnus
    [J]. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2012, 22 (01): : 1 - 2
  • [4] Guest editorial: hybrid systems, part II
    Yorai Wardi
    Magnus Egerstedt
    [J]. Discrete Event Dynamic Systems, 2012, 22 : 1 - 2
  • [5] Guest editorial: hybrid systems, part I
    Wardi, Yorai
    Egerstedt, Magnus
    [J]. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2011, 21 (04): : 425 - 426
  • [6] Guest editorial: hybrid systems, part I
    Yorai Wardi
    Magnus Egerstedt
    [J]. Discrete Event Dynamic Systems, 2011, 21 : 425 - 426
  • [7] Guest Editorial for Hybrid Parallelism in New HPC Systems
    Laccetti, Giuliano
    Foster, Ian
    Lapegna, Marco
    Messina, Paul
    Montella, Raffaele
    Murli, Almerico
    [J]. INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 2017, 45 (05) : 1021 - 1025
  • [8] Guest Editorial for Hybrid Parallelism in New HPC Systems
    Giuliano Laccetti
    Ian Foster
    Marco Lapegna
    Paul Messina
    Raffaele Montella
    Almerico Murli
    [J]. International Journal of Parallel Programming, 2017, 45 : 1021 - 1025
  • [9] Guest editorial: Special issue on modeling, verification and testing of dependable critical systems
    Ouhammou, Yassine
    Wakrime, Abderrahim Ait
    [J]. JOURNAL OF SYSTEMS ARCHITECTURE, 2021, 114
  • [10] Guest editorial: Special issue on modeling, verification and testing of dependable critical systems
    Ouhammou, Yassine
    Ait Wakrime, Abderrahim
    [J]. Journal of Systems Architecture, 2021, 114
12345