Matches in SemOpenAlex for { <https://semopenalex.org/work/W2144414405> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2144414405 abstract "We consider the control of distributed systems composed of subsystems communicating asynchronously; the aim is to build local controllers that restrict the behavior of a distributed system in order to satisfy a global state avoidance property. We model our distributed systems as communicating finite state machines with reliable unbounded FIFO queues between subsystems. Local controllers can only observe their proper local subsystems and do not observe the queues. To refine their control policy, they can use the FIFO queues to communicate by piggybacking extra information to the messages sent by the subsystems. We define synthesis algorithms allowing to compute the local controllers. We explain how we can ensure the termination of this control algorithm by using abstract interpretation techniques, to overapproximate queue contents by regular languages. An implementation of our algorithms provides an empirical evaluation of our method." @default.
- W2144414405 created "2016-06-24" @default.
- W2144414405 creator A5002810316 @default.
- W2144414405 creator A5036300472 @default.
- W2144414405 creator A5053628603 @default.
- W2144414405 creator A5061104746 @default.
- W2144414405 date "2011-12-01" @default.
- W2144414405 modified "2023-10-10" @default.
- W2144414405 title "Synthesis of communicating controllers for distributed systems" @default.
- W2144414405 cites W1566790987 @default.
- W2144414405 cites W1569085112 @default.
- W2144414405 cites W1875626081 @default.
- W2144414405 cites W2005777052 @default.
- W2144414405 cites W2025949256 @default.
- W2144414405 cites W2025970201 @default.
- W2144414405 cites W2043100293 @default.
- W2144414405 cites W2046213250 @default.
- W2144414405 cites W2059057465 @default.
- W2144414405 cites W2071367517 @default.
- W2144414405 cites W2081938726 @default.
- W2144414405 cites W2085796200 @default.
- W2144414405 cites W2093327611 @default.
- W2144414405 cites W2108990199 @default.
- W2144414405 cites W2112562651 @default.
- W2144414405 cites W2124485400 @default.
- W2144414405 cites W2133287039 @default.
- W2144414405 cites W2151623798 @default.
- W2144414405 cites W2156444206 @default.
- W2144414405 cites W2170448441 @default.
- W2144414405 cites W2171110406 @default.
- W2144414405 doi "https://doi.org/10.1109/cdc.2011.6160584" @default.
- W2144414405 hasPublicationYear "2011" @default.
- W2144414405 type Work @default.
- W2144414405 sameAs 2144414405 @default.
- W2144414405 citedByCount "21" @default.
- W2144414405 countsByYear W21444144052012 @default.
- W2144414405 countsByYear W21444144052013 @default.
- W2144414405 countsByYear W21444144052014 @default.
- W2144414405 countsByYear W21444144052015 @default.
- W2144414405 countsByYear W21444144052016 @default.
- W2144414405 countsByYear W21444144052017 @default.
- W2144414405 countsByYear W21444144052020 @default.
- W2144414405 countsByYear W21444144052021 @default.
- W2144414405 countsByYear W21444144052022 @default.
- W2144414405 countsByYear W21444144052023 @default.
- W2144414405 crossrefType "proceedings-article" @default.
- W2144414405 hasAuthorship W2144414405A5002810316 @default.
- W2144414405 hasAuthorship W2144414405A5036300472 @default.
- W2144414405 hasAuthorship W2144414405A5053628603 @default.
- W2144414405 hasAuthorship W2144414405A5061104746 @default.
- W2144414405 hasBestOaLocation W21444144052 @default.
- W2144414405 hasConcept C11413529 @default.
- W2144414405 hasConcept C120314980 @default.
- W2144414405 hasConcept C160403385 @default.
- W2144414405 hasConcept C167822520 @default.
- W2144414405 hasConcept C22684755 @default.
- W2144414405 hasConcept C2777145635 @default.
- W2144414405 hasConcept C31258907 @default.
- W2144414405 hasConcept C41008148 @default.
- W2144414405 hasConcept C48103436 @default.
- W2144414405 hasConcept C48721391 @default.
- W2144414405 hasConcept C9390403 @default.
- W2144414405 hasConceptScore W2144414405C11413529 @default.
- W2144414405 hasConceptScore W2144414405C120314980 @default.
- W2144414405 hasConceptScore W2144414405C160403385 @default.
- W2144414405 hasConceptScore W2144414405C167822520 @default.
- W2144414405 hasConceptScore W2144414405C22684755 @default.
- W2144414405 hasConceptScore W2144414405C2777145635 @default.
- W2144414405 hasConceptScore W2144414405C31258907 @default.
- W2144414405 hasConceptScore W2144414405C41008148 @default.
- W2144414405 hasConceptScore W2144414405C48103436 @default.
- W2144414405 hasConceptScore W2144414405C48721391 @default.
- W2144414405 hasConceptScore W2144414405C9390403 @default.
- W2144414405 hasLocation W21444144051 @default.
- W2144414405 hasLocation W21444144052 @default.
- W2144414405 hasLocation W21444144053 @default.
- W2144414405 hasOpenAccess W2144414405 @default.
- W2144414405 hasPrimaryLocation W21444144051 @default.
- W2144414405 hasRelatedWork W1495262204 @default.
- W2144414405 hasRelatedWork W2014653038 @default.
- W2144414405 hasRelatedWork W2031314110 @default.
- W2144414405 hasRelatedWork W2159621930 @default.
- W2144414405 hasRelatedWork W2479949884 @default.
- W2144414405 hasRelatedWork W2515321005 @default.
- W2144414405 hasRelatedWork W2949692813 @default.
- W2144414405 hasRelatedWork W38510321 @default.
- W2144414405 hasRelatedWork W4233564446 @default.
- W2144414405 hasRelatedWork W4244145720 @default.
- W2144414405 isParatext "false" @default.
- W2144414405 isRetracted "false" @default.
- W2144414405 magId "2144414405" @default.
- W2144414405 workType "article" @default.