Matches in SemOpenAlex for { <https://semopenalex.org/work/W4285051710> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W4285051710 abstract "The problem of inclusion of the language accepted by timed automaton $A$ (e.g., the implementation) in the language accepted by $B$ (e.g., the specification) is, in general, undecidable in the class of non-deterministic timed automata. In order to tackle this disturbing problem we show how to effectively construct deterministic timed automata $A_d$ and $B_d$ that are discretizations (digitizations) of the non-deterministic timed automata $A$ and $B$ and differ from the original automata by at most $frac{1}{6}$ time units on each occurrence of an event. Language inclusion in the discretized timed automata is decidable and it is also decidable when instead of $mathfrak{L}(B)$ we consider $overline{mathfrak{L}(B)}$, the closure of ${mathfrak{L}(B)}$ in the Euclidean topology: if $mathfrak{L}(A_d) nsubseteq mathfrak{L}(B_d)$ then $mathfrak{L}(A) nsubseteq mathfrak{L}(B)$ and if $mathfrak{L}(A_d) subseteq mathfrak{L}(B_d)$ then $mathfrak{L}(A) subseteq overline{mathfrak{L}(B)}$. Moreover, if $mathfrak{L}(A_d) nsubseteq mathfrak{L}(B_d)$ we would like to know how far away is $mathfrak{L}(A_d)$ from being included in $mathfrak{L}(B_d)$. For that matter we define the distance between the languages of timed automata as the limit on how far away a timed trace of one timed automaton can be from the closest timed trace of the other timed automaton. We then show how one can decide under some restriction whether the distance between two timed automata is finite or infinite." @default.
- W4285051710 created "2022-07-13" @default.
- W4285051710 creator A5014949895 @default.
- W4285051710 date "2019-09-23" @default.
- W4285051710 modified "2023-09-30" @default.
- W4285051710 title "On the Distance between Timed Automata" @default.
- W4285051710 doi "https://doi.org/10.48550/arxiv.1909.10489" @default.
- W4285051710 hasPublicationYear "2019" @default.
- W4285051710 type Work @default.
- W4285051710 citedByCount "0" @default.
- W4285051710 crossrefType "posted-content" @default.
- W4285051710 hasAuthorship W4285051710A5014949895 @default.
- W4285051710 hasBestOaLocation W42850517101 @default.
- W4285051710 hasConcept C112505250 @default.
- W4285051710 hasConcept C11413529 @default.
- W4285051710 hasConcept C114614502 @default.
- W4285051710 hasConcept C116248031 @default.
- W4285051710 hasConcept C118615104 @default.
- W4285051710 hasConcept C138885662 @default.
- W4285051710 hasConcept C146834321 @default.
- W4285051710 hasConcept C153269930 @default.
- W4285051710 hasConcept C158008952 @default.
- W4285051710 hasConcept C162324750 @default.
- W4285051710 hasConcept C192034797 @default.
- W4285051710 hasConcept C30788636 @default.
- W4285051710 hasConcept C33923547 @default.
- W4285051710 hasConcept C34447519 @default.
- W4285051710 hasConcept C41008148 @default.
- W4285051710 hasConcept C41895202 @default.
- W4285051710 hasConcept C75291252 @default.
- W4285051710 hasConcept C80444323 @default.
- W4285051710 hasConceptScore W4285051710C112505250 @default.
- W4285051710 hasConceptScore W4285051710C11413529 @default.
- W4285051710 hasConceptScore W4285051710C114614502 @default.
- W4285051710 hasConceptScore W4285051710C116248031 @default.
- W4285051710 hasConceptScore W4285051710C118615104 @default.
- W4285051710 hasConceptScore W4285051710C138885662 @default.
- W4285051710 hasConceptScore W4285051710C146834321 @default.
- W4285051710 hasConceptScore W4285051710C153269930 @default.
- W4285051710 hasConceptScore W4285051710C158008952 @default.
- W4285051710 hasConceptScore W4285051710C162324750 @default.
- W4285051710 hasConceptScore W4285051710C192034797 @default.
- W4285051710 hasConceptScore W4285051710C30788636 @default.
- W4285051710 hasConceptScore W4285051710C33923547 @default.
- W4285051710 hasConceptScore W4285051710C34447519 @default.
- W4285051710 hasConceptScore W4285051710C41008148 @default.
- W4285051710 hasConceptScore W4285051710C41895202 @default.
- W4285051710 hasConceptScore W4285051710C75291252 @default.
- W4285051710 hasConceptScore W4285051710C80444323 @default.
- W4285051710 hasLocation W42850517101 @default.
- W4285051710 hasOpenAccess W4285051710 @default.
- W4285051710 hasPrimaryLocation W42850517101 @default.
- W4285051710 hasRelatedWork W1563786920 @default.
- W4285051710 hasRelatedWork W1573391640 @default.
- W4285051710 hasRelatedWork W1964178654 @default.
- W4285051710 hasRelatedWork W2085838366 @default.
- W4285051710 hasRelatedWork W2613211585 @default.
- W4285051710 hasRelatedWork W2949426464 @default.
- W4285051710 hasRelatedWork W2974209228 @default.
- W4285051710 hasRelatedWork W4238085538 @default.
- W4285051710 hasRelatedWork W4297908638 @default.
- W4285051710 hasRelatedWork W3023170743 @default.
- W4285051710 isParatext "false" @default.
- W4285051710 isRetracted "false" @default.
- W4285051710 workType "article" @default.