Matches in SemOpenAlex for { <https://semopenalex.org/work/W2962680936> ?p ?o ?g. }
- W2962680936 endingPage "5065" @default.
- W2962680936 startingPage "5051" @default.
- W2962680936 abstract "The supervisory control of probabilistic discrete event systems (PDESs) is investigated under the assumptions that the supervisory controller (supervisor) is probabilistic and has a partial observation. The notions of probabilistic controllability and observability are proposed and demonstrated to be necessary and sufficient conditions for the existence of the probabilistic P-supervisors. Moreover, the polynomial verification algorithms for probabilistic controllability and observability are put forward, respectively. In addition, the infimal probabilistic controllable and observable superlanguage for an unachievable specification is calculated as the solution of the optimal control problem of PDESs. Several examples are presented to illustrate the results obtained." @default.
- W2962680936 created "2019-07-30" @default.
- W2962680936 creator A5013360896 @default.
- W2962680936 creator A5026963602 @default.
- W2962680936 creator A5068381685 @default.
- W2962680936 date "2019-12-01" @default.
- W2962680936 modified "2023-10-14" @default.
- W2962680936 title "Supervisory Control of Probabilistic Discrete Event Systems Under Partial Observation" @default.
- W2962680936 cites W1577803140 @default.
- W2962680936 cites W1968302778 @default.
- W2962680936 cites W1972357705 @default.
- W2962680936 cites W1979349468 @default.
- W2962680936 cites W1986386117 @default.
- W2962680936 cites W1988926301 @default.
- W2962680936 cites W2001195603 @default.
- W2962680936 cites W2017253339 @default.
- W2962680936 cites W2017692825 @default.
- W2962680936 cites W2026960586 @default.
- W2962680936 cites W2036978485 @default.
- W2962680936 cites W2052404333 @default.
- W2962680936 cites W2064880750 @default.
- W2962680936 cites W2068354234 @default.
- W2962680936 cites W2076974654 @default.
- W2962680936 cites W2088282695 @default.
- W2962680936 cites W2091897646 @default.
- W2962680936 cites W2100476864 @default.
- W2962680936 cites W2101961364 @default.
- W2962680936 cites W2102180769 @default.
- W2962680936 cites W2117023424 @default.
- W2962680936 cites W2119810157 @default.
- W2962680936 cites W2133435578 @default.
- W2962680936 cites W2142183123 @default.
- W2962680936 cites W2142570643 @default.
- W2962680936 cites W2145714189 @default.
- W2962680936 cites W2146566646 @default.
- W2962680936 cites W2166226514 @default.
- W2962680936 cites W2342445930 @default.
- W2962680936 cites W2480823973 @default.
- W2962680936 cites W2506422966 @default.
- W2962680936 cites W2509841691 @default.
- W2962680936 cites W2566064614 @default.
- W2962680936 cites W2598332701 @default.
- W2962680936 cites W2599311321 @default.
- W2962680936 cites W2941363749 @default.
- W2962680936 doi "https://doi.org/10.1109/tac.2019.2905305" @default.
- W2962680936 hasPublicationYear "2019" @default.
- W2962680936 type Work @default.
- W2962680936 sameAs 2962680936 @default.
- W2962680936 citedByCount "6" @default.
- W2962680936 countsByYear W29626809362021 @default.
- W2962680936 countsByYear W29626809362022 @default.
- W2962680936 countsByYear W29626809362023 @default.
- W2962680936 crossrefType "journal-article" @default.
- W2962680936 hasAuthorship W2962680936A5013360896 @default.
- W2962680936 hasAuthorship W2962680936A5026963602 @default.
- W2962680936 hasAuthorship W2962680936A5068381685 @default.
- W2962680936 hasBestOaLocation W29626809362 @default.
- W2962680936 hasConcept C11413529 @default.
- W2962680936 hasConcept C119599485 @default.
- W2962680936 hasConcept C121332964 @default.
- W2962680936 hasConcept C127413603 @default.
- W2962680936 hasConcept C133731056 @default.
- W2962680936 hasConcept C154945302 @default.
- W2962680936 hasConcept C17500928 @default.
- W2962680936 hasConcept C2775924081 @default.
- W2962680936 hasConcept C2779662365 @default.
- W2962680936 hasConcept C32866371 @default.
- W2962680936 hasConcept C41008148 @default.
- W2962680936 hasConcept C47446073 @default.
- W2962680936 hasConcept C49937458 @default.
- W2962680936 hasConcept C62520636 @default.
- W2962680936 hasConcept C81146285 @default.
- W2962680936 hasConcept C92991967 @default.
- W2962680936 hasConcept C96314035 @default.
- W2962680936 hasConceptScore W2962680936C11413529 @default.
- W2962680936 hasConceptScore W2962680936C119599485 @default.
- W2962680936 hasConceptScore W2962680936C121332964 @default.
- W2962680936 hasConceptScore W2962680936C127413603 @default.
- W2962680936 hasConceptScore W2962680936C133731056 @default.
- W2962680936 hasConceptScore W2962680936C154945302 @default.
- W2962680936 hasConceptScore W2962680936C17500928 @default.
- W2962680936 hasConceptScore W2962680936C2775924081 @default.
- W2962680936 hasConceptScore W2962680936C2779662365 @default.
- W2962680936 hasConceptScore W2962680936C32866371 @default.
- W2962680936 hasConceptScore W2962680936C41008148 @default.
- W2962680936 hasConceptScore W2962680936C47446073 @default.
- W2962680936 hasConceptScore W2962680936C49937458 @default.
- W2962680936 hasConceptScore W2962680936C62520636 @default.
- W2962680936 hasConceptScore W2962680936C81146285 @default.
- W2962680936 hasConceptScore W2962680936C92991967 @default.
- W2962680936 hasConceptScore W2962680936C96314035 @default.
- W2962680936 hasFunder F4320321001 @default.
- W2962680936 hasFunder F4320321921 @default.
- W2962680936 hasFunder F4320335787 @default.
- W2962680936 hasIssue "12" @default.
- W2962680936 hasLocation W29626809361 @default.
- W2962680936 hasLocation W29626809362 @default.
- W2962680936 hasOpenAccess W2962680936 @default.