Matches in SemOpenAlex for { <https://semopenalex.org/work/W4313404402> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W4313404402 endingPage "12946" @default.
- W4313404402 startingPage "12946" @default.
- W4313404402 abstract "The language inclusion checking of timed automata is described as the following: given two timed automata M and N, where M is a system model and N is a specification model (which represents the properties that the system needs to satisfy), check whether the language of M is included in the language of N. The language inclusion checking of timed automata can detect whether a system model satisfies a given property under the time constraints. There exist excellent studies on verifying real-time systems using timed automata. However, there is no thorough method of timed automata language inclusion checking for real-life systems. Therefore, this paper proposes a language inclusion checking method of timed automata based on the property patterns. On the one hand, we summarize commonly used property patterns described by timed automata, which can guide people to model the properties with time constraints. On the other hand, the system model M often contains a large number of events, but in general, the property N only needs to pay attention to the sequences and time limits of a few events. Therefore, the timed automata language inclusion checking algorithm is improved so that only the concerned events are required. Our method is applied to a water disposal system and it is also evaluated using benchmark systems. The determinization problem of timed automata is undecidable, which may lead to an infinite state space. However, our method is still practical because the properties established according to property patterns are often deterministic." @default.
- W4313404402 created "2023-01-06" @default.
- W4313404402 creator A5056827411 @default.
- W4313404402 creator A5066792926 @default.
- W4313404402 creator A5068773146 @default.
- W4313404402 creator A5075165633 @default.
- W4313404402 creator A5080041548 @default.
- W4313404402 creator A5084031400 @default.
- W4313404402 date "2022-12-16" @default.
- W4313404402 modified "2023-10-09" @default.
- W4313404402 title "Language Inclusion Checking of Timed Automata Based on Property Patterns" @default.
- W4313404402 cites W1490345466 @default.
- W4313404402 cites W1532054750 @default.
- W4313404402 cites W1640994929 @default.
- W4313404402 cites W1976080895 @default.
- W4313404402 cites W1996832037 @default.
- W4313404402 cites W2000947342 @default.
- W4313404402 cites W2070002955 @default.
- W4313404402 cites W2083964867 @default.
- W4313404402 cites W2101508170 @default.
- W4313404402 cites W2103882301 @default.
- W4313404402 cites W2132976180 @default.
- W4313404402 cites W2176849474 @default.
- W4313404402 cites W2244580467 @default.
- W4313404402 cites W2507577800 @default.
- W4313404402 cites W267491497 @default.
- W4313404402 cites W2764294725 @default.
- W4313404402 cites W2766694496 @default.
- W4313404402 cites W2804291498 @default.
- W4313404402 cites W2809261593 @default.
- W4313404402 cites W2884095124 @default.
- W4313404402 cites W2947515695 @default.
- W4313404402 cites W2954656065 @default.
- W4313404402 cites W2961481235 @default.
- W4313404402 cites W3023215056 @default.
- W4313404402 cites W3093832379 @default.
- W4313404402 cites W3175524290 @default.
- W4313404402 cites W3194404527 @default.
- W4313404402 cites W4230523041 @default.
- W4313404402 cites W4280582832 @default.
- W4313404402 doi "https://doi.org/10.3390/app122412946" @default.
- W4313404402 hasPublicationYear "2022" @default.
- W4313404402 type Work @default.
- W4313404402 citedByCount "0" @default.
- W4313404402 crossrefType "journal-article" @default.
- W4313404402 hasAuthorship W4313404402A5056827411 @default.
- W4313404402 hasAuthorship W4313404402A5066792926 @default.
- W4313404402 hasAuthorship W4313404402A5068773146 @default.
- W4313404402 hasAuthorship W4313404402A5075165633 @default.
- W4313404402 hasAuthorship W4313404402A5080041548 @default.
- W4313404402 hasAuthorship W4313404402A5084031400 @default.
- W4313404402 hasBestOaLocation W43134044021 @default.
- W4313404402 hasConcept C110251889 @default.
- W4313404402 hasConcept C111472728 @default.
- W4313404402 hasConcept C112505250 @default.
- W4313404402 hasConcept C138885662 @default.
- W4313404402 hasConcept C153269930 @default.
- W4313404402 hasConcept C189950617 @default.
- W4313404402 hasConcept C192034797 @default.
- W4313404402 hasConcept C199360897 @default.
- W4313404402 hasConcept C30788636 @default.
- W4313404402 hasConcept C41008148 @default.
- W4313404402 hasConcept C80444323 @default.
- W4313404402 hasConceptScore W4313404402C110251889 @default.
- W4313404402 hasConceptScore W4313404402C111472728 @default.
- W4313404402 hasConceptScore W4313404402C112505250 @default.
- W4313404402 hasConceptScore W4313404402C138885662 @default.
- W4313404402 hasConceptScore W4313404402C153269930 @default.
- W4313404402 hasConceptScore W4313404402C189950617 @default.
- W4313404402 hasConceptScore W4313404402C192034797 @default.
- W4313404402 hasConceptScore W4313404402C199360897 @default.
- W4313404402 hasConceptScore W4313404402C30788636 @default.
- W4313404402 hasConceptScore W4313404402C41008148 @default.
- W4313404402 hasConceptScore W4313404402C80444323 @default.
- W4313404402 hasFunder F4320321001 @default.
- W4313404402 hasIssue "24" @default.
- W4313404402 hasLocation W43134044021 @default.
- W4313404402 hasLocation W43134044022 @default.
- W4313404402 hasOpenAccess W4313404402 @default.
- W4313404402 hasPrimaryLocation W43134044021 @default.
- W4313404402 hasRelatedWork W1592102986 @default.
- W4313404402 hasRelatedWork W1730082949 @default.
- W4313404402 hasRelatedWork W2059675458 @default.
- W4313404402 hasRelatedWork W2086632956 @default.
- W4313404402 hasRelatedWork W2170722154 @default.
- W4313404402 hasRelatedWork W2282799513 @default.
- W4313404402 hasRelatedWork W2888756159 @default.
- W4313404402 hasRelatedWork W2951811830 @default.
- W4313404402 hasRelatedWork W3103084107 @default.
- W4313404402 hasRelatedWork W4313404402 @default.
- W4313404402 hasVolume "12" @default.
- W4313404402 isParatext "false" @default.
- W4313404402 isRetracted "false" @default.
- W4313404402 workType "article" @default.