Reachability of Cyclic Steady States Space: Declarative Modeling Approach

被引：0
|
作者：
Bocewicz, Grzegorz [1 ]
Wojcik, Robert [2 ]
Banaszak, Zbigniew A. [3 ]
机构：
[1] Koszalin Univ Technol, Dept Elect & Comp Sci, Koszalin, Poland
[2] Wroclaw Univ Technol, Inst Comp Engn, Control & Robot, Wroclaw, Poland
[3] Warsaw Univ Technol, Dept Business Informat, Warsaw, Poland
来源：
COMPUTATIONAL COLLECTIVE INTELLIGENCE - TECHNOLOGIES AND APPLICATIONS, PT II | 2012年 / 7654卷
关键词：
cyclic processes; declarative modeling; constraints programming; state space; dispatching rules;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
The paper presents a new modeling framework enabling to evaluate the cyclic steady state of a given system of concurrently flowing cyclic processes (SCCP) sharing common system resources while interacting on the base of a mutual exclusion protocol. Assuming a given topology of cyclic routes passing on by subsets of system resources, a set of dispatching rules aimed at recourses' conflicts resolution, operation times as well as the given frequencies of mutual appearance of local processes the main objective is to provide the declarative modeling framework enabling to refine conditions guaranteeing the cyclic steady state space reachability.
引用
收藏
页码：233 / 243
页数：11
相关论文
共 50 条
  • [41] Cyclic steady states of nonlinear electro-mechanical devices excited at resonance
    Brandstetter, Gerd
    Govindjee, Sanjay
    INTERNATIONAL JOURNAL FOR NUMERICAL METHODS IN ENGINEERING, 2017, 110 (13) : 1227 - 1246
  • [42] Delayed feedback control method for computing the cyclic steady states of evolution problems
    Khristenko, Ustim
    Le Tallec, Patrick
    COMPUTER METHODS IN APPLIED MECHANICS AND ENGINEERING, 2018, 338 : 241 - 274
  • [43] Multimodal processes optimization subject to fuzzy operation time constraints: declarative modeling approach
    Nielsen, Izabela
    Wojcik, Robert
    Bocewicz, Grzegorz
    Banaszak, Zbigniew
    FRONTIERS OF INFORMATION TECHNOLOGY & ELECTRONIC ENGINEERING, 2016, 17 (04) : 338 - 347
  • [44] A modeling approach based on multi-perspective declarative process mining for clinical activity
    Xu, Haifeng
    Pang, Jianfei
    Yang, Xi
    Yu, Jinghui
    Zhao, Dongsheng
    2019 IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE (BIBM), 2019, : 1688 - 1691
  • [45] A rigorous criterion for approach to cyclic steady-state in PSA simulations
    Effendy, Surya
    Farooq, Shamsuzzaman
    Ruthven, Douglas M.
    CHEMICAL ENGINEERING SCIENCE, 2017, 160 : 313 - 320
  • [46] Multimodal processes optimization subject to fuzzy operation time constraints: declarative modeling approach
    Izabela NIELSEN
    Robert WóJCIK
    Grzegorz BOCEWICZ
    Zbigniew BANASZAK
    Frontiers of Information Technology & Electronic Engineering, 2016, 17 (04) : 338 - 347
  • [47] Multimodal processes optimization subject to fuzzy operation time constraints: declarative modeling approach
    Izabela Nielsen
    Robert Wójcik
    Grzegorz Bocewicz
    Zbigniew Banaszak
    Frontiers of Information Technology & Electronic Engineering, 2016, 17 : 338 - 347
  • [48] THERMODYNAMICS OF STEADY-STATES - IS THE ENTROPY-PRODUCTION SURFACE CONVEX IN THE THERMODYNAMIC SPACE OF STEADY CURRENTS
    TYKODI, RJ
    JOURNAL OF CHEMICAL PHYSICS, 1984, 80 (04): : 1652 - 1655
  • [49] STP-based approach to modeling and reachability analysis of a class of petri net systems
    Han X.-G.
    Chen Z.-Q.
    Zhang K.-Z.
    Liu Z.-X.
    Zhang Q.
    1600, Beijing University of Posts and Telecommunications (39): : 72 - 76
  • [50] REPLACEMENT OF MATHEMATICAL SPACE PHASORS BY PHYSICAL SPACE PHASORS IN THE STUDY OF STEADY-STATES AND TRANSIENT STATES IN ROTATING ELECTRICAL MACHINES
    IRIBARNEGARAY, LS
    ETZ ARCHIV, 1986, 8 (10): : 347 - 352
12345