Hledat podle hodnoty vlastnosti
Z ApolloWiki
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
Seznam výsledků
- Comparing the Notions of Opacity for Discrete-Event Systems + (journal article)
- Hierarchical Supervisory Control under Partial Observation: Normality + (journal article)
- Modular Control of Discrete-Event Systems using Similarity + (journal article)
- On Verification of D-Detectability for Discrete Event Systems + (journal article)
- Partially Ordered Automata and Piecewise Testability + (journal article)
- Polynomial-Time Optimal Liveness Enforcement for Guidepath-based Transport Systems + (journal article)
- Supervisory Control of Modular Discrete-Event Systems under Partial Observation: Normality + (journal article)
- Verifying Weak and Strong k-Step Opacity in Discrete-Event Systems + (journal article)