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 条
  • [21] On discrete event diagnosis methods for continuous systems
    Daigle, Matthew
    Koutsoukos, Xenofon
    Biswas, Gautam
    2007 MEDITERRANEAN CONFERENCE ON CONTROL & AUTOMATION, VOLS 1-4, 2007, : 327 - 332
  • [23] COMBINED DISCRETE EVENT CONTINUOUS SYSTEMS SIMULATION
    FAHRLAND, DA
    SIMULATION, 1970, 14 (02) : 61 - &
  • [24] Discrete event modelling language for continuous systems
    Boyarm, A
    Naamane, A
    Giambiasi, N
    SIMULATION IN INDUSTRY: 9TH EUROPEAN SIMULATION SYMPOSIUM 1997, 1997, : 210 - 212
  • [25] Finite abstraction of mixed monotone systems with discrete and continuous inputs
    Coogan, Samuel
    Arcak, Murat
    NONLINEAR ANALYSIS-HYBRID SYSTEMS, 2017, 23 : 254 - 271
  • [26] A event occurrence rules based compact modeling formalism for a class of discrete event systems
    Chandra, V
    Kumar, R
    PROCEEDINGS OF THE 2002 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2002, 1-6 : 724 - 729
  • [27] A event occurrence rules based compact modeling formalism for a class of discrete event systems
    Chandra, V
    Kumar, R
    MATHEMATICAL AND COMPUTER MODELLING OF DYNAMICAL SYSTEMS, 2002, 8 (01) : 49 - 73
  • [28] Model Abstraction for Discrete-Event Systems Using a SAT Solver
    Cheng, Lihong
    Feng, Lei
    IEEE ACCESS, 2023, 11 : 17334 - 17347
  • [29] Solving Diagnosability of Hybrid Systems via Abstraction and Discrete Event Techniques
    Grastien, Alban
    Trave-Massuyes, Louise
    Puig, Vicenc
    IFAC PAPERSONLINE, 2017, 50 (01): : 5023 - 5028
  • [30] ABSTRACTION-BASED VERIFICATION AND SYNTHESIS FOR PROGNOSIS OF DISCRETE EVENT SYSTEMS
    Yokotani, Misato
    Kondo, Tetsuya
    Takai, Shigemasa
    ASIAN JOURNAL OF CONTROL, 2016, 18 (04) : 1279 - 1288