Matches in SemOpenAlex for { <https://semopenalex.org/work/W3111877809> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W3111877809 startingPage "17" @default.
- W3111877809 abstract "Updatable timed automata (UTA) are extensions of classical timed automata that allow special updates to clock variables, like x: = x - 1, x : = y + 2, etc., on transitions. Reachability for UTA is undecidable in general. Various subclasses with decidable reachability have been studied. A generic approach to UTA reachability consists of two phases: first, a static analysis of the automaton is performed to compute a set of clock constraints at each state; in the second phase, reachable sets of configurations, called zones, are enumerated. In this work, we improve the algorithm for the static analysis. Compared to the existing algorithm, our method computes smaller sets of constraints and guarantees termination for more UTA, making reachability faster and more effective. As the main application, we get an alternate proof of decidability and a more efficient algorithm for timed automata with bounded subtraction, a class of UTA widely used for modelling scheduling problems. We have implemented our procedure in the tool TChecker and conducted experiments that validate the benefits of our approach." @default.
- W3111877809 created "2020-12-21" @default.
- W3111877809 creator A5045410617 @default.
- W3111877809 creator A5047476786 @default.
- W3111877809 creator A5064833291 @default.
- W3111877809 date "2020-01-01" @default.
- W3111877809 modified "2023-09-27" @default.
- W3111877809 title "Reachability for Updatable Timed Automata Made Faster and More Effective" @default.
- W3111877809 doi "https://doi.org/10.4230/lipics.fsttcs.2020.47" @default.
- W3111877809 hasPublicationYear "2020" @default.
- W3111877809 type Work @default.
- W3111877809 sameAs 3111877809 @default.
- W3111877809 citedByCount "1" @default.
- W3111877809 countsByYear W31118778092022 @default.
- W3111877809 crossrefType "proceedings-article" @default.
- W3111877809 hasAuthorship W3111877809A5045410617 @default.
- W3111877809 hasAuthorship W3111877809A5047476786 @default.
- W3111877809 hasAuthorship W3111877809A5064833291 @default.
- W3111877809 hasConcept C112505250 @default.
- W3111877809 hasConcept C11413529 @default.
- W3111877809 hasConcept C118615104 @default.
- W3111877809 hasConcept C134306372 @default.
- W3111877809 hasConcept C136643341 @default.
- W3111877809 hasConcept C153269930 @default.
- W3111877809 hasConcept C177264268 @default.
- W3111877809 hasConcept C192034797 @default.
- W3111877809 hasConcept C199360897 @default.
- W3111877809 hasConcept C2777669093 @default.
- W3111877809 hasConcept C2780069185 @default.
- W3111877809 hasConcept C30788636 @default.
- W3111877809 hasConcept C33923547 @default.
- W3111877809 hasConcept C34388435 @default.
- W3111877809 hasConcept C41008148 @default.
- W3111877809 hasConcept C80444323 @default.
- W3111877809 hasConceptScore W3111877809C112505250 @default.
- W3111877809 hasConceptScore W3111877809C11413529 @default.
- W3111877809 hasConceptScore W3111877809C118615104 @default.
- W3111877809 hasConceptScore W3111877809C134306372 @default.
- W3111877809 hasConceptScore W3111877809C136643341 @default.
- W3111877809 hasConceptScore W3111877809C153269930 @default.
- W3111877809 hasConceptScore W3111877809C177264268 @default.
- W3111877809 hasConceptScore W3111877809C192034797 @default.
- W3111877809 hasConceptScore W3111877809C199360897 @default.
- W3111877809 hasConceptScore W3111877809C2777669093 @default.
- W3111877809 hasConceptScore W3111877809C2780069185 @default.
- W3111877809 hasConceptScore W3111877809C30788636 @default.
- W3111877809 hasConceptScore W3111877809C33923547 @default.
- W3111877809 hasConceptScore W3111877809C34388435 @default.
- W3111877809 hasConceptScore W3111877809C41008148 @default.
- W3111877809 hasConceptScore W3111877809C80444323 @default.
- W3111877809 hasLocation W31118778091 @default.
- W3111877809 hasOpenAccess W3111877809 @default.
- W3111877809 hasPrimaryLocation W31118778091 @default.
- W3111877809 hasRelatedWork W131413382 @default.
- W3111877809 hasRelatedWork W1484161352 @default.
- W3111877809 hasRelatedWork W1571820784 @default.
- W3111877809 hasRelatedWork W1601091540 @default.
- W3111877809 hasRelatedWork W1603082437 @default.
- W3111877809 hasRelatedWork W1880663844 @default.
- W3111877809 hasRelatedWork W2100426849 @default.
- W3111877809 hasRelatedWork W2121789641 @default.
- W3111877809 hasRelatedWork W2122077176 @default.
- W3111877809 hasRelatedWork W2251374851 @default.
- W3111877809 hasRelatedWork W2344990015 @default.
- W3111877809 hasRelatedWork W2386994686 @default.
- W3111877809 hasRelatedWork W2513871081 @default.
- W3111877809 hasRelatedWork W2594783168 @default.
- W3111877809 hasRelatedWork W2605667388 @default.
- W3111877809 hasRelatedWork W2904877609 @default.
- W3111877809 hasRelatedWork W2950940436 @default.
- W3111877809 hasRelatedWork W2998392699 @default.
- W3111877809 hasRelatedWork W6934591 @default.
- W3111877809 hasRelatedWork W1920168419 @default.
- W3111877809 isParatext "false" @default.
- W3111877809 isRetracted "false" @default.
- W3111877809 magId "3111877809" @default.
- W3111877809 workType "article" @default.