Property:Title
Z ApolloWiki
Toto je vlastnost typu Text.
A
Comparing the Notions of Opacity for Discrete-Event Systems +
Comparing the Notions of Opacity for Discrete-Event Systems +
C
Alenka v říši divů +
Comparing the Notions of Opacity for Discrete-Event Systems +
D
Zlocin a trest +
E
Efficient Assessment of State Liveness in Open, Irreversible, Dynamically Routed, Zone-Controlled Guidepath-based Transport Systems: The General Case +
Efficient Assessment of State Liveness in Open, Irreversible, Dynamically Routed, Zone-Controlled Guidepath-based Transport Systems: The General Case +
H
Hierarchical Supervisory Control under Partial Observation: Normality +
Foundations of Semantic Web Technologies +
M
Modeling of safe timed Petri nets by two-level (max,+) automata +
Modular Control of Discrete-Event Systems using Similarity +
O
On Opacity Verification for Discrete-Event Systems +
On Transformations among Opacity Notions +
On Verification of D-Detectability for Discrete Event Systems +
On Verification of Strong Periodic D-Detectability for Discrete Event Systems +
On Verification of Weak and Strong k-Step Opacity for Discrete-Event Systems +
P
Partially Ordered Automata and Piecewise Testability +
Polynomial-Time Optimal Liveness Enforcement for Guidepath-based Transport Systems +
R
Harry Potter a Kámen mudrců +
S
Speed Me up if You Can: Conditional Lower Bounds on Opacity Verification +
Supervisory Control of Modular Discrete-Event Systems under Partial Observation: Normality +