Towards the control of time-critical systems

被引：0
|
作者：
Bonhomme, P [1 ]
Aygalinc, P [1 ]
Calvez, S [1 ]
机构：
[1] Univ Savoie, LAMII, CESALP, F-74016 Annecy, France
来源：
PROCEEDINGS OF THE 2001 IEEE INTERNATIONAL CONFERENCE ON CONTROL APPLICATIONS (CCA'01) | 2001年
关键词：
control; time-critical systems; performance evaluation; time Petri nets;
D O I：
10.1109/CCA.2001.974033
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Petri nets are a powerful formalism for the specification and analysis of concurrent systems, such as sequential systems, manufacturing systems ... Adapted to time-critical systems (systems whose time issues become essential), different time Petri nets have been developed in the literature: Merlin's model, p-time Petri-net, Time ER nets ... The presented approach allows to determine transitions firing instants in order to ensure functional timing correctness of the modeled system It uses p-time Petri-net as modeling tool. It is based on an enumerative procedure and on the evaluation of transitions firing conditions successively at the first, the second and the q(th) firing instant. Moreover, it provides a performance evaluation and control component.
引用
收藏
页码：1184 / 1189
页数：2
相关论文
共 50 条
  • [1] Robust control for time-critical systems
    Bonhomme, P
    Aygalinc, P
    Calvez, S
    [J]. ETFA 2001: 8TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PROCEEDINGS, 2001, : 537 - 546
  • [2] Time-Critical Systems Design
    Henkel, Jorg
    [J]. IEEE DESIGN & TEST, 2018, 35 (02) : 4 - 4
  • [3] Time-Critical Systems Design: A Survey
    Mitra, Tulika
    Teich, Juergen
    Thiele, Lothar
    [J]. IEEE DESIGN & TEST, 2018, 35 (02) : 8 - 26
  • [4] Punctual Cloud: Achieving Punctuality for Time-Critical Cloud Control Systems
    Peng, Haorui
    Akbarian, Fatemeh
    Arneberg, William T. Spacing Diaeresis
    Kihl, Maria
    [J]. 2023 IEEE 12TH INTERNATIONAL CONFERENCE ON CLOUD NETWORKING, CLOUDNET, 2023, : 9 - 17
  • [5] Run-time analysis of time-critical systems
    Zhou, SK
    Zedan, H
    Cau, A
    [J]. JOURNAL OF SYSTEMS ARCHITECTURE, 2005, 51 (05) : 331 - 345
  • [6] Reliability modelling of time-critical distributed systems
    Hansson, H
    Norström, C
    Punnekkat, S
    [J]. FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS, PROCEEDINGS, 2000, 1926 : 94 - 105
  • [7] Invited: Actors Revisited for Time-Critical Systems
    Lohstroh, Marten
    Schoeberl, Martin
    Goens, Andres
    Wasicek, Armin
    Gill, Christopher
    Sirjani, Marjan
    Lee, Edward A.
    [J]. PROCEEDINGS OF THE 2019 56TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2019,
  • [8] Specification, validation, and verification of time-critical systems
    Shieh, SP
    Chen, JN
    [J]. COMPUTER COMMUNICATIONS, 1998, 21 (05) : 460 - 469
  • [9] Time-Critical Systems Design, Part II
    Henkel, Jorg
    [J]. IEEE DESIGN & TEST, 2018, 35 (04) : 4 - 4
  • [10] A Dual Language Approach to the Development of Time-Critical Systems
    Lavazza, Luigi
    Morasca, Sandro
    Morzenti, Angelo
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 116 : 227 - 239
12345