Matches in SemOpenAlex for { <https://semopenalex.org/work/W2895888924> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W2895888924 endingPage "1066" @default.
- W2895888924 startingPage "1059" @default.
- W2895888924 abstract "Abstract Fault diagnosis is a crucial and challenging task in the automatic control of complex systems, whose efficiency depends on a system property called diagnosability. Diagnosability describes the capability of a system to determine with certainty whether a fault has effectively occurred based on a sequence of observations. The diagnosability problem of discrete event systems has received considerable attention in the literature. However, up to now little work takes into account explicit time constraints during this analysis, which are however naturally present in real-life systems and thus cannot be neglected considering their impact on this property. In this paper, we first rephrase diagnosability definition for timed automata before showing the impact of time constraints on this property. Then we propose a new SMT-based approach to verify bounded time diagnosability on timed automata. The idea is to encode the sufficient and necessary condition for diagnosability in SMT. Finally, the experimental results are presented to show the efficiency of the SMT-based paradigm." @default.
- W2895888924 created "2018-10-26" @default.
- W2895888924 creator A5055773964 @default.
- W2895888924 creator A5057069790 @default.
- W2895888924 creator A5062313253 @default.
- W2895888924 date "2018-01-01" @default.
- W2895888924 modified "2023-10-06" @default.
- W2895888924 title "SMT-based Diagnosability Analysis of Real-Time Systems" @default.
- W2895888924 cites W107799027 @default.
- W2895888924 cites W136284023 @default.
- W2895888924 cites W1490230761 @default.
- W2895888924 cites W1496022251 @default.
- W2895888924 cites W1526031273 @default.
- W2895888924 cites W1544206522 @default.
- W2895888924 cites W1985787415 @default.
- W2895888924 cites W1995758721 @default.
- W2895888924 cites W2085848173 @default.
- W2895888924 cites W2090119576 @default.
- W2895888924 cites W2101508170 @default.
- W2895888924 cites W2101808924 @default.
- W2895888924 cites W2108309071 @default.
- W2895888924 cites W2147774669 @default.
- W2895888924 cites W2153669449 @default.
- W2895888924 cites W2426237568 @default.
- W2895888924 cites W33014818 @default.
- W2895888924 doi "https://doi.org/10.1016/j.ifacol.2018.09.721" @default.
- W2895888924 hasPublicationYear "2018" @default.
- W2895888924 type Work @default.
- W2895888924 sameAs 2895888924 @default.
- W2895888924 citedByCount "1" @default.
- W2895888924 countsByYear W28958889242019 @default.
- W2895888924 crossrefType "journal-article" @default.
- W2895888924 hasAuthorship W2895888924A5055773964 @default.
- W2895888924 hasAuthorship W2895888924A5057069790 @default.
- W2895888924 hasAuthorship W2895888924A5062313253 @default.
- W2895888924 hasBestOaLocation W28958889241 @default.
- W2895888924 hasConcept C41008148 @default.
- W2895888924 hasConcept C79403827 @default.
- W2895888924 hasConceptScore W2895888924C41008148 @default.
- W2895888924 hasConceptScore W2895888924C79403827 @default.
- W2895888924 hasIssue "24" @default.
- W2895888924 hasLocation W28958889241 @default.
- W2895888924 hasLocation W28958889242 @default.
- W2895888924 hasOpenAccess W2895888924 @default.
- W2895888924 hasPrimaryLocation W28958889241 @default.
- W2895888924 hasRelatedWork W1511031996 @default.
- W2895888924 hasRelatedWork W1519398290 @default.
- W2895888924 hasRelatedWork W1998320603 @default.
- W2895888924 hasRelatedWork W2015197026 @default.
- W2895888924 hasRelatedWork W2043941084 @default.
- W2895888924 hasRelatedWork W2056851291 @default.
- W2895888924 hasRelatedWork W2082877702 @default.
- W2895888924 hasRelatedWork W2363207358 @default.
- W2895888924 hasRelatedWork W2363789696 @default.
- W2895888924 hasRelatedWork W3164102603 @default.
- W2895888924 hasVolume "51" @default.
- W2895888924 isParatext "false" @default.
- W2895888924 isRetracted "false" @default.
- W2895888924 magId "2895888924" @default.
- W2895888924 workType "article" @default.