Matches in SemOpenAlex for { <https://semopenalex.org/work/W2247994230> ?p ?o ?g. }
- W2247994230 endingPage "17" @default.
- W2247994230 startingPage "3" @default.
- W2247994230 abstract "In this paper, we briefly examine the recent developments in artificial pancreas controllers, that automate the delivery of insulin to patients with type-1 diabetes. We argue the need for offline and online runtime verification for these devices, and discuss challenges that make verification hard. Next, we examine a promising simulation-based falsification approach based on robustness semantics of temporal logics. These ideas are implemented in the tool S-Taliro that automatically searches for violations of metric temporal logic (MTL) requirements for Simulink(tm)/Stateflow(tm) models. We illustrate the use of S-Taliro for finding interesting property violations in a PID-based hybrid closed loop control system." @default.
- W2247994230 created "2016-06-24" @default.
- W2247994230 creator A5032859757 @default.
- W2247994230 creator A5058732387 @default.
- W2247994230 creator A5063584164 @default.
- W2247994230 creator A5090221397 @default.
- W2247994230 date "2015-01-01" @default.
- W2247994230 modified "2023-10-14" @default.
- W2247994230 title "Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification" @default.
- W2247994230 cites W1424654272 @default.
- W2247994230 cites W1480909796 @default.
- W2247994230 cites W1480933022 @default.
- W2247994230 cites W1533557569 @default.
- W2247994230 cites W1548600288 @default.
- W2247994230 cites W1590804833 @default.
- W2247994230 cites W1591241081 @default.
- W2247994230 cites W1607126000 @default.
- W2247994230 cites W189973795 @default.
- W2247994230 cites W1964693647 @default.
- W2247994230 cites W1966224165 @default.
- W2247994230 cites W1979173973 @default.
- W2247994230 cites W198216027 @default.
- W2247994230 cites W1986104405 @default.
- W2247994230 cites W1992777946 @default.
- W2247994230 cites W2001273251 @default.
- W2247994230 cites W2001875222 @default.
- W2247994230 cites W2021067095 @default.
- W2247994230 cites W2025988694 @default.
- W2247994230 cites W2026629052 @default.
- W2247994230 cites W2027578932 @default.
- W2247994230 cites W2039287452 @default.
- W2247994230 cites W2047260582 @default.
- W2247994230 cites W2048701218 @default.
- W2247994230 cites W2049399166 @default.
- W2247994230 cites W2062024806 @default.
- W2247994230 cites W2080932760 @default.
- W2247994230 cites W2084859862 @default.
- W2247994230 cites W2093227835 @default.
- W2247994230 cites W2101160802 @default.
- W2247994230 cites W2107962575 @default.
- W2247994230 cites W2112656403 @default.
- W2247994230 cites W2114131699 @default.
- W2247994230 cites W2125216896 @default.
- W2247994230 cites W2126317824 @default.
- W2247994230 cites W2129995532 @default.
- W2247994230 cites W2131399618 @default.
- W2247994230 cites W2132228725 @default.
- W2247994230 cites W2134017961 @default.
- W2247994230 cites W2144785271 @default.
- W2247994230 cites W2147750301 @default.
- W2247994230 cites W2153803621 @default.
- W2247994230 cites W2154224420 @default.
- W2247994230 cites W2154410696 @default.
- W2247994230 cites W2160052863 @default.
- W2247994230 cites W2166280160 @default.
- W2247994230 cites W2167830353 @default.
- W2247994230 cites W2171613573 @default.
- W2247994230 cites W2176215692 @default.
- W2247994230 cites W2312288198 @default.
- W2247994230 cites W618136976 @default.
- W2247994230 doi "https://doi.org/10.1007/978-3-319-23820-3_1" @default.
- W2247994230 hasPublicationYear "2015" @default.
- W2247994230 type Work @default.
- W2247994230 sameAs 2247994230 @default.
- W2247994230 citedByCount "19" @default.
- W2247994230 countsByYear W22479942302017 @default.
- W2247994230 countsByYear W22479942302018 @default.
- W2247994230 countsByYear W22479942302019 @default.
- W2247994230 countsByYear W22479942302020 @default.
- W2247994230 countsByYear W22479942302021 @default.
- W2247994230 countsByYear W22479942302022 @default.
- W2247994230 crossrefType "book-chapter" @default.
- W2247994230 hasAuthorship W2247994230A5032859757 @default.
- W2247994230 hasAuthorship W2247994230A5058732387 @default.
- W2247994230 hasAuthorship W2247994230A5063584164 @default.
- W2247994230 hasAuthorship W2247994230A5090221397 @default.
- W2247994230 hasBestOaLocation W22479942302 @default.
- W2247994230 hasConcept C104317684 @default.
- W2247994230 hasConcept C111498074 @default.
- W2247994230 hasConcept C115903868 @default.
- W2247994230 hasConcept C134018914 @default.
- W2247994230 hasConcept C149635348 @default.
- W2247994230 hasConcept C154945302 @default.
- W2247994230 hasConcept C184337299 @default.
- W2247994230 hasConcept C185592680 @default.
- W2247994230 hasConcept C199360897 @default.
- W2247994230 hasConcept C202973057 @default.
- W2247994230 hasConcept C25016198 @default.
- W2247994230 hasConcept C2779752788 @default.
- W2247994230 hasConcept C2780353609 @default.
- W2247994230 hasConcept C2780365114 @default.
- W2247994230 hasConcept C2781232474 @default.
- W2247994230 hasConcept C41008148 @default.
- W2247994230 hasConcept C55493867 @default.
- W2247994230 hasConcept C555293320 @default.
- W2247994230 hasConcept C63479239 @default.
- W2247994230 hasConcept C71924100 @default.
- W2247994230 hasConceptScore W2247994230C104317684 @default.