Property:DOI

Z ApolloWiki
Přejít na:navigace, hledání

Toto je vlastnost typu Text.

předchozích 202050100250500dalších 20
Showing 13 pages using this property.
C
Comparing the Notions of Opacity for Discrete-Event Systems +
10.1007/s10626-021-00344-2  +
E
Efficient Assessment of State Liveness in Open, Irreversible, Dynamically Routed, Zone-Controlled Guidepath-based Transport Systems: The General Case +
10.1016/j.ifacol.2021.04.075  +
H
Hierarchical Supervisory Control under Partial Observation: Normality +
10.1109/TAC.2023.3257232  +
M
Modular Control of Discrete-Event Systems using Similarity +
10.1016/j.automatica.2022.110431  +
O
On Opacity Verification for Discrete-Event Systems +
10.1016/j.ifacol.2020.12.2524  +
On Transformations among Opacity Notions +
10.1109/SMC53654.2022.9945608  +
On Verification of D-Detectability for Discrete Event Systems +
10.1016/j.automatica.2021.109884  +
On Verification of Weak and Strong k-Step Opacity for Discrete-Event Systems +
10.1016/j.ifacol.2022.10.331  +
P
Partially Ordered Automata and Piecewise Testability +
10.23638/LMCS-17(2:14)2021  +
Polynomial-Time Optimal Liveness Enforcement for Guidepath-based Transport Systems +
10.1016/j.nahs.2021.101058  +
S
Speed Me up if You Can: Conditional Lower Bounds on Opacity Verification +
10.4230/LIPIcs.MFCS.2023.16  +
Supervisory Control of Modular Discrete-Event Systems under Partial Observation: Normality +
10.1109/TAC.2023.3333792  +
V
Verifying Weak and Strong k-Step Opacity in Discrete-Event Systems +
10.1016/j.automatica.2023.111153  +
Citováno z „https://apollo.inf.upol.cz/mediawiki/index.php?title=Property:DOI&oldid=961“