Matches in SemOpenAlex for { <https://semopenalex.org/work/W1989359021> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W1989359021 endingPage "285" @default.
- W1989359021 startingPage "278" @default.
- W1989359021 abstract "This paper presents a novel approach to adapt a behavioral model in order to satisfy a requirement in Hennessy-Milner Logic, including an additional box modality operator, expressing an invariant formula. Control system synthesis, as defined in this way, retains all non-invalidating behavior, and thereby guarantees maximal permissiveness for supervisory control. This research extends earlier work by embracing a broader synthesized logic, enabling synthesis with respect to invariant formulas for non-deterministic behavioral models. All definitions and proofs in this paper have been computer verified using the Coq proof assistant." @default.
- W1989359021 created "2016-06-24" @default.
- W1989359021 creator A5040487816 @default.
- W1989359021 creator A5067499911 @default.
- W1989359021 creator A5078610814 @default.
- W1989359021 date "2014-01-01" @default.
- W1989359021 modified "2023-09-23" @default.
- W1989359021 title "Maximal Synthesis for Hennessy-Milner Logic with the Box Modality" @default.
- W1989359021 cites W1978469611 @default.
- W1989359021 cites W1979349468 @default.
- W1989359021 cites W1997172052 @default.
- W1989359021 cites W2040127143 @default.
- W1989359021 cites W2178250883 @default.
- W1989359021 cites W2913210435 @default.
- W1989359021 doi "https://doi.org/10.3182/20140514-3-fr-4046.00034" @default.
- W1989359021 hasPublicationYear "2014" @default.
- W1989359021 type Work @default.
- W1989359021 sameAs 1989359021 @default.
- W1989359021 citedByCount "2" @default.
- W1989359021 countsByYear W19893590212015 @default.
- W1989359021 countsByYear W19893590212016 @default.
- W1989359021 crossrefType "journal-article" @default.
- W1989359021 hasAuthorship W1989359021A5040487816 @default.
- W1989359021 hasAuthorship W1989359021A5067499911 @default.
- W1989359021 hasAuthorship W1989359021A5078610814 @default.
- W1989359021 hasBestOaLocation W19893590211 @default.
- W1989359021 hasConcept C102993220 @default.
- W1989359021 hasConcept C108710211 @default.
- W1989359021 hasConcept C110039528 @default.
- W1989359021 hasConcept C11413529 @default.
- W1989359021 hasConcept C118615104 @default.
- W1989359021 hasConcept C136119220 @default.
- W1989359021 hasConcept C154945302 @default.
- W1989359021 hasConcept C190470478 @default.
- W1989359021 hasConcept C199343813 @default.
- W1989359021 hasConcept C199360897 @default.
- W1989359021 hasConcept C202444582 @default.
- W1989359021 hasConcept C203659156 @default.
- W1989359021 hasConcept C2524010 @default.
- W1989359021 hasConcept C2777686260 @default.
- W1989359021 hasConcept C2780226545 @default.
- W1989359021 hasConcept C33923547 @default.
- W1989359021 hasConcept C37914503 @default.
- W1989359021 hasConcept C41008148 @default.
- W1989359021 hasConcept C71924100 @default.
- W1989359021 hasConcept C80444323 @default.
- W1989359021 hasConcept C80467683 @default.
- W1989359021 hasConceptScore W1989359021C102993220 @default.
- W1989359021 hasConceptScore W1989359021C108710211 @default.
- W1989359021 hasConceptScore W1989359021C110039528 @default.
- W1989359021 hasConceptScore W1989359021C11413529 @default.
- W1989359021 hasConceptScore W1989359021C118615104 @default.
- W1989359021 hasConceptScore W1989359021C136119220 @default.
- W1989359021 hasConceptScore W1989359021C154945302 @default.
- W1989359021 hasConceptScore W1989359021C190470478 @default.
- W1989359021 hasConceptScore W1989359021C199343813 @default.
- W1989359021 hasConceptScore W1989359021C199360897 @default.
- W1989359021 hasConceptScore W1989359021C202444582 @default.
- W1989359021 hasConceptScore W1989359021C203659156 @default.
- W1989359021 hasConceptScore W1989359021C2524010 @default.
- W1989359021 hasConceptScore W1989359021C2777686260 @default.
- W1989359021 hasConceptScore W1989359021C2780226545 @default.
- W1989359021 hasConceptScore W1989359021C33923547 @default.
- W1989359021 hasConceptScore W1989359021C37914503 @default.
- W1989359021 hasConceptScore W1989359021C41008148 @default.
- W1989359021 hasConceptScore W1989359021C71924100 @default.
- W1989359021 hasConceptScore W1989359021C80444323 @default.
- W1989359021 hasConceptScore W1989359021C80467683 @default.
- W1989359021 hasIssue "2" @default.
- W1989359021 hasLocation W19893590211 @default.
- W1989359021 hasLocation W19893590212 @default.
- W1989359021 hasOpenAccess W1989359021 @default.
- W1989359021 hasPrimaryLocation W19893590211 @default.
- W1989359021 hasRelatedWork W1537480708 @default.
- W1989359021 hasRelatedWork W1566752377 @default.
- W1989359021 hasRelatedWork W1597848231 @default.
- W1989359021 hasRelatedWork W1835518415 @default.
- W1989359021 hasRelatedWork W1991664539 @default.
- W1989359021 hasRelatedWork W2015780695 @default.
- W1989359021 hasRelatedWork W202861734 @default.
- W1989359021 hasRelatedWork W2270830817 @default.
- W1989359021 hasRelatedWork W3174634921 @default.
- W1989359021 hasRelatedWork W2527615113 @default.
- W1989359021 hasVolume "47" @default.
- W1989359021 isParatext "false" @default.
- W1989359021 isRetracted "false" @default.
- W1989359021 magId "1989359021" @default.
- W1989359021 workType "article" @default.