FRINK Linked Data Fragments server

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

• W3002811560 endingPage "101204" @default.
• W3002811560 startingPage "101204" @default.
• W3002811560 abstract "This paper studies the synthesis of controllers for discrete-time, continuous state stochastic systems subject to omega-regular specifications using finite-state abstractions. Omega-regular properties allow specifying complex behaviors and encompass, for example, linear temporal logic. First, we present a synthesis algorithm for minimizing or maximizing the probability that a discrete-time switched stochastic system with a finite number of modes satisfies an omega-regular property. Our approach relies on a finite-state abstraction of the underlying dynamics in the form of a Bounded-parameter Markov Decision Process arising from a finite partition of the system’s domain. Such Markovian abstractions allow for a range of probabilities of transition between states for each selected action representing a mode of the original system. Our method is built upon an analysis of the Cartesian product between the abstraction and a Deterministic Rabin Automaton encoding the specification of interest or its complement. Specifically, we show that synthesis can be decomposed into a qualitative problem, where the so-called greatest permanent winning components of the product automaton are created, and a quantitative problem, which requires maximizing the probability of reaching this component in the worst-case instantiation of the transition intervals. Additionally, we propose a quantitative metric for measuring the quality of the designed controller with respect to the continuous abstracted states and devise a specification-guided domain partition refinement heuristic with the objective of reaching a user-defined optimality target. Next, we present a method for computing control policies for stochastic systems with a continuous set of available inputs. In this case, the system is assumed to be affine in input and disturbance, and we derive a technique for solving the qualitative and quantitative problems in the resulting finite-state abstractions of such systems. For this, we introduce a new type of abstractions called Controlled Interval-valued Markov Chains. Specifically, we show that the greatest permanent winning component of such abstractions are found by appropriately partitioning the continuous input space in order to generate a bounded-parameter Markov decision process that accounts for all possible qualitative transitions between the finite set of states. Then, the problem of maximizing the probability of reaching these components is cast as a (possibly non-convex) optimization problem over the continuous set of available inputs. A metric of quality for the synthesized controller and a partition refinement scheme are described for this framework as well. Finally, we present a detailed case study." @default.
• W3002811560 created "2020-01-30" @default.
• W3002811560 creator A5010552433 @default.
• W3002811560 creator A5016607967 @default.
• W3002811560 creator A5082272271 @default.
• W3002811560 date "2022-08-01" @default.
• W3002811560 modified "2023-10-18" @default.
• W3002811560 title "Abstraction-based synthesis for stochastic systems with omega-regular objectives" @default.
• W3002811560 cites W1965024948 @default.
• W3002811560 cites W1975219867 @default.
• W3002811560 cites W1988217924 @default.
• W3002811560 cites W2023808162 @default.
• W3002811560 cites W2044323243 @default.
• W3002811560 cites W2058117005 @default.
• W3002811560 cites W2103931555 @default.
• W3002811560 cites W2150335178 @default.
• W3002811560 cites W2158345050 @default.
• W3002811560 cites W2305588532 @default.
• W3002811560 cites W2568766587 @default.
• W3002811560 cites W2798862166 @default.
• W3002811560 cites W2913279531 @default.
• W3002811560 doi "https://doi.org/10.1016/j.nahs.2022.101204" @default.
• W3002811560 hasPublicationYear "2022" @default.
• W3002811560 type Work @default.
• W3002811560 sameAs 3002811560 @default.
• W3002811560 citedByCount "11" @default.
• W3002811560 countsByYear W30028115602020 @default.
• W3002811560 countsByYear W30028115602021 @default.
• W3002811560 countsByYear W30028115602022 @default.
• W3002811560 countsByYear W30028115602023 @default.
• W3002811560 crossrefType "journal-article" @default.
• W3002811560 hasAuthorship W3002811560A5010552433 @default.
• W3002811560 hasAuthorship W3002811560A5016607967 @default.
• W3002811560 hasAuthorship W3002811560A5082272271 @default.
• W3002811560 hasBestOaLocation W30028115601 @default.
• W3002811560 hasConcept C105795698 @default.
• W3002811560 hasConcept C106189395 @default.
• W3002811560 hasConcept C112505250 @default.
• W3002811560 hasConcept C118615104 @default.
• W3002811560 hasConcept C119857082 @default.
• W3002811560 hasConcept C134306372 @default.
• W3002811560 hasConcept C159886148 @default.
• W3002811560 hasConcept C33923547 @default.
• W3002811560 hasConcept C34388435 @default.
• W3002811560 hasConcept C41008148 @default.
• W3002811560 hasConcept C65236422 @default.
• W3002811560 hasConcept C80444323 @default.
• W3002811560 hasConcept C98763669 @default.
• W3002811560 hasConceptScore W3002811560C105795698 @default.
• W3002811560 hasConceptScore W3002811560C106189395 @default.
• W3002811560 hasConceptScore W3002811560C112505250 @default.
• W3002811560 hasConceptScore W3002811560C118615104 @default.
• W3002811560 hasConceptScore W3002811560C119857082 @default.
• W3002811560 hasConceptScore W3002811560C134306372 @default.
• W3002811560 hasConceptScore W3002811560C159886148 @default.
• W3002811560 hasConceptScore W3002811560C33923547 @default.
• W3002811560 hasConceptScore W3002811560C34388435 @default.
• W3002811560 hasConceptScore W3002811560C41008148 @default.
• W3002811560 hasConceptScore W3002811560C65236422 @default.
• W3002811560 hasConceptScore W3002811560C80444323 @default.
• W3002811560 hasConceptScore W3002811560C98763669 @default.
• W3002811560 hasFunder F4320306076 @default.
• W3002811560 hasFunder F4320338279 @default.
• W3002811560 hasLocation W30028115601 @default.
• W3002811560 hasLocation W30028115602 @default.
• W3002811560 hasOpenAccess W3002811560 @default.
• W3002811560 hasPrimaryLocation W30028115601 @default.
• W3002811560 hasRelatedWork W1970298188 @default.
• W3002811560 hasRelatedWork W2026691440 @default.
• W3002811560 hasRelatedWork W2068961128 @default.
• W3002811560 hasRelatedWork W2104198943 @default.
• W3002811560 hasRelatedWork W2117282672 @default.
• W3002811560 hasRelatedWork W2156355394 @default.
• W3002811560 hasRelatedWork W2330493680 @default.
• W3002811560 hasRelatedWork W3148706714 @default.
• W3002811560 hasRelatedWork W3198596521 @default.
• W3002811560 hasRelatedWork W2113324011 @default.
• W3002811560 hasVolume "45" @default.
• W3002811560 isParatext "false" @default.
• W3002811560 isRetracted "false" @default.
• W3002811560 magId "3002811560" @default.
• W3002811560 workType "article" @default.