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 + (10.1016/j.automatica.2022.110431)
- Verifying Weak and Strong k-Step Opacity in Discrete-Event Systems + (10.1016/j.automatica.2023.111153)
- On Opacity Verification for Discrete-Event Systems + (10.1016/j.ifacol.2020.12.2524)
- Efficient Assessment of State Liveness in Open, Irreversible, Dynamically Routed, Zone-Controlled Guidepath-based Transport Systems: The General Case + (10.1016/j.ifacol.2021.04.075)
- On Verification of Weak and Strong k-Step Opacity for Discrete-Event Systems + (10.1016/j.ifacol.2022.10.331)
- Polynomial-Time Optimal Liveness Enforcement for Guidepath-based Transport Systems + (10.1016/j.nahs.2021.101058)
- On Transformations among Opacity Notions + (10.1109/SMC53654.2022.9945608)
- Hierarchical Supervisory Control under Partial Observation: Normality + (10.1109/TAC.2023.3257232)
- Supervisory Control of Modular Discrete-Event Systems under Partial Observation: Normality + (10.1109/TAC.2023.3333792)
- Partially Ordered Automata and Piecewise Testability + (10.23638/LMCS-17(2:14)2021)
- Speed Me up if You Can: Conditional Lower Bounds on Opacity Verification + (10.4230/LIPIcs.MFCS.2023.16)