FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1966207613> ?p ?o ?g. }

• W1966207613 abstract "Consider an event alphabet Σ. The Supervisory Control Theory of Ramadge and Wonham asks the question, given a plant model G, with language ℒ <sub xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>M</sub> (G) ⊆ Σ* and another language K ⊆ ℒ <sub xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>M</sub> (G), is there a supervisor φ such that ℒ <sub xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>M</sub> (φ/G) = K. This question is complicated when the output of G is partially masked by M, which sends some events to the empty string ∈. This leads to the notion of the observability of K with respect to L and the mask M. We have K is observable with respect to L and M if for all s; t ∈ K̅ if sσ ∈ K̅ and M(s) = M(t) and tσ ∈ L̅, then tσ ∈ K̅. The property of observability can be related to a much stronger property normality, which is easily decidable when G has a finite number of states and K is also generated by a finite state machine.class of languages generated by pushdown automata properly includes the regular languages. They are accepted by finite state machines coupled with pushdown stack memory. This makes them interesting candidates as supervisory languages, since the supervisor will have non-finite memory. In this paper, we show the following: there is a property we call Property P that is (i) independent of Normality (Property N), (ii) implies observability, (iii) is decidable when K is accepted by a deterministic pushdown machine and G is a finite state machine and (iv) is preserved under union and hence there is a supremal sublanguage for which Property P holds for any K." @default.
• W1966207613 created "2016-06-24" @default.
• W1966207613 creator A5027984781 @default.
• W1966207613 date "2010-06-01" @default.
• W1966207613 modified "2023-10-16" @default.
• W1966207613 title "On partial observability in discrete event control with pushdown systems" @default.
• W1966207613 cites W1497487247 @default.
• W1966207613 cites W1587663028 @default.
• W1966207613 cites W1979349468 @default.
• W1966207613 cites W1988926301 @default.
• W1966207613 cites W2002089154 @default.
• W1966207613 cites W2013460416 @default.
• W1966207613 cites W2040192818 @default.
• W1966207613 cites W2055511472 @default.
• W1966207613 cites W2065783614 @default.
• W1966207613 cites W2068354234 @default.
• W1966207613 cites W2108442331 @default.
• W1966207613 cites W2116034587 @default.
• W1966207613 cites W2126295866 @default.
• W1966207613 cites W2140191050 @default.
• W1966207613 cites W2160906685 @default.
• W1966207613 doi "https://doi.org/10.1109/acc.2010.5530531" @default.
• W1966207613 hasPublicationYear "2010" @default.
• W1966207613 type Work @default.
• W1966207613 sameAs 1966207613 @default.
• W1966207613 citedByCount "4" @default.
• W1966207613 countsByYear W19662076132012 @default.
• W1966207613 countsByYear W19662076132020 @default.
• W1966207613 crossrefType "proceedings-article" @default.
• W1966207613 hasAuthorship W1966207613A5027984781 @default.
• W1966207613 hasConcept C111472728 @default.
• W1966207613 hasConcept C112505250 @default.
• W1966207613 hasConcept C11413529 @default.
• W1966207613 hasConcept C116248031 @default.
• W1966207613 hasConcept C118615104 @default.
• W1966207613 hasConcept C121332964 @default.
• W1966207613 hasConcept C138885662 @default.
• W1966207613 hasConcept C153269930 @default.
• W1966207613 hasConcept C154945302 @default.
• W1966207613 hasConcept C158008952 @default.
• W1966207613 hasConcept C167822520 @default.
• W1966207613 hasConcept C17744445 @default.
• W1966207613 hasConcept C189950617 @default.
• W1966207613 hasConcept C199539241 @default.
• W1966207613 hasConcept C2775924081 @default.
• W1966207613 hasConcept C2776235265 @default.
• W1966207613 hasConcept C2779110517 @default.
• W1966207613 hasConcept C2779662365 @default.
• W1966207613 hasConcept C28826006 @default.
• W1966207613 hasConcept C33923547 @default.
• W1966207613 hasConcept C36299963 @default.
• W1966207613 hasConcept C41008148 @default.
• W1966207613 hasConcept C48103436 @default.
• W1966207613 hasConcept C52370388 @default.
• W1966207613 hasConcept C62520636 @default.
• W1966207613 hasConcept C74919329 @default.
• W1966207613 hasConcept C77944639 @default.
• W1966207613 hasConcept C80444323 @default.
• W1966207613 hasConcept C92991967 @default.
• W1966207613 hasConceptScore W1966207613C111472728 @default.
• W1966207613 hasConceptScore W1966207613C112505250 @default.
• W1966207613 hasConceptScore W1966207613C11413529 @default.
• W1966207613 hasConceptScore W1966207613C116248031 @default.
• W1966207613 hasConceptScore W1966207613C118615104 @default.
• W1966207613 hasConceptScore W1966207613C121332964 @default.
• W1966207613 hasConceptScore W1966207613C138885662 @default.
• W1966207613 hasConceptScore W1966207613C153269930 @default.
• W1966207613 hasConceptScore W1966207613C154945302 @default.
• W1966207613 hasConceptScore W1966207613C158008952 @default.
• W1966207613 hasConceptScore W1966207613C167822520 @default.
• W1966207613 hasConceptScore W1966207613C17744445 @default.
• W1966207613 hasConceptScore W1966207613C189950617 @default.
• W1966207613 hasConceptScore W1966207613C199539241 @default.
• W1966207613 hasConceptScore W1966207613C2775924081 @default.
• W1966207613 hasConceptScore W1966207613C2776235265 @default.
• W1966207613 hasConceptScore W1966207613C2779110517 @default.
• W1966207613 hasConceptScore W1966207613C2779662365 @default.
• W1966207613 hasConceptScore W1966207613C28826006 @default.
• W1966207613 hasConceptScore W1966207613C33923547 @default.
• W1966207613 hasConceptScore W1966207613C36299963 @default.
• W1966207613 hasConceptScore W1966207613C41008148 @default.
• W1966207613 hasConceptScore W1966207613C48103436 @default.
• W1966207613 hasConceptScore W1966207613C52370388 @default.
• W1966207613 hasConceptScore W1966207613C62520636 @default.
• W1966207613 hasConceptScore W1966207613C74919329 @default.
• W1966207613 hasConceptScore W1966207613C77944639 @default.
• W1966207613 hasConceptScore W1966207613C80444323 @default.
• W1966207613 hasConceptScore W1966207613C92991967 @default.
• W1966207613 hasLocation W19662076131 @default.
• W1966207613 hasOpenAccess W1966207613 @default.
• W1966207613 hasPrimaryLocation W19662076131 @default.
• W1966207613 hasRelatedWork W1966207613 @default.
• W1966207613 hasRelatedWork W2121627515 @default.
• W1966207613 hasRelatedWork W218528102 @default.
• W1966207613 hasRelatedWork W2288306272 @default.
• W1966207613 hasRelatedWork W2289736777 @default.
• W1966207613 hasRelatedWork W2346213286 @default.
• W1966207613 hasRelatedWork W2387849862 @default.
• W1966207613 hasRelatedWork W2802966894 @default.
• W1966207613 hasRelatedWork W2907462136 @default.

• next