Matches in SemOpenAlex for { <https://semopenalex.org/work/W4313461223> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W4313461223 endingPage "1044" @default.
- W4313461223 startingPage "1039" @default.
- W4313461223 abstract "Automatically synthesizing controllers for continuous-state nonlinear stochastic systems, while giving guarantees on the probability of satisfying (infinite-horizon) temporal logic specifications crucially depends on abstractions with a quantified accuracy. For this similarity quantification, approximate stochastic simulation relations are often used. To handle the nonlinearity of the system effectively, we use finite-state abstractions based on piecewise-affine approximations together with tailored simulation relations that leverage the local affine structure. In the end, we synthesize a robust controller for a nonlinear stochastic Van der Pol oscillator." @default.
- W4313461223 created "2023-01-06" @default.
- W4313461223 creator A5006584942 @default.
- W4313461223 creator A5011200486 @default.
- W4313461223 creator A5025184822 @default.
- W4313461223 date "2023-01-01" @default.
- W4313461223 modified "2023-09-26" @default.
- W4313461223 title "Temporal Logic Control of Nonlinear Stochastic Systems Using a Piecewise-Affine Abstraction" @default.
- W4313461223 cites W1495907172 @default.
- W4313461223 cites W1540883472 @default.
- W4313461223 cites W1973013779 @default.
- W4313461223 cites W2131389047 @default.
- W4313461223 cites W2154679417 @default.
- W4313461223 cites W2594675090 @default.
- W4313461223 cites W2745094767 @default.
- W4313461223 cites W2906142339 @default.
- W4313461223 cites W2944522148 @default.
- W4313461223 cites W2963686733 @default.
- W4313461223 cites W3002811560 @default.
- W4313461223 cites W3025302876 @default.
- W4313461223 cites W3044908040 @default.
- W4313461223 cites W3141853660 @default.
- W4313461223 cites W3199195861 @default.
- W4313461223 cites W4285585399 @default.
- W4313461223 doi "https://doi.org/10.1109/lcsys.2022.3230765" @default.
- W4313461223 hasPublicationYear "2023" @default.
- W4313461223 type Work @default.
- W4313461223 citedByCount "0" @default.
- W4313461223 crossrefType "journal-article" @default.
- W4313461223 hasAuthorship W4313461223A5006584942 @default.
- W4313461223 hasAuthorship W4313461223A5011200486 @default.
- W4313461223 hasAuthorship W4313461223A5025184822 @default.
- W4313461223 hasConcept C111472728 @default.
- W4313461223 hasConcept C11413529 @default.
- W4313461223 hasConcept C119857082 @default.
- W4313461223 hasConcept C121332964 @default.
- W4313461223 hasConcept C124304363 @default.
- W4313461223 hasConcept C126255220 @default.
- W4313461223 hasConcept C134306372 @default.
- W4313461223 hasConcept C138885662 @default.
- W4313461223 hasConcept C153083717 @default.
- W4313461223 hasConcept C154945302 @default.
- W4313461223 hasConcept C158622935 @default.
- W4313461223 hasConcept C164660894 @default.
- W4313461223 hasConcept C202444582 @default.
- W4313461223 hasConcept C25016198 @default.
- W4313461223 hasConcept C2775924081 @default.
- W4313461223 hasConcept C33923547 @default.
- W4313461223 hasConcept C41008148 @default.
- W4313461223 hasConcept C47446073 @default.
- W4313461223 hasConcept C48103436 @default.
- W4313461223 hasConcept C62520636 @default.
- W4313461223 hasConcept C80444323 @default.
- W4313461223 hasConcept C92757383 @default.
- W4313461223 hasConcept C98010927 @default.
- W4313461223 hasConcept C98763669 @default.
- W4313461223 hasConceptScore W4313461223C111472728 @default.
- W4313461223 hasConceptScore W4313461223C11413529 @default.
- W4313461223 hasConceptScore W4313461223C119857082 @default.
- W4313461223 hasConceptScore W4313461223C121332964 @default.
- W4313461223 hasConceptScore W4313461223C124304363 @default.
- W4313461223 hasConceptScore W4313461223C126255220 @default.
- W4313461223 hasConceptScore W4313461223C134306372 @default.
- W4313461223 hasConceptScore W4313461223C138885662 @default.
- W4313461223 hasConceptScore W4313461223C153083717 @default.
- W4313461223 hasConceptScore W4313461223C154945302 @default.
- W4313461223 hasConceptScore W4313461223C158622935 @default.
- W4313461223 hasConceptScore W4313461223C164660894 @default.
- W4313461223 hasConceptScore W4313461223C202444582 @default.
- W4313461223 hasConceptScore W4313461223C25016198 @default.
- W4313461223 hasConceptScore W4313461223C2775924081 @default.
- W4313461223 hasConceptScore W4313461223C33923547 @default.
- W4313461223 hasConceptScore W4313461223C41008148 @default.
- W4313461223 hasConceptScore W4313461223C47446073 @default.
- W4313461223 hasConceptScore W4313461223C48103436 @default.
- W4313461223 hasConceptScore W4313461223C62520636 @default.
- W4313461223 hasConceptScore W4313461223C80444323 @default.
- W4313461223 hasConceptScore W4313461223C92757383 @default.
- W4313461223 hasConceptScore W4313461223C98010927 @default.
- W4313461223 hasConceptScore W4313461223C98763669 @default.
- W4313461223 hasLocation W43134612231 @default.
- W4313461223 hasOpenAccess W4313461223 @default.
- W4313461223 hasPrimaryLocation W43134612231 @default.
- W4313461223 hasRelatedWork W1497573972 @default.
- W4313461223 hasRelatedWork W1511304587 @default.
- W4313461223 hasRelatedWork W2143909814 @default.
- W4313461223 hasRelatedWork W2161728539 @default.
- W4313461223 hasRelatedWork W22602486 @default.
- W4313461223 hasRelatedWork W2370092331 @default.
- W4313461223 hasRelatedWork W2380536301 @default.
- W4313461223 hasRelatedWork W2807138496 @default.
- W4313461223 hasRelatedWork W2889085306 @default.
- W4313461223 hasRelatedWork W3216885170 @default.
- W4313461223 hasVolume "7" @default.
- W4313461223 isParatext "false" @default.
- W4313461223 isRetracted "false" @default.
- W4313461223 workType "article" @default.