Matches in SemOpenAlex for { <https://semopenalex.org/work/W55242956> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W55242956 endingPage "408" @default.
- W55242956 startingPage "405" @default.
- W55242956 abstract "This paper describes the methodology to deal with the behavior of a dynamical system such as plant controllers in the framework of Temporal Logic. Many important concepts of the dynamical system like stability or observability are represented in this framework. As a reasoning method, we present an w -graph approach which enables us to represent the dynamical behavior of a given system, and an automatic synthesis of control rules can be reduced to a simple decision procedure on the w -graph. Moreover, the typical reasoning about the time-dependent system such as a causal argument or a qualitative simulation can be also treated on the w -graph in the same way." @default.
- W55242956 created "2016-06-24" @default.
- W55242956 creator A5021748690 @default.
- W55242956 creator A5033835378 @default.
- W55242956 creator A5086412773 @default.
- W55242956 date "1983-08-08" @default.
- W55242956 modified "2023-09-25" @default.
- W55242956 title "A description and reasoning of plant controllers in temporal logic" @default.
- W55242956 cites W2040127143 @default.
- W55242956 cites W2094912129 @default.
- W55242956 cites W50233445 @default.
- W55242956 cites W78087830 @default.
- W55242956 hasPublicationYear "1983" @default.
- W55242956 type Work @default.
- W55242956 sameAs 55242956 @default.
- W55242956 citedByCount "27" @default.
- W55242956 crossrefType "proceedings-article" @default.
- W55242956 hasAuthorship W55242956A5021748690 @default.
- W55242956 hasAuthorship W55242956A5033835378 @default.
- W55242956 hasAuthorship W55242956A5086412773 @default.
- W55242956 hasConcept C11413529 @default.
- W55242956 hasConcept C121332964 @default.
- W55242956 hasConcept C132525143 @default.
- W55242956 hasConcept C146380142 @default.
- W55242956 hasConcept C154945302 @default.
- W55242956 hasConcept C185592680 @default.
- W55242956 hasConcept C25016198 @default.
- W55242956 hasConcept C28826006 @default.
- W55242956 hasConcept C32848918 @default.
- W55242956 hasConcept C33923547 @default.
- W55242956 hasConcept C33962884 @default.
- W55242956 hasConcept C36299963 @default.
- W55242956 hasConcept C41008148 @default.
- W55242956 hasConcept C4777664 @default.
- W55242956 hasConcept C55493867 @default.
- W55242956 hasConcept C62520636 @default.
- W55242956 hasConcept C79379906 @default.
- W55242956 hasConcept C80444323 @default.
- W55242956 hasConcept C83725634 @default.
- W55242956 hasConcept C89288958 @default.
- W55242956 hasConcept C98184364 @default.
- W55242956 hasConceptScore W55242956C11413529 @default.
- W55242956 hasConceptScore W55242956C121332964 @default.
- W55242956 hasConceptScore W55242956C132525143 @default.
- W55242956 hasConceptScore W55242956C146380142 @default.
- W55242956 hasConceptScore W55242956C154945302 @default.
- W55242956 hasConceptScore W55242956C185592680 @default.
- W55242956 hasConceptScore W55242956C25016198 @default.
- W55242956 hasConceptScore W55242956C28826006 @default.
- W55242956 hasConceptScore W55242956C32848918 @default.
- W55242956 hasConceptScore W55242956C33923547 @default.
- W55242956 hasConceptScore W55242956C33962884 @default.
- W55242956 hasConceptScore W55242956C36299963 @default.
- W55242956 hasConceptScore W55242956C41008148 @default.
- W55242956 hasConceptScore W55242956C4777664 @default.
- W55242956 hasConceptScore W55242956C55493867 @default.
- W55242956 hasConceptScore W55242956C62520636 @default.
- W55242956 hasConceptScore W55242956C79379906 @default.
- W55242956 hasConceptScore W55242956C80444323 @default.
- W55242956 hasConceptScore W55242956C83725634 @default.
- W55242956 hasConceptScore W55242956C89288958 @default.
- W55242956 hasConceptScore W55242956C98184364 @default.
- W55242956 hasLocation W552429561 @default.
- W55242956 hasOpenAccess W55242956 @default.
- W55242956 hasPrimaryLocation W552429561 @default.
- W55242956 hasRelatedWork W118354813 @default.
- W55242956 hasRelatedWork W1587663028 @default.
- W55242956 hasRelatedWork W1816240867 @default.
- W55242956 hasRelatedWork W1979349468 @default.
- W55242956 hasRelatedWork W1986517062 @default.
- W55242956 hasRelatedWork W1991037270 @default.
- W55242956 hasRelatedWork W1993237812 @default.
- W55242956 hasRelatedWork W1995862561 @default.
- W55242956 hasRelatedWork W1996362167 @default.
- W55242956 hasRelatedWork W2040127143 @default.
- W55242956 hasRelatedWork W2070946621 @default.
- W55242956 hasRelatedWork W2072078345 @default.
- W55242956 hasRelatedWork W2117189826 @default.
- W55242956 hasRelatedWork W2118721394 @default.
- W55242956 hasRelatedWork W2126295866 @default.
- W55242956 hasRelatedWork W2129272343 @default.
- W55242956 hasRelatedWork W2147950383 @default.
- W55242956 hasRelatedWork W2149439161 @default.
- W55242956 hasRelatedWork W2913459036 @default.
- W55242956 hasRelatedWork W3001572532 @default.
- W55242956 isParatext "false" @default.
- W55242956 isRetracted "false" @default.
- W55242956 magId "55242956" @default.
- W55242956 workType "article" @default.