Generalized discrete event abstraction of continuous systems: GDEVS formalism

被引:17
|
作者
Giambiasi, N [1 ]
Carmona, JC [1 ]
机构
[1] CNRS, UMR 6168, LSIS, F-13397 Marseille 20, France
关键词
discrete systems; discrete event model : DEVS; G-DEVS; hybrid continuous systems; piecewise linear trajectory;
D O I
10.1016/j.simpat.2005.02.009
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
In this paper, we propose to model basic continuous component of dynamic systems in a way that facilitate the transposition to a G-DEVS model, which is a paradigm that offers the ability to develop a uniform approach to model hybrid systems (abstraction closer to real systems), i.e. composed of both continuous and discrete components. In that, our approach is clearly a discrete event approach where the choice of the time interval between two steps of calculation is based on the behavior changes of the process and no longer constant and/or a priori given, the underlying objective being to strictly satisfy to a given accuracy with a low computational cost. More precisely, we present a generalized discrete event model of an integrator using polynomial descriptions of input-output trajectories. We shall show its great capability of easily handling the delicate problem of input discontinuities, and a detailed comparison with classical discrete time simulation methods, will demonstrate its relevant properties. Several examples, including a complete hybrid system, will illustrate our results. (C) 2005 Elsevier B.V. All rights reserved.
引用
收藏
页码:47 / 70
页数:24
相关论文
共 50 条
  • [1] Generalized Discrete Event Abstraction of Continuous Systems: Application to an Integrator
    Jean Claude Carmona
    Norbert Giambiasi
    Aziz Naamane
    Journal of Intelligent and Robotic Systems, 2004, 41 : 37 - 64
  • [2] Generalized discrete event abstraction of continuous systems: Application to an integrator
    Carmona, JC
    Giambiasi, N
    Naamane, A
    JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS, 2004, 41 (01) : 37 - 64
  • [3] GDEVS: A generalized discrete event specification for accurate modeling of dynamic systems
    Giambiasi, N
    Escude, B
    Ghosh, S
    TRANSACTIONS OF THE SOCIETY FOR COMPUTER SIMULATION INTERNATIONAL, 2000, 17 (03): : 120 - 134
  • [4] GDEVS: A generalized discrete event specification for accurate modeling of dynamic systems
    Giambiasi, N
    Escude, B
    Ghosh, S
    5TH INTERNATIONAL SYMPOSIUM ON AUTONOMOUS DECENTRALIZED SYSTEMS, PROCEEDINGS, 2001, : 464 - 469
  • [5] A timed discrete-event abstraction of continuous-variable systems
    Lunze, J
    INTERNATIONAL JOURNAL OF CONTROL, 1999, 72 (13) : 1147 - 1164
  • [6] A GSMP FORMALISM FOR DISCRETE EVENT SYSTEMS
    GLYNN, PW
    PROCEEDINGS OF THE IEEE, 1989, 77 (01) : 14 - 23
  • [7] A formalism for decentralized control of discrete event systems
    Hiraishi, K
    SICE 2002: PROCEEDINGS OF THE 41ST SICE ANNUAL CONFERENCE, VOLS 1-5, 2002, : 272 - 277
  • [8] Fault isolation in discrete event systems by observational abstraction
    Lawesson, D
    Nilsson, U
    Klein, I
    42ND IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-6, PROCEEDINGS, 2003, : 5118 - 5123
  • [9] A formalism for the synthesis of efficient controllers for discrete event systems
    Camurri, A
    Coglio, A
    ETFA '96 - 1996 IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, PROCEEDINGS, VOLS 1 AND 2, 1996, : 348 - 354
  • [10] Generalized detectability for discrete event systems
    Shu, Shaolong
    Lin, Feng
    SYSTEMS & CONTROL LETTERS, 2011, 60 (05) : 310 - 317