Property:Journal or conference

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

Toto je vlastnost typu Text.

předchozích 202050100250500dalších 20
Showing 16 pages using this property.
C
Comparing the Notions of Opacity for Discrete-Event Systems +
Discrete Event Dynamic Systems  +
E
Efficient Assessment of State Liveness in Open, Irreversible, Dynamically Routed, Zone-Controlled Guidepath-based Transport Systems: The General Case +
Workshop on Discrete Event Systems (WODES), IFAC-PapersOnLine  +
H
Hierarchical Supervisory Control under Partial Observation: Normality +
IEEE Transactions on Automatic Control  +
M
Modeling of safe timed Petri nets by two-level (max,+) automata +
WODES  +
Modular Control of Discrete-Event Systems using Similarity +
Automatica  +
O
On Opacity Verification for Discrete-Event Systems +
IFAC World Congress, IFAC-PapersOnLine  +
On Transformations among Opacity Notions +
IEEE International Conference on Systems, Man, and Cybernetics (SMC)  +
On Verification of D-Detectability for Discrete Event Systems +
Automatica  +
On Verification of Strong Periodic D-Detectability for Discrete Event Systems +
WODES  +
On Verification of Weak and Strong k-Step Opacity for Discrete-Event Systems +
IFAC PapersOnLine  +
P
Partially Ordered Automata and Piecewise Testability +
Logical Methods in Computer Science  +
Polynomial-Time Optimal Liveness Enforcement for Guidepath-based Transport Systems +
Nonlinear Analysis: Hybrid Systems  +
S
Speed Me up if You Can: Conditional Lower Bounds on Opacity Verification +
48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)  +
Supervisory Control of Modular Discrete-Event Systems under Partial Observation: Normality +
IEEE Transactions on Automatic Control  +
V
Verifying Weak and Strong k-Step Opacity in Discrete-Event Systems +
Automatica  +
W
Weak consistency of P-time event graphs +
COSY  +
Citováno z „https://apollo.inf.upol.cz/mediawiki/index.php?title=Property:Journal_or_conference&oldid=3454“