Matches in SemOpenAlex for { <https://semopenalex.org/work/W2963313144> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2963313144 abstract "This paper considers the synthesis of distributed reactive control protocols for a Boolean network in a distributed manner. We start with a directed acyclic graph representing a network of Boolean subsystems and a global contract, given as an assumption-guarantee pair. Assumption captures the environment behavior, and guarantee is the requirements to be satisfied by the system. Local assumption-guarantee contracts, together with local control protocols ensuring these local contracts, are computed recursively for each subsystem based on the partial order structure induced by the directed acyclic graph. By construction, implementing these local control protocols together guarantees the satisfaction of the global assumption-guarantee contract. Moreover, local control protocol synthesis reduces to quantified satisfiability (QSAT) problems in this setting. We also discuss structural properties of the network that affect the completeness of the proposed algorithm. As an application, we show how an aircraft electric power system can be represented as a Boolean network, and we synthesize distributed control protocols from a global assumption-guarantee contract. The assumptions capture possible failures of the system components, and the guarantees capture safety requirements related to power distribution." @default.
- W2963313144 created "2019-07-30" @default.
- W2963313144 creator A5031538351 @default.
- W2963313144 creator A5086932118 @default.
- W2963313144 date "2016-09-01" @default.
- W2963313144 modified "2023-09-23" @default.
- W2963313144 title "SAT-based distributed reactive control protocol synthesis for Boolean networks" @default.
- W2963313144 cites W1483893502 @default.
- W2963313144 cites W1547864995 @default.
- W2963313144 cites W1610578937 @default.
- W2963313144 cites W1756169151 @default.
- W2963313144 cites W1783469492 @default.
- W2963313144 cites W1941176105 @default.
- W2963313144 cites W1971224531 @default.
- W2963313144 cites W1991698050 @default.
- W2963313144 cites W2127162145 @default.
- W2963313144 cites W2143549867 @default.
- W2963313144 cites W2396128591 @default.
- W2963313144 cites W2474660115 @default.
- W2963313144 cites W67120322 @default.
- W2963313144 doi "https://doi.org/10.1109/cacsd.2016.7602549" @default.
- W2963313144 hasPublicationYear "2016" @default.
- W2963313144 type Work @default.
- W2963313144 sameAs 2963313144 @default.
- W2963313144 citedByCount "0" @default.
- W2963313144 crossrefType "proceedings-article" @default.
- W2963313144 hasAuthorship W2963313144A5031538351 @default.
- W2963313144 hasAuthorship W2963313144A5086932118 @default.
- W2963313144 hasBestOaLocation W29633131442 @default.
- W2963313144 hasConcept C11413529 @default.
- W2963313144 hasConcept C120314980 @default.
- W2963313144 hasConcept C132525143 @default.
- W2963313144 hasConcept C134306372 @default.
- W2963313144 hasConcept C134444547 @default.
- W2963313144 hasConcept C142724271 @default.
- W2963313144 hasConcept C154945302 @default.
- W2963313144 hasConcept C168773769 @default.
- W2963313144 hasConcept C17231256 @default.
- W2963313144 hasConcept C187455244 @default.
- W2963313144 hasConcept C204787440 @default.
- W2963313144 hasConcept C2775924081 @default.
- W2963313144 hasConcept C2780385302 @default.
- W2963313144 hasConcept C33923547 @default.
- W2963313144 hasConcept C41008148 @default.
- W2963313144 hasConcept C6943359 @default.
- W2963313144 hasConcept C71924100 @default.
- W2963313144 hasConcept C74197172 @default.
- W2963313144 hasConcept C80444323 @default.
- W2963313144 hasConceptScore W2963313144C11413529 @default.
- W2963313144 hasConceptScore W2963313144C120314980 @default.
- W2963313144 hasConceptScore W2963313144C132525143 @default.
- W2963313144 hasConceptScore W2963313144C134306372 @default.
- W2963313144 hasConceptScore W2963313144C134444547 @default.
- W2963313144 hasConceptScore W2963313144C142724271 @default.
- W2963313144 hasConceptScore W2963313144C154945302 @default.
- W2963313144 hasConceptScore W2963313144C168773769 @default.
- W2963313144 hasConceptScore W2963313144C17231256 @default.
- W2963313144 hasConceptScore W2963313144C187455244 @default.
- W2963313144 hasConceptScore W2963313144C204787440 @default.
- W2963313144 hasConceptScore W2963313144C2775924081 @default.
- W2963313144 hasConceptScore W2963313144C2780385302 @default.
- W2963313144 hasConceptScore W2963313144C33923547 @default.
- W2963313144 hasConceptScore W2963313144C41008148 @default.
- W2963313144 hasConceptScore W2963313144C6943359 @default.
- W2963313144 hasConceptScore W2963313144C71924100 @default.
- W2963313144 hasConceptScore W2963313144C74197172 @default.
- W2963313144 hasConceptScore W2963313144C80444323 @default.
- W2963313144 hasLocation W29633131441 @default.
- W2963313144 hasLocation W29633131442 @default.
- W2963313144 hasOpenAccess W2963313144 @default.
- W2963313144 hasPrimaryLocation W29633131441 @default.
- W2963313144 hasRelatedWork W1490403600 @default.
- W2963313144 hasRelatedWork W2013737236 @default.
- W2963313144 hasRelatedWork W2060367456 @default.
- W2963313144 hasRelatedWork W2074810448 @default.
- W2963313144 hasRelatedWork W2091682271 @default.
- W2963313144 hasRelatedWork W2171694750 @default.
- W2963313144 hasRelatedWork W2296666549 @default.
- W2963313144 hasRelatedWork W2474660115 @default.
- W2963313144 hasRelatedWork W2765883112 @default.
- W2963313144 hasRelatedWork W2788389167 @default.
- W2963313144 hasRelatedWork W2797040557 @default.
- W2963313144 hasRelatedWork W2817031946 @default.
- W2963313144 hasRelatedWork W2889078364 @default.
- W2963313144 hasRelatedWork W2895098298 @default.
- W2963313144 hasRelatedWork W2951207499 @default.
- W2963313144 hasRelatedWork W2984045654 @default.
- W2963313144 hasRelatedWork W2989842889 @default.
- W2963313144 hasRelatedWork W3013117662 @default.
- W2963313144 hasRelatedWork W3203131851 @default.
- W2963313144 hasRelatedWork W47368881 @default.
- W2963313144 isParatext "false" @default.
- W2963313144 isRetracted "false" @default.
- W2963313144 magId "2963313144" @default.
- W2963313144 workType "article" @default.