Matches in SemOpenAlex for { <https://semopenalex.org/work/W2072078345> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2072078345 endingPage "976" @default.
- W2072078345 startingPage "943" @default.
- W2072078345 abstract "Linear-time temporal logic is applied to the verification of control systems. A formal language and proof system are adapted from those used in the verification of concurrent programs by Manna and Pnueli. Properties of some simple control systems are then verified by formally deducing temporal logic specifications of desired behaviour from descriptions of system dynamics. Finally, the usefulness of temporal logic in control theory is discussed and topics for future research are suggested." @default.
- W2072078345 created "2016-06-24" @default.
- W2072078345 creator A5018886883 @default.
- W2072078345 creator A5090460622 @default.
- W2072078345 date "1986-10-01" @default.
- W2072078345 modified "2023-09-23" @default.
- W2072078345 title "Control problems in a temporal logic framework" @default.
- W2072078345 cites W2048355938 @default.
- W2072078345 cites W2086070079 @default.
- W2072078345 cites W2101604841 @default.
- W2072078345 cites W2111132249 @default.
- W2072078345 cites W2147543351 @default.
- W2072078345 cites W2165373889 @default.
- W2072078345 cites W3150657576 @default.
- W2072078345 doi "https://doi.org/10.1080/00207178608933645" @default.
- W2072078345 hasPublicationYear "1986" @default.
- W2072078345 type Work @default.
- W2072078345 sameAs 2072078345 @default.
- W2072078345 citedByCount "115" @default.
- W2072078345 countsByYear W20720783452012 @default.
- W2072078345 countsByYear W20720783452013 @default.
- W2072078345 countsByYear W20720783452014 @default.
- W2072078345 countsByYear W20720783452015 @default.
- W2072078345 countsByYear W20720783452016 @default.
- W2072078345 countsByYear W20720783452018 @default.
- W2072078345 countsByYear W20720783452019 @default.
- W2072078345 countsByYear W20720783452020 @default.
- W2072078345 countsByYear W20720783452021 @default.
- W2072078345 countsByYear W20720783452022 @default.
- W2072078345 crossrefType "journal-article" @default.
- W2072078345 hasAuthorship W2072078345A5018886883 @default.
- W2072078345 hasAuthorship W2072078345A5090460622 @default.
- W2072078345 hasConcept C111472728 @default.
- W2072078345 hasConcept C11648818 @default.
- W2072078345 hasConcept C138885662 @default.
- W2072078345 hasConcept C154945302 @default.
- W2072078345 hasConcept C162670838 @default.
- W2072078345 hasConcept C198008173 @default.
- W2072078345 hasConcept C199360897 @default.
- W2072078345 hasConcept C25016198 @default.
- W2072078345 hasConcept C2775924081 @default.
- W2072078345 hasConcept C2780586882 @default.
- W2072078345 hasConcept C41008148 @default.
- W2072078345 hasConcept C4777664 @default.
- W2072078345 hasConcept C80444323 @default.
- W2072078345 hasConceptScore W2072078345C111472728 @default.
- W2072078345 hasConceptScore W2072078345C11648818 @default.
- W2072078345 hasConceptScore W2072078345C138885662 @default.
- W2072078345 hasConceptScore W2072078345C154945302 @default.
- W2072078345 hasConceptScore W2072078345C162670838 @default.
- W2072078345 hasConceptScore W2072078345C198008173 @default.
- W2072078345 hasConceptScore W2072078345C199360897 @default.
- W2072078345 hasConceptScore W2072078345C25016198 @default.
- W2072078345 hasConceptScore W2072078345C2775924081 @default.
- W2072078345 hasConceptScore W2072078345C2780586882 @default.
- W2072078345 hasConceptScore W2072078345C41008148 @default.
- W2072078345 hasConceptScore W2072078345C4777664 @default.
- W2072078345 hasConceptScore W2072078345C80444323 @default.
- W2072078345 hasIssue "4" @default.
- W2072078345 hasLocation W20720783451 @default.
- W2072078345 hasOpenAccess W2072078345 @default.
- W2072078345 hasPrimaryLocation W20720783451 @default.
- W2072078345 hasRelatedWork W1031601050 @default.
- W2072078345 hasRelatedWork W1526924704 @default.
- W2072078345 hasRelatedWork W1546948343 @default.
- W2072078345 hasRelatedWork W2099776859 @default.
- W2072078345 hasRelatedWork W2103740034 @default.
- W2072078345 hasRelatedWork W2114609077 @default.
- W2072078345 hasRelatedWork W2124110813 @default.
- W2072078345 hasRelatedWork W4232446061 @default.
- W2072078345 hasRelatedWork W858755136 @default.
- W2072078345 hasRelatedWork W946220898 @default.
- W2072078345 hasVolume "44" @default.
- W2072078345 isParatext "false" @default.
- W2072078345 isRetracted "false" @default.
- W2072078345 magId "2072078345" @default.
- W2072078345 workType "article" @default.