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ů
- Modular Control of Discrete-Event Systems using Similarity + (Elsevier)
- On Verification of D-Detectability for Discrete Event Systems + (Elsevier)
- Verifying Weak and Strong k-Step Opacity in Discrete-Event Systems + (Elsevier)
- Supervisory Control of Modular Discrete-Event Systems under Partial Observation: Normality + (IEEE)
- Hierarchical Supervisory Control under Partial Observation: Normality + (IEEE)
- On Verification of Weak and Strong k-Step Opacity for Discrete-Event Systems + (IFAC)
- Weak consistency of P-time event graphs + (IFAC)
- On Verification of Strong Periodic D-Detectability for Discrete Event Systems + (IFAC)
- Speed Me up if You Can: Conditional Lower Bounds on Opacity Verification + (LIPIcs)
- Article3000 + (Springer)
- Article3001 + (Springer)