Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Lubat, Eric"'
We propose a new method for computing the language intersection of two Time Petri nets (TPN); that is the sequence of labels in timed traces common to the execution of two TPN. Our approach is based on a new product construction between nets and reli
Externí odkaz:
http://arxiv.org/abs/1908.02087
Publikováno v:
In IFAC PapersOnLine 2022 55(28):297-302
Publikováno v:
33rd International Workshop on Principle of Diagnosis (DX 2022)
33rd International Workshop on Principle of Diagnosis (DX 2022), LAAS-CNRS-ANITI, Sep 2022, Toulouse, France
33rd International Workshop on Principle of Diagnosis (DX 2022), LAAS-CNRS-ANITI, Sep 2022, Toulouse, France
International audience; This paper addresses the problem of checkingpredictability of event patterns in labelled Petrinets. After formally introducing the predictabil-ity problem of an event pattern, a method for au-tomatically checking predictabilit
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9bfb6b0290b80469ca6aa3aa16f9c2d6
https://hal.science/hal-03773804/document
https://hal.science/hal-03773804/document
Autor:
Lubat, Eric
Publikováno v:
Embedded Systems. INSA, 2021. English
National audience; We study the behaviour of Discrete Event Systems (DES) subjectto strong temporal constraints. We are more particularly interested in theformal verification of properties on the timed languages associated with theirexecutions. In th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______4074::2bf123a19589c98081dd878552004b40
https://hal.laas.fr/tel-03528121
https://hal.laas.fr/tel-03528121
Autor:
Lubat, Eric
Publikováno v:
Embedded Systems. INSA de Toulouse, 2021. English. ⟨NNT : 2021ISAT0025⟩
We study the behavior of Discrete Event Systems (DES) subjectto strong temporal constraints. We are more particularly interested inthe formal verification of properties on the timed languagesassociated with their executions. In this context, we focus
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::cd4a955c9f07129d7c885a11400874a6
https://hal.laas.fr/tel-03528121v2
https://hal.laas.fr/tel-03528121v2
Autor:
Lubat, Éric, Dal Zilio, Silvano
Publikováno v:
14th Summer School on Modelling and Verification of Parallel Processes (MOVEP 2020)
14th Summer School on Modelling and Verification of Parallel Processes (MOVEP 2020), Jun 2020, (on line), France
14th Summer School on Modelling and Verification of Parallel Processes (MOVEP 2020), Jun 2020, (on line), France
MOVEP is a five-day summer school on modelling and verification of parallel processes. It aims to bring together researchers, students, and people from industry working in the fields of control and verification of concurrent and reactive systems. MOV
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9e8a91f6a47d74fa5133054173f93221
https://hal.science/hal-02899522
https://hal.science/hal-02899522