Matches in SemOpenAlex for { <https://semopenalex.org/work/W4320235524> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W4320235524 abstract "In this paper, we propose a data-driven approach to formally verify the safety of (potentially) unknown discrete-time continuous-space stochastic systems. The proposed framework is based on a notion of barrier certificates together with data collected from trajectories of unknown systems. We first reformulate the barrier-based safety verification as a robust convex problem (RCP). Solving the acquired RCP is hard in general because not only the state of the system lives in a continuous set, but also and more problematic, the unknown model appears in one of the constraints of RCP. Instead, we leverage a finite number of data, and accordingly, the RCP is casted as a scenario convex problem (SCP). We then relate the optimizer of the SCP to that of the RCP, and consequently, we provide a safety guarantee over the unknown stochastic system with a priori guaranteed confidence. We apply our approach to an unknown room temperature system by collecting sampled data from trajectories of the system and verify formally that temperature of the room lies in a comfort zone for a finite time horizon with a desired confidence." @default.
- W4320235524 created "2023-02-13" @default.
- W4320235524 creator A5000818428 @default.
- W4320235524 creator A5011080021 @default.
- W4320235524 creator A5017334634 @default.
- W4320235524 creator A5030109984 @default.
- W4320235524 date "2021-12-23" @default.
- W4320235524 modified "2023-09-23" @default.
- W4320235524 title "Data-driven Safety Verification of Stochastic Systems via Barrier Certificates" @default.
- W4320235524 doi "https://doi.org/10.48550/arxiv.2112.12709" @default.
- W4320235524 hasPublicationYear "2021" @default.
- W4320235524 type Work @default.
- W4320235524 citedByCount "0" @default.
- W4320235524 crossrefType "posted-content" @default.
- W4320235524 hasAuthorship W4320235524A5000818428 @default.
- W4320235524 hasAuthorship W4320235524A5011080021 @default.
- W4320235524 hasAuthorship W4320235524A5017334634 @default.
- W4320235524 hasAuthorship W4320235524A5030109984 @default.
- W4320235524 hasBestOaLocation W43202355241 @default.
- W4320235524 hasConcept C111472728 @default.
- W4320235524 hasConcept C112680207 @default.
- W4320235524 hasConcept C126255220 @default.
- W4320235524 hasConcept C138885662 @default.
- W4320235524 hasConcept C153083717 @default.
- W4320235524 hasConcept C154945302 @default.
- W4320235524 hasConcept C157972887 @default.
- W4320235524 hasConcept C177264268 @default.
- W4320235524 hasConcept C199360897 @default.
- W4320235524 hasConcept C2524010 @default.
- W4320235524 hasConcept C33923547 @default.
- W4320235524 hasConcept C41008148 @default.
- W4320235524 hasConcept C75553542 @default.
- W4320235524 hasConceptScore W4320235524C111472728 @default.
- W4320235524 hasConceptScore W4320235524C112680207 @default.
- W4320235524 hasConceptScore W4320235524C126255220 @default.
- W4320235524 hasConceptScore W4320235524C138885662 @default.
- W4320235524 hasConceptScore W4320235524C153083717 @default.
- W4320235524 hasConceptScore W4320235524C154945302 @default.
- W4320235524 hasConceptScore W4320235524C157972887 @default.
- W4320235524 hasConceptScore W4320235524C177264268 @default.
- W4320235524 hasConceptScore W4320235524C199360897 @default.
- W4320235524 hasConceptScore W4320235524C2524010 @default.
- W4320235524 hasConceptScore W4320235524C33923547 @default.
- W4320235524 hasConceptScore W4320235524C41008148 @default.
- W4320235524 hasConceptScore W4320235524C75553542 @default.
- W4320235524 hasLocation W43202355241 @default.
- W4320235524 hasLocation W43202355242 @default.
- W4320235524 hasOpenAccess W4320235524 @default.
- W4320235524 hasPrimaryLocation W43202355241 @default.
- W4320235524 hasRelatedWork W1983983769 @default.
- W4320235524 hasRelatedWork W2233843222 @default.
- W4320235524 hasRelatedWork W2518732165 @default.
- W4320235524 hasRelatedWork W2589063463 @default.
- W4320235524 hasRelatedWork W2747249330 @default.
- W4320235524 hasRelatedWork W2765477954 @default.
- W4320235524 hasRelatedWork W2992250528 @default.
- W4320235524 hasRelatedWork W3003165794 @default.
- W4320235524 hasRelatedWork W4287899549 @default.
- W4320235524 hasRelatedWork W4297899479 @default.
- W4320235524 isParatext "false" @default.
- W4320235524 isRetracted "false" @default.
- W4320235524 workType "article" @default.