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ů
- Hierarchical Supervisory Control under Partial Observation: Normality + (Komenda)
- Modeling of safe timed Petri nets by two-level (max,+) automata + (Komenda)
- Supervisory Control of Modular Discrete-Event Systems under Partial Observation: Normality + (Komenda)
- Modular Control of Discrete-Event Systems using Similarity + (Liu)
- Partially Ordered Automata and Piecewise Testability + (Masopust)
- Polynomial-Time Optimal Liveness Enforcement for Guidepath-based Transport Systems + (Reveliotis)
- Efficient Assessment of State Liveness in Open, Irreversible, Dynamically Routed, Zone-Controlled Guidepath-based Transport Systems: The General Case + (Reveliotis)
- Weak consistency of P-time event graphs + (Zorzenon)