Department
About our department
People
Announcements
News
Events
Study
For those interested
Study programs
Info
Research
Projects
Publications
Contact
Přihlášení
Property:Project
Z ApolloWiki
Přejít na:
navigace
,
hledání
Toto je vlastnost typu
Page
.
Použití
34
předchozích 20
20
50
100
250
500
dalších 20
Filter
<p>The <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Property_page/Filter">search filter</a> allows the inclusion of <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Query_expressions">query expressions</a> such as <code>~</code> or <code>!</code>. The selected <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Query_engine">query engine</a> might also support case insensitive matching or other short expressions like:</p><ul><li><code>in:</code> result should include the term, e.g. '<code>in:Foo</code>'</li></ul><ul><li><code>not:</code> result should to not include the term, e.g. '<code>not:Bar</code>'</li></ul>
Showing 19 pages using this property.
C
Comparing the Notions of Opacity for Discrete-Event Systems
+
Verification and Control of Networked Discrete Event Systems
+
E
Efficient Assessment of State Liveness in Open, Irreversible, Dynamically Routed, Zone-Controlled Guidepath-based Transport Systems: The General Case
+
Verification and Control of Networked Discrete Event Systems
+
H
Hierarchical Supervisory Control under Partial Observation: Normality
+
Verification and Control of Networked Discrete Event Systems
+
,
Compositional Methods for the Control of Concurrent Timed Discrete-Event Systems
+
J
Jiří Balun
+
Verification and Control of Networked Discrete Event Systems
+
,
IGA PrF 2022 018
+
,
IGA PrF 2023 026
+
Jiří Valůšek
+
IGA PrF 2022 018
+
,
IGA PrF 2023 026
+
M
Modeling of safe timed Petri nets by two-level (max,+) automata
+
Verification and Control of Networked Discrete Event Systems
+
,
IGA PrF 2022 018
+
Modular Control of Discrete-Event Systems using Similarity
+
Verification and Control of Networked Discrete Event Systems
+
,
Compositional Methods for the Control of Concurrent Timed Discrete-Event Systems
+
O
On Opacity Verification for Discrete-Event Systems
+
Verification and Control of Networked Discrete Event Systems
+
On Transformations among Opacity Notions
+
Verification and Control of Networked Discrete Event Systems
+
,
IGA PrF 2022 018
+
,
Compositional Methods for the Control of Concurrent Timed Discrete-Event Systems
+
On Verification of D-Detectability for Discrete Event Systems
+
Verification and Control of Networked Discrete Event Systems
+
On Verification of Strong Periodic D-Detectability for Discrete Event Systems
+
Verification and Control of Networked Discrete Event Systems
+
,
IGA PrF 2022 018
+
On Verification of Weak and Strong k-Step Opacity for Discrete-Event Systems
+
Verification and Control of Networked Discrete Event Systems
+
,
IGA PrF 2022 018
+
,
Compositional Methods for the Control of Concurrent Timed Discrete-Event Systems
+
P
Partially Ordered Automata and Piecewise Testability
+
Verification and Control of Networked Discrete Event Systems
+
Polynomial-Time Optimal Liveness Enforcement for Guidepath-based Transport Systems
+
Verification and Control of Networked Discrete Event Systems
+
S
Speed Me up if You Can: Conditional Lower Bounds on Opacity Verification
+
IGA PrF 2023 026
+
Supervisory Control of Modular Discrete-Event Systems under Partial Observation: Normality
+
Verification and Control of Networked Discrete Event Systems
+
T
Tomáš Masopust
+
Verification and Control of Networked Discrete Event Systems
+
,
Compositional Methods for the Control of Concurrent Timed Discrete-Event Systems
+
V
Verifying Weak and Strong k-Step Opacity in Discrete-Event Systems
+
Verification and Control of Networked Discrete Event Systems
+
,
IGA PrF 2022 018
+
,
IGA PrF 2023 026
+
W
Weak consistency of P-time event graphs
+
Verification and Control of Networked Discrete Event Systems
+
,
IGA PrF 2022 018
+