Matches in SemOpenAlex for { <https://semopenalex.org/work/W2892637521> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2892637521 endingPage "61518" @default.
- W2892637521 startingPage "61503" @default.
- W2892637521 abstract "State encoding is one of the fundamental problems in the synthesis of asynchronous controllers. The requirement for a correct hazard-free implementation imposes severe constraints on the way encoding signals can be inserted in the specification of a controller. Even though some specification formalisms, such as burst-mode machines or signal transition graphs, enable the specification of behaviors at the event level, the state encoding methods that provide the best good-quality solutions work at the state level. This imposes a severe limitation on the size of the controllers that can be handled by these methods. This paper proposes a method to solve the encoding problem for large asynchronous controllers using state-based methods. It is based on an iterative process of projection and re-composition that reduces the size specification by hiding signals, partially solves the encoding problem at the state level, and re-composes the original specification using a synchronous product. The process iterates until all encoding conflicts have been solved. The method is proved to preserve the behavior of the specification (branching bisimilarity) and shown to be capable of providing good-quality solutions for controllers of more than 100 signals and 10 <sup xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>6</sup> states." @default.
- W2892637521 created "2018-10-05" @default.
- W2892637521 creator A5017757149 @default.
- W2892637521 creator A5031451250 @default.
- W2892637521 date "2018-01-01" @default.
- W2892637521 modified "2023-10-17" @default.
- W2892637521 title "State-Based Encoding of Large Asynchronous Controllers" @default.
- W2892637521 cites W1985161650 @default.
- W2892637521 cites W2058948603 @default.
- W2892637521 cites W2115252042 @default.
- W2892637521 cites W2120519502 @default.
- W2892637521 cites W2125965694 @default.
- W2892637521 cites W2130434989 @default.
- W2892637521 cites W2165997179 @default.
- W2892637521 cites W2487142227 @default.
- W2892637521 cites W2560771452 @default.
- W2892637521 cites W2623310446 @default.
- W2892637521 cites W2663462053 @default.
- W2892637521 cites W2931206725 @default.
- W2892637521 cites W3148945005 @default.
- W2892637521 cites W4230290951 @default.
- W2892637521 cites W4239721096 @default.
- W2892637521 doi "https://doi.org/10.1109/access.2018.2872678" @default.
- W2892637521 hasPublicationYear "2018" @default.
- W2892637521 type Work @default.
- W2892637521 sameAs 2892637521 @default.
- W2892637521 citedByCount "1" @default.
- W2892637521 countsByYear W28926375212023 @default.
- W2892637521 crossrefType "journal-article" @default.
- W2892637521 hasAuthorship W2892637521A5017757149 @default.
- W2892637521 hasAuthorship W2892637521A5031451250 @default.
- W2892637521 hasBestOaLocation W28926375211 @default.
- W2892637521 hasConcept C11413529 @default.
- W2892637521 hasConcept C125411270 @default.
- W2892637521 hasConcept C151319957 @default.
- W2892637521 hasConcept C154945302 @default.
- W2892637521 hasConcept C171018156 @default.
- W2892637521 hasConcept C2524010 @default.
- W2892637521 hasConcept C31258907 @default.
- W2892637521 hasConcept C33923547 @default.
- W2892637521 hasConcept C41008148 @default.
- W2892637521 hasConcept C48103436 @default.
- W2892637521 hasConcept C80444323 @default.
- W2892637521 hasConceptScore W2892637521C11413529 @default.
- W2892637521 hasConceptScore W2892637521C125411270 @default.
- W2892637521 hasConceptScore W2892637521C151319957 @default.
- W2892637521 hasConceptScore W2892637521C154945302 @default.
- W2892637521 hasConceptScore W2892637521C171018156 @default.
- W2892637521 hasConceptScore W2892637521C2524010 @default.
- W2892637521 hasConceptScore W2892637521C31258907 @default.
- W2892637521 hasConceptScore W2892637521C33923547 @default.
- W2892637521 hasConceptScore W2892637521C41008148 @default.
- W2892637521 hasConceptScore W2892637521C48103436 @default.
- W2892637521 hasConceptScore W2892637521C80444323 @default.
- W2892637521 hasFunder F4320321505 @default.
- W2892637521 hasLocation W28926375211 @default.
- W2892637521 hasLocation W28926375212 @default.
- W2892637521 hasLocation W28926375213 @default.
- W2892637521 hasOpenAccess W2892637521 @default.
- W2892637521 hasPrimaryLocation W28926375211 @default.
- W2892637521 hasRelatedWork W1548344605 @default.
- W2892637521 hasRelatedWork W2006363920 @default.
- W2892637521 hasRelatedWork W2122091831 @default.
- W2892637521 hasRelatedWork W2136415198 @default.
- W2892637521 hasRelatedWork W2335156980 @default.
- W2892637521 hasRelatedWork W2362260319 @default.
- W2892637521 hasRelatedWork W2367372208 @default.
- W2892637521 hasRelatedWork W2389073067 @default.
- W2892637521 hasRelatedWork W2475836838 @default.
- W2892637521 hasRelatedWork W3100791781 @default.
- W2892637521 hasVolume "6" @default.
- W2892637521 isParatext "false" @default.
- W2892637521 isRetracted "false" @default.
- W2892637521 magId "2892637521" @default.
- W2892637521 workType "article" @default.