Zobrazeno 1 - 10
of 514
pro vyhledávání: '"Critical pair"'
Publikováno v:
IFAC World COngress
IFAC World COngress, Jul 2023, Yokoama, Japan
IFAC World COngress, Jul 2023, Yokoama, Japan
International audience; Diagnosability is the property of a system to have sufficient observable information to guarantee the diagnosis of a fault. Here, the considered fault is a timed fault, i.e. an unobservable event that occurs in bounded time si
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______4074::be1f548576c22475b676466a4831843f
https://hal.science/hal-04075303/document
https://hal.science/hal-04075303/document
Autor:
Detlef Plump, Graham Campbell
Publikováno v:
Theoretical Computer Science. 884:1-22
The transformation of graphs and graph-like structures is ubiquitous in computer science. When a system is described by graph-transformation rules, it is often desirable that the rules are both terminating and confluent so that rule applications in a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ab603b77456f696e2057d64df0cba46e
https://doi.org/10.1016/j.tcs.2021.06.010
https://doi.org/10.1016/j.tcs.2021.06.010
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
16th IFAC Workshop on Discrete Event Systems
16th IFAC Workshop on Discrete Event Systems, Sep 2022, Prague, Czech Republic
16th IFAC Workshop on Discrete Event Systems, Sep 2022, Prague, Czech Republic
International audience; Time Petri Nets are a suitable tool for the modeling of timed Discrete Event Systems. This paper is about the diagnosability of single timed fault in Time Petri Nets. To check the existence of critical pairs, an abstraction of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f8d20575587dbf1ab4613bd5104da926
https://hal.science/hal-03765924
https://hal.science/hal-03765924
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Yahya Ould Hamidoune
Publikováno v:
Combinatorica. 39:1281-1315
The isoperimetric method is often useful for proving results regarding sumsets. Here, we introduce the notion of a hyper-atom into the method, which overcomes a previous weakness when dealing with atoms that are cosets. To show the utility of this ne
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0d2b01e29eebaaa4850d2528b4c7990b
https://doi.org/10.1007/s00493-019-2429-5
https://doi.org/10.1007/s00493-019-2429-5
Publikováno v:
Journal of Aerospace Information Systems. 16:203-213
As air traffic management becomes increasingly automated, technologies for detecting and resolving conflicts are critical to maintain the safety of an airspace. There exists a need to understand ho...
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f631b38437fd32a1e5ae8a1ee341558c
https://doi.org/10.2514/1.i010697
https://doi.org/10.2514/1.i010697
Publikováno v:
Journal of Logical and Algebraic Methods in Programming. 103:105-129
Conflict and dependency analysis (CDA) is a static analysis for the detection of conflicting and dependent rule applications in a graph transformation system. The state-of-the-art CDA technique, critical pair analysis, provides all potential conflict
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fc1c324cc640a9c7360ad920705463cd
https://doi.org/10.1016/j.jlamp.2018.11.004
https://doi.org/10.1016/j.jlamp.2018.11.004