DEVS framework for modelling, simulation, analysis, and design of hybrid systems

被引：0
|
作者：
Zeigler, BP
Song, HS
Kim, TG
Praehofer, H
机构：
[1] KOREA ADV INST SCI & TECHNOL,DEPT ELECT ENGN,TAEJON 305701,SOUTH KOREA
[2] JOHANNES KEPLER UNIV,A-4040 LINZ,AUSTRIA
来源：
HYBRID SYSTEMS II | 1995年 / 999卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We make the case that Discrete Event System Specification (DEVS) is a universal formalism for discrete event dynamical systems (DEDS). DEVS offers an expressive framework for modelling, design, analysis and simulation of autonomous and hybrid systems. We review some known features of DEVS and its extensions. We then focus on the use of DEVS to formulate and synthesize supervisory level controllers.
引用
收藏
页码：529 / 551
页数：23
相关论文
共 50 条
  • [1] NB-DEVS: A hybrid approach for modelling and simulation of imperfect systems
    Mostefaoui K.
    Dahmani Y.
    [J]. International Journal of Simulation and Process Modelling, 2019, 14 (04) : 377 - 388
  • [2] DEVS MODELLING AND SIMULATION FOR DEVELOPMENT OF EMBEDDED SYSTEMS
    Wainer, Gabriel
    [J]. 2015 WINTER SIMULATION CONFERENCE (WSC), 2015, : 73 - 87
  • [3] A modelling and simulation framework for the integrated design of aircraft systems
    Cimmino, N.
    Ponnusamy, S. S.
    Garriga, A. Garcia
    Mainini, L.
    [J]. PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART G-JOURNAL OF AEROSPACE ENGINEERING, 2020, 234 (10) : 1648 - 1660
  • [4] CLASSIC DEVS MODELLING AND SIMULATION
    Van Tendeloo, Yentl
    Vangheluwe, Hans
    [J]. 2017 WINTER SIMULATION CONFERENCE (WSC), 2017, : 644 - 658
  • [5] Experiences with DEVS modelling and simulation
    Wainer, G.
    Barylko, A.
    Beyoglonian, J.
    [J]. International Journal of Modelling and Simulation, 2001, 21 (02): : 138 - 147
  • [6] MODELLING AND SIMULATION-BASED DESIGN OF A DISTRIBUTED DEVS SIMULATOR
    Syriani, Eugene
    Vangheluwe, Hans
    Al Mallah, Amr
    [J]. PROCEEDINGS OF THE 2011 WINTER SIMULATION CONFERENCE (WSC), 2011, : 3002 - 3016
  • [7] A novel parallelization technique for DEVS simulation of continuous and hybrid systems
    Bergero, Federico
    Kofman, Ernesto
    Cellier, Francois
    [J]. SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2013, 89 (06): : 663 - 683
  • [8] A compositional modelling and analysis framework for stochastic hybrid systems
    Ernst Moritz Hahn
    Arnd Hartmanns
    Holger Hermanns
    Joost-Pieter Katoen
    [J]. Formal Methods in System Design, 2013, 43 : 191 - 232
  • [9] A compositional modelling and analysis framework for stochastic hybrid systems
    Hahn, Ernst Moritz
    Hartmanns, Arnd
    Hermanns, Holger
    Katoen, Joost-Pieter
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 2013, 43 (02) : 191 - 232
  • [10] DEVS as a common denominator for multi-formalism hybrid systems modelling
    Vangheluwe, HLM
    [J]. PROCEEDINGS OF THE 2000 IEEE INTERNATIONAL SYMPOSIUM ON COMPUTER-AIDED CONTROL SYSTEM DESIGN, 2000, : 129 - 134
12345