Analysis of distributed control systems using timed automata with guards and dioid algebra

被引：0
|
作者：
Ait Oumeziane, Fatima [1 ,2 ]
Ourghanlian, Alain [1 ]
Amari, Said [2 ,3 ]
机构：
[1] EDF R&D PRISME, Chatou, France
[2] ENS Paris Saclay, LURPA, Cachan, France
[3] Univ Sorbonne Paris Nord, Paris, France
来源：
2020 25TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA) | 2020年
关键词：
Distibuted Control Systems; Response time; Performance evaluation; Timed Automata with Guards; (max; plus; and; (min; algebras; MAX;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper discusses the modelling and time performance evaluation of Distributed Control Systems (DCS). More precisely, we focus on the estimation of the response time and reactivity for these automation architectures using dioid algebra. We use Timed Automata with Guards (TAGs) to model system components and adopt an analytical approach to determine the response time formula as a function of temporal parameters for DCS. The main interest of this contribution is to introduce a algebraic tool capable of providing crucial validation elements concerning the temporal performances and sizing for an industrial scale DCS.
引用
收藏
页码：1369 / 1372
页数：4
相关论文
共 50 条
  • [41] Towards Formal Security Analysis of GTRBAC using Timed Automata
    Mondal, Samrat
    Sural, Shamik
    Atluri, Vijayalakshmi
    [J]. SACMAT'09: PROCEEDINGS OF THE 14TH ACM SYMPOSIUM ON ACCESS CONTROL MODELS AND TECHNOLOGIES, 2009, : 33 - 42
  • [42] Performance analysis of probabilistic timed automata using digital clocks
    Kwiatkowska, M
    Norman, G
    Parker, D
    Sproston, J
    [J]. FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2003, 2791 : 105 - 120
  • [43] Decidable and undecidable problems in schedulability analysis using timed automata
    Krcál, P
    Yi, W
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2004, 2988 : 236 - 250
  • [44] Formal analysis of publish-subscribe systems by probabilistic timed automata
    He, Fei
    Baresi, Luciano
    Ghezzi, Carlo
    Spoletini, Paola
    [J]. FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2007, 2007, 4574 : 247 - +
  • [45] Intrusion detection system using timed automata for cyber physical systems
    Umadevi, K. S.
    Balakrishnan, P.
    Kousalya, G.
    [J]. JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2019, 36 (05) : 4005 - 4015
  • [46] Fault Measure of Discrete Event Systems Using Probabilistic Timed Automata
    Huang, Yi-Sheng
    Chiang, Ho-Shan
    Jeng, MuDer
    [J]. 2011 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), 2011, : 1218 - 1223
  • [47] Performance analysis of probabilistic timed automata using digital clocks
    Kwiatkowska, Marta
    Norman, Gethin
    Parker, David
    Sproston, Jeremy
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 2006, 29 (01) : 33 - 78
  • [48] Performance analysis of probabilistic timed automata using digital clocks
    Marta Kwiatkowska
    Gethin Norman
    David Parker
    Jeremy Sproston
    [J]. Formal Methods in System Design, 2006, 29 : 33 - 78
  • [49] Diagnostic of discrete event systems using timed automata in MATLAB SIMULINK
    Simeu-Abazi, Z.
    Gascard, E.
    Chalagiraud, F.
    [J]. ADVANCES IN SAFETY, RELIABILITY AND RISK MANAGEMENT, 2012, : 402 - 409
  • [50] Hybridizing Fuzzy Control and Timed Automata for Modeling Variable Structure Fuzzy Systems
    Acampora, Giovanni
    Loia, Vincenzo
    Vitiello, Autilia
    [J]. 2010 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS (FUZZ-IEEE 2010), 2010,
12345