Matches in SemOpenAlex for { <https://semopenalex.org/work/W3022362085> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W3022362085 abstract "The use of Neural Network (NN)-based controllers has attracted significant attention in recent years. Yet, due to the complexity and non-linearity of such NN-based cyber-physical systems (CPS), existing verification techniques that employ exhaustive state-space search, face significant scalability challenges; this effectively limits their use for analysis of real-world CPS. In this work, we focus on the use of Statistical Model Checking (SMC) for verifying complex NN-controlled CPS. Using an SMC approach based on Clopper-Pearson confidence levels, we verify from samples specifications that are captured by Signal Temporal Logic (STL) formulas. Specifically, we consider three CPS benchmarks with varying levels of plant and controller complexity, as well as the type of considered STL properties - reachability property for a mountain car, safety property for a bipedal robot, and control performance of the closed-loop magnet levitation system. On these benchmarks, we show that SMC methods can be successfully used to provide high-assurance for learning-based CPS." @default.
- W3022362085 created "2020-05-13" @default.
- W3022362085 creator A5079594267 @default.
- W3022362085 creator A5086742584 @default.
- W3022362085 creator A5087804377 @default.
- W3022362085 date "2020-04-17" @default.
- W3022362085 modified "2023-09-24" @default.
- W3022362085 title "Statistical verification of learning-based cyber-physical systems" @default.
- W3022362085 cites W1560643704 @default.
- W3022362085 cites W2175304969 @default.
- W3022362085 cites W2543296129 @default.
- W3022362085 cites W2594877703 @default.
- W3022362085 cites W2606486293 @default.
- W3022362085 cites W2787596386 @default.
- W3022362085 cites W2791251367 @default.
- W3022362085 cites W2899116309 @default.
- W3022362085 cites W2963186766 @default.
- W3022362085 cites W2963231286 @default.
- W3022362085 cites W2964130946 @default.
- W3022362085 cites W2965660219 @default.
- W3022362085 cites W2980274526 @default.
- W3022362085 doi "https://doi.org/10.1145/3365365.3382209" @default.
- W3022362085 hasPublicationYear "2020" @default.
- W3022362085 type Work @default.
- W3022362085 sameAs 3022362085 @default.
- W3022362085 citedByCount "14" @default.
- W3022362085 countsByYear W30223620852020 @default.
- W3022362085 countsByYear W30223620852021 @default.
- W3022362085 countsByYear W30223620852022 @default.
- W3022362085 countsByYear W30223620852023 @default.
- W3022362085 crossrefType "proceedings-article" @default.
- W3022362085 hasAuthorship W3022362085A5079594267 @default.
- W3022362085 hasAuthorship W3022362085A5086742584 @default.
- W3022362085 hasAuthorship W3022362085A5087804377 @default.
- W3022362085 hasConcept C107457646 @default.
- W3022362085 hasConcept C111919701 @default.
- W3022362085 hasConcept C154945302 @default.
- W3022362085 hasConcept C179768478 @default.
- W3022362085 hasConcept C2982736386 @default.
- W3022362085 hasConcept C38652104 @default.
- W3022362085 hasConcept C41008148 @default.
- W3022362085 hasConceptScore W3022362085C107457646 @default.
- W3022362085 hasConceptScore W3022362085C111919701 @default.
- W3022362085 hasConceptScore W3022362085C154945302 @default.
- W3022362085 hasConceptScore W3022362085C179768478 @default.
- W3022362085 hasConceptScore W3022362085C2982736386 @default.
- W3022362085 hasConceptScore W3022362085C38652104 @default.
- W3022362085 hasConceptScore W3022362085C41008148 @default.
- W3022362085 hasFunder F4320309856 @default.
- W3022362085 hasFunder F4320338279 @default.
- W3022362085 hasFunder F4320338298 @default.
- W3022362085 hasLocation W30223620851 @default.
- W3022362085 hasOpenAccess W3022362085 @default.
- W3022362085 hasPrimaryLocation W30223620851 @default.
- W3022362085 hasRelatedWork W2213739138 @default.
- W3022362085 hasRelatedWork W2467569328 @default.
- W3022362085 hasRelatedWork W2763191583 @default.
- W3022362085 hasRelatedWork W2785394676 @default.
- W3022362085 hasRelatedWork W2803684864 @default.
- W3022362085 hasRelatedWork W2910804944 @default.
- W3022362085 hasRelatedWork W2920905906 @default.
- W3022362085 hasRelatedWork W3025006986 @default.
- W3022362085 hasRelatedWork W3082119981 @default.
- W3022362085 hasRelatedWork W4253619374 @default.
- W3022362085 isParatext "false" @default.
- W3022362085 isRetracted "false" @default.
- W3022362085 magId "3022362085" @default.
- W3022362085 workType "article" @default.