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 条
  • [1] Declarative approach to cyclic steady state space refinement: periodic process scheduling
    Bocewicz, Grzegorz
    Banaszak, Zbigniew A.
    INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2013, 67 (1-4): : 137 - 155
  • [2] Declarative approach to cyclic steady state space refinement: periodic process scheduling
    Grzegorz Bocewicz
    Zbigniew A. Banaszak
    The International Journal of Advanced Manufacturing Technology, 2013, 67 : 137 - 155
  • [3] Multimodal Processes Rescheduling: Cyclic Steady States Space Approach
    Bocewicz, Grzegorz
    Wojcik, Robert
    Banaszak, Zbigniew Antoni
    Pawlewski, Pawel
    MATHEMATICAL PROBLEMS IN ENGINEERING, 2013, 2013
  • [4] A declarative approach for AGVs modeling and cyclic scheduling
    Grzegorz, Bocewicz
    Zbigniew, Banaszak
    Pawel, Pawlewski
    ADVANCES IN KNOWLEDGE-BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, 2012, 243 : 1942 - 1952
  • [5] A declarative approach to cyclic processes coupling and scheduling
    Bocewicz, Grzegorz
    Zbigniew, Banaszak
    Nielsen, Izabela
    2012 IEEE 17TH CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (ETFA), 2012,
  • [6] A Declarative Approach to View Selection Modeling
    Mami, Imene
    Bellahsene, Zohra
    Coletta, Remi
    TRANSACTIONS ON LARGE-SCALE DATA- AND KNOWLEDGE- CENTERED SYSTEMS X: SPECIAL ISSUE ON DATABASE- AND EXPERT-SYSTEMS APPLICATIONS, 2013, 8220 : 115 - 145
  • [7] A declarative approach to modeling interactive cognition
    Howes, A
    Vera, A
    Remington, R
    PROCEEDINGS OF THE TWENTY-FIFTH ANNUAL CONFERENCE OF THE COGNITIVE SCIENCE SOCIETY, PTS 1 AND 2, 2003, : 1356 - 1356
  • [8] Cyclic Steady State Space Refinement
    Bocewicz, Grzegorz
    Banaszak, Zbigniew
    Pawlewski, Pawel
    RECENT ADVANCES IN AUTOMATION, ROBOTICS AND MEASURING TECHNIQUES, 2014, 267 : 11 - 20
  • [9] Analysis of Reachability Tree for Identification of Cyclic and Acyclic CA States
    Naskar, Nazma
    Chakraborty, Avik
    Maji, Pradipta
    Das, Sukanta
    CELLULAR AUTOMATA, ACRI 2012, 2012, 7495 : 63 - 72
  • [10] A declarative approach to procedural modeling of virtual worlds
    Smelik, R. M.
    Tutenel, T.
    de Kraker, K. J.
    Bidarra, R.
    COMPUTERS & GRAPHICS-UK, 2011, 35 (02): : 352 - 363
12345