FRINK Linked Data Fragments server

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

• W4285173820 endingPage "66320" @default.
• W4285173820 startingPage "66300" @default.
• W4285173820 abstract "The existence of marker-progressive supervisory control &#x2013; about ensuring constant marker progress under specified temporal safety for a class of fair discrete-event systems (DES&#x2019;s) &#x2013; is a new control problem formulation that has been studied in terms of DES marker-controllability of a linear-time temporal logic (LTL) safety formula given in canonical form. In this paper, provided it exists, the supremal marker-controllable subformula of a given canonical temporal-safety formula for the fair DES model considered is characterized as the weakest fixpoint of some monotone operator &#x03A9;. In the case where the DES model is finite state and the complete specification for constant marker progress under temporal safety is a formula of a decidable LTL fragment, it is shown that this fixpoint can be computed as the limit of the (finite) sequence of iterations of computing operator &#x03A9; in the syntax of LTL. Marker-progressive control synthesis by fixpoint computation can therefore be made in the same natural-language motivated algebra of LTL as writing the specification, providing the unique opportunity to exploit not only the role of fair events in DES&#x2019;s, but also the human readability of LTL formulas and the associated, syntax-based calculational approach that is transparent; such fixpoint computation is illustrated with four examples. A discussion examines and illuminates the significance of this paper and its potential impact on the logic foundation of supervisory control; it includes making comparisons with related work, and explaining a straightforward generalization of DES marker-controllability that directly extends the proposed fixpoint computation to cover the full specification hierarchy of canonical LTL." @default.
• W4285173820 created "2022-07-14" @default.
• W4285173820 creator A5049109774 @default.
• W4285173820 date "2022-01-01" @default.
• W4285173820 modified "2023-09-30" @default.
• W4285173820 title "Supremal Marker-Controllable Subformula of a Given Canonical Temporal-Safety Formula" @default.
• W4285173820 cites W1506588809 @default.
• W4285173820 cites W1520981400 @default.
• W4285173820 cites W1549122259 @default.
• W4285173820 cites W1567558468 @default.
• W4285173820 cites W1587663028 @default.
• W4285173820 cites W1966652050 @default.
• W4285173820 cites W1979349468 @default.
• W4285173820 cites W2000359615 @default.
• W4285173820 cites W2001219520 @default.
• W4285173820 cites W2003227046 @default.
• W4285173820 cites W2008701203 @default.
• W4285173820 cites W2025459956 @default.
• W4285173820 cites W2037919977 @default.
• W4285173820 cites W2041701185 @default.
• W4285173820 cites W2045554431 @default.
• W4285173820 cites W2048523103 @default.
• W4285173820 cites W2065353132 @default.
• W4285173820 cites W2071592303 @default.
• W4285173820 cites W2093262650 @default.
• W4285173820 cites W2098906570 @default.
• W4285173820 cites W2126295866 @default.
• W4285173820 cites W2164280338 @default.
• W4285173820 cites W2297081251 @default.
• W4285173820 cites W2804015072 @default.
• W4285173820 cites W2904980900 @default.
• W4285173820 cites W2914049204 @default.
• W4285173820 cites W2996980446 @default.
• W4285173820 cites W3048521874 @default.
• W4285173820 cites W3102416914 @default.
• W4285173820 cites W4288853474 @default.
• W4285173820 doi "https://doi.org/10.1109/access.2022.3183198" @default.
• W4285173820 hasPublicationYear "2022" @default.
• W4285173820 type Work @default.
• W4285173820 citedByCount "0" @default.
• W4285173820 crossrefType "journal-article" @default.
• W4285173820 hasAuthorship W4285173820A5049109774 @default.
• W4285173820 hasBestOaLocation W42851738201 @default.
• W4285173820 hasConcept C104317684 @default.
• W4285173820 hasConcept C11413529 @default.
• W4285173820 hasConcept C118615104 @default.
• W4285173820 hasConcept C134306372 @default.
• W4285173820 hasConcept C153269930 @default.
• W4285173820 hasConcept C154945302 @default.
• W4285173820 hasConcept C158448853 @default.
• W4285173820 hasConcept C17020691 @default.
• W4285173820 hasConcept C185592680 @default.
• W4285173820 hasConcept C199360897 @default.
• W4285173820 hasConcept C2775924081 @default.
• W4285173820 hasConcept C2776235265 @default.
• W4285173820 hasConcept C2777027219 @default.
• W4285173820 hasConcept C28826006 @default.
• W4285173820 hasConcept C33923547 @default.
• W4285173820 hasConcept C41008148 @default.
• W4285173820 hasConcept C48209547 @default.
• W4285173820 hasConcept C55493867 @default.
• W4285173820 hasConcept C60048249 @default.
• W4285173820 hasConcept C61445026 @default.
• W4285173820 hasConcept C80444323 @default.
• W4285173820 hasConcept C86339819 @default.
• W4285173820 hasConcept C92991967 @default.
• W4285173820 hasConceptScore W4285173820C104317684 @default.
• W4285173820 hasConceptScore W4285173820C11413529 @default.
• W4285173820 hasConceptScore W4285173820C118615104 @default.
• W4285173820 hasConceptScore W4285173820C134306372 @default.
• W4285173820 hasConceptScore W4285173820C153269930 @default.
• W4285173820 hasConceptScore W4285173820C154945302 @default.
• W4285173820 hasConceptScore W4285173820C158448853 @default.
• W4285173820 hasConceptScore W4285173820C17020691 @default.
• W4285173820 hasConceptScore W4285173820C185592680 @default.
• W4285173820 hasConceptScore W4285173820C199360897 @default.
• W4285173820 hasConceptScore W4285173820C2775924081 @default.
• W4285173820 hasConceptScore W4285173820C2776235265 @default.
• W4285173820 hasConceptScore W4285173820C2777027219 @default.
• W4285173820 hasConceptScore W4285173820C28826006 @default.
• W4285173820 hasConceptScore W4285173820C33923547 @default.
• W4285173820 hasConceptScore W4285173820C41008148 @default.
• W4285173820 hasConceptScore W4285173820C48209547 @default.
• W4285173820 hasConceptScore W4285173820C55493867 @default.
• W4285173820 hasConceptScore W4285173820C60048249 @default.
• W4285173820 hasConceptScore W4285173820C61445026 @default.
• W4285173820 hasConceptScore W4285173820C80444323 @default.
• W4285173820 hasConceptScore W4285173820C86339819 @default.
• W4285173820 hasConceptScore W4285173820C92991967 @default.
• W4285173820 hasLocation W42851738201 @default.
• W4285173820 hasOpenAccess W4285173820 @default.
• W4285173820 hasPrimaryLocation W42851738201 @default.
• W4285173820 hasRelatedWork W1249507685 @default.
• W4285173820 hasRelatedWork W1996177377 @default.
• W4285173820 hasRelatedWork W2035045326 @default.
• W4285173820 hasRelatedWork W2054354779 @default.
• W4285173820 hasRelatedWork W2144311624 @default.
• W4285173820 hasRelatedWork W253853260 @default.

• next