FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W175266890> ?p ?o ?g. }

• W175266890 abstract "In my thesis I investigate compositional techniques for synthesis of safety controllers. A safety controller, in this context, is a state machine that gives the set of safe control outputs for every possible sequence of observations from the plant under control. Compositionality, in this context,refers to the ability to compose the plant model with a safety controller that is derived in a local context, meaning we only consider a selected subsets of the full set of plant model components.A first main contribution is a symbolic algorithm that works directly on a compact symbolic representation of the controller thereby avoiding explicit construction of the underlying state graph. The algorithm works by refining the representation of the control strategy in a counterexample driven manner. Upon termination the algorithm will yield a symbolic representation of the most permissive, safe control strategy for the given plant model. The algorithmis specifically designed for models that feature partial observability, meaning that certain internal state of the plant model is not directly observable by the controller.A second main contribution is a compositional technique that also explicitly takes partial observability into account. For this we develop a compositional al- gorithm that invokes the aforementioned strategy refinement algorithm repeat- edly. In particular the compositional algorithm performs a two step synthesis process for each relevant subset of the plant model: (1)computation of the local context which effectively forms a local overapproximation of theallowable behavior, (2) computation of the local controller which effectively forms a local underapproximation of the denyable behavior. We prove that upon termination of the algorithm the context and the controller signatures coincide and we ob- tain precisely the desired most permissive safety controller, yet constructed in an incremental, compositional fashion." @default.
• W175266890 created "2016-06-24" @default.
• W175266890 creator A5036828818 @default.
• W175266890 date "2012-11-21" @default.
• W175266890 modified "2023-09-24" @default.
• W175266890 title "Compositional synthesis of safety controllers" @default.
• W175266890 cites W103016522 @default.
• W175266890 cites W110490872 @default.
• W175266890 cites W11820374 @default.
• W175266890 cites W142385736 @default.
• W175266890 cites W14675611 @default.
• W175266890 cites W1481109946 @default.
• W175266890 cites W1481572045 @default.
• W175266890 cites W1484220609 @default.
• W175266890 cites W1490316040 @default.
• W175266890 cites W1497805930 @default.
• W175266890 cites W1497942136 @default.
• W175266890 cites W1499127572 @default.
• W175266890 cites W1499707311 @default.
• W175266890 cites W1500334348 @default.
• W175266890 cites W1500496891 @default.
• W175266890 cites W1500801183 @default.
• W175266890 cites W1501731334 @default.
• W175266890 cites W1502911509 @default.
• W175266890 cites W1503549080 @default.
• W175266890 cites W1505207814 @default.
• W175266890 cites W1507175145 @default.
• W175266890 cites W1508555652 @default.
• W175266890 cites W1511639568 @default.
• W175266890 cites W1512798271 @default.
• W175266890 cites W1515116860 @default.
• W175266890 cites W1517594834 @default.
• W175266890 cites W1517885429 @default.
• W175266890 cites W1520931975 @default.
• W175266890 cites W1530639567 @default.
• W175266890 cites W1531880542 @default.
• W175266890 cites W1537092771 @default.
• W175266890 cites W1540075982 @default.
• W175266890 cites W1540083798 @default.
• W175266890 cites W1541979851 @default.
• W175266890 cites W1543034107 @default.
• W175266890 cites W1545834943 @default.
• W175266890 cites W1549172988 @default.
• W175266890 cites W1554001271 @default.
• W175266890 cites W1554261912 @default.
• W175266890 cites W1564908027 @default.
• W175266890 cites W1568807415 @default.
• W175266890 cites W1569051713 @default.
• W175266890 cites W1569085112 @default.
• W175266890 cites W1569111752 @default.
• W175266890 cites W1570222255 @default.
• W175266890 cites W1570299937 @default.
• W175266890 cites W1574125125 @default.
• W175266890 cites W1576315473 @default.
• W175266890 cites W1581031502 @default.
• W175266890 cites W1582074078 @default.
• W175266890 cites W1583433945 @default.
• W175266890 cites W158588224 @default.
• W175266890 cites W1588015963 @default.
• W175266890 cites W1591148686 @default.
• W175266890 cites W1593780309 @default.
• W175266890 cites W1596546631 @default.
• W175266890 cites W1597386479 @default.
• W175266890 cites W1600318815 @default.
• W175266890 cites W1602073915 @default.
• W175266890 cites W1604786107 @default.
• W175266890 cites W1607610913 @default.
• W175266890 cites W1608875152 @default.
• W175266890 cites W1634005769 @default.
• W175266890 cites W163800598 @default.
• W175266890 cites W1675366856 @default.
• W175266890 cites W1686804760 @default.
• W175266890 cites W1723793393 @default.
• W175266890 cites W1737156267 @default.
• W175266890 cites W1748515470 @default.
• W175266890 cites W1774099697 @default.
• W175266890 cites W177980195 @default.
• W175266890 cites W179080812 @default.
• W175266890 cites W1852279314 @default.
• W175266890 cites W1855597481 @default.
• W175266890 cites W1857043531 @default.
• W175266890 cites W1887494250 @default.
• W175266890 cites W1898184382 @default.
• W175266890 cites W1926153983 @default.
• W175266890 cites W1934956391 @default.
• W175266890 cites W1944365733 @default.
• W175266890 cites W1995799881 @default.
• W175266890 cites W2007981995 @default.
• W175266890 cites W2016206563 @default.
• W175266890 cites W2040127143 @default.
• W175266890 cites W2048277227 @default.
• W175266890 cites W2059057465 @default.
• W175266890 cites W2075567596 @default.
• W175266890 cites W2097357100 @default.
• W175266890 cites W2099338469 @default.
• W175266890 cites W2102248562 @default.
• W175266890 cites W2102886900 @default.
• W175266890 cites W2104778110 @default.
• W175266890 cites W2106303294 @default.
• W175266890 cites W2106923343 @default.

• next