Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000359615> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2000359615 endingPage "1972" @default.
- W2000359615 startingPage "1965" @default.
- W2000359615 abstract "This paper presents a supremal-control generalization of a temporal version of supervisory control for temporal-safety in discrete-event systems. The generalization is an outcome of the development of a temporal logic equations approach formulated using unary transformer concepts borrowed mainly from the predicate and predicate transform theory of Dijkstra and Scholten. The proposed syntax-based approach has not hitherto been formally augmented to the temporal logic framework, and is shown to parallel and to generalize the boolean equations approach proposed in the existing predicate control theory of Kumar, Garg and Marcus. A detailed example, which cannot be handled by the existing predicate control theory, demonstrates how the natural language basis of temporal logic for requirement specification and syntax-based control synthesis can be unified in a common logic framework." @default.
- W2000359615 created "2016-06-24" @default.
- W2000359615 creator A5049109774 @default.
- W2000359615 date "2005-11-01" @default.
- W2000359615 modified "2023-09-30" @default.
- W2000359615 title "Syntax-based synthesis for temporal-safety supervision" @default.
- W2000359615 cites W1506588809 @default.
- W2000359615 cites W1511110335 @default.
- W2000359615 cites W1534752314 @default.
- W2000359615 cites W1548370410 @default.
- W2000359615 cites W1886546333 @default.
- W2000359615 cites W19107623 @default.
- W2000359615 cites W1974202634 @default.
- W2000359615 cites W1979349468 @default.
- W2000359615 cites W1982948055 @default.
- W2000359615 cites W2008701203 @default.
- W2000359615 cites W2063496519 @default.
- W2000359615 cites W2072078345 @default.
- W2000359615 cites W2093916942 @default.
- W2000359615 cites W2121782671 @default.
- W2000359615 cites W2147006355 @default.
- W2000359615 cites W2149439161 @default.
- W2000359615 cites W2153054884 @default.
- W2000359615 cites W2290838125 @default.
- W2000359615 cites W2346213286 @default.
- W2000359615 cites W1517400747 @default.
- W2000359615 doi "https://doi.org/10.1016/j.automatica.2005.05.011" @default.
- W2000359615 hasPublicationYear "2005" @default.
- W2000359615 type Work @default.
- W2000359615 sameAs 2000359615 @default.
- W2000359615 citedByCount "4" @default.
- W2000359615 countsByYear W20003596152012 @default.
- W2000359615 countsByYear W20003596152021 @default.
- W2000359615 countsByYear W20003596152022 @default.
- W2000359615 crossrefType "journal-article" @default.
- W2000359615 hasAuthorship W2000359615A5049109774 @default.
- W2000359615 hasConcept C102993220 @default.
- W2000359615 hasConcept C110039528 @default.
- W2000359615 hasConcept C11413529 @default.
- W2000359615 hasConcept C118615104 @default.
- W2000359615 hasConcept C140146324 @default.
- W2000359615 hasConcept C154945302 @default.
- W2000359615 hasConcept C162670838 @default.
- W2000359615 hasConcept C19689857 @default.
- W2000359615 hasConcept C198008173 @default.
- W2000359615 hasConcept C199360897 @default.
- W2000359615 hasConcept C203659156 @default.
- W2000359615 hasConcept C25016198 @default.
- W2000359615 hasConcept C33923547 @default.
- W2000359615 hasConcept C41008148 @default.
- W2000359615 hasConcept C60048249 @default.
- W2000359615 hasConcept C73314972 @default.
- W2000359615 hasConcept C78023250 @default.
- W2000359615 hasConcept C80444323 @default.
- W2000359615 hasConceptScore W2000359615C102993220 @default.
- W2000359615 hasConceptScore W2000359615C110039528 @default.
- W2000359615 hasConceptScore W2000359615C11413529 @default.
- W2000359615 hasConceptScore W2000359615C118615104 @default.
- W2000359615 hasConceptScore W2000359615C140146324 @default.
- W2000359615 hasConceptScore W2000359615C154945302 @default.
- W2000359615 hasConceptScore W2000359615C162670838 @default.
- W2000359615 hasConceptScore W2000359615C19689857 @default.
- W2000359615 hasConceptScore W2000359615C198008173 @default.
- W2000359615 hasConceptScore W2000359615C199360897 @default.
- W2000359615 hasConceptScore W2000359615C203659156 @default.
- W2000359615 hasConceptScore W2000359615C25016198 @default.
- W2000359615 hasConceptScore W2000359615C33923547 @default.
- W2000359615 hasConceptScore W2000359615C41008148 @default.
- W2000359615 hasConceptScore W2000359615C60048249 @default.
- W2000359615 hasConceptScore W2000359615C73314972 @default.
- W2000359615 hasConceptScore W2000359615C78023250 @default.
- W2000359615 hasConceptScore W2000359615C80444323 @default.
- W2000359615 hasIssue "11" @default.
- W2000359615 hasLocation W20003596151 @default.
- W2000359615 hasOpenAccess W2000359615 @default.
- W2000359615 hasPrimaryLocation W20003596151 @default.
- W2000359615 hasRelatedWork W151921596 @default.
- W2000359615 hasRelatedWork W1917382139 @default.
- W2000359615 hasRelatedWork W1981596478 @default.
- W2000359615 hasRelatedWork W2000359615 @default.
- W2000359615 hasRelatedWork W2003661576 @default.
- W2000359615 hasRelatedWork W2089176737 @default.
- W2000359615 hasRelatedWork W2931443989 @default.
- W2000359615 hasRelatedWork W2963262080 @default.
- W2000359615 hasRelatedWork W3110882779 @default.
- W2000359615 hasRelatedWork W2134288141 @default.
- W2000359615 hasVolume "41" @default.
- W2000359615 isParatext "false" @default.
- W2000359615 isRetracted "false" @default.
- W2000359615 magId "2000359615" @default.
- W2000359615 workType "article" @default.