Matches in SemOpenAlex for { <https://semopenalex.org/work/W1607936103> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1607936103 abstract "We investigate a class of parametric timed automata, called lower bound/upper bound (L/U) automata, where each parameter occurs in the timing constraints either as a lower bound or as un upper bound. For such automata, we show that checking if for a parameter valuation (resp., all parameter valuations) there is an infinite accepting run is PSPACE-complete. We extend these results by allowing the specification of constraints on parameters as a linear system. We show that the considered decision problems are still PSPACE-complete, if the lower bound parameters are not compared to the upper bound parameters in the linear system, and are undecidable in general. Finally, we consider a parametric extension of MITL0,∞, and prove that the related satisfiability and model checking (w.r.t. L/U automata) problems are PSPACE-complete." @default.
- W1607936103 created "2016-06-24" @default.
- W1607936103 creator A5078894561 @default.
- W1607936103 creator A5086034910 @default.
- W1607936103 date "2007-01-01" @default.
- W1607936103 modified "2023-09-26" @default.
- W1607936103 title "Decision Problems for Lower/Upper Bound Parametric Timed Automata" @default.
- W1607936103 cites W1524248088 @default.
- W1607936103 cites W1529107813 @default.
- W1607936103 cites W1981808971 @default.
- W1607936103 cites W2025782239 @default.
- W1607936103 cites W2034124289 @default.
- W1607936103 cites W2048780543 @default.
- W1607936103 cites W2049696538 @default.
- W1607936103 cites W2085838366 @default.
- W1607936103 cites W2101508170 @default.
- W1607936103 cites W2124766457 @default.
- W1607936103 cites W2155953212 @default.
- W1607936103 cites W2166071597 @default.
- W1607936103 doi "https://doi.org/10.1007/978-3-540-73420-8_79" @default.
- W1607936103 hasPublicationYear "2007" @default.
- W1607936103 type Work @default.
- W1607936103 sameAs 1607936103 @default.
- W1607936103 citedByCount "2" @default.
- W1607936103 countsByYear W16079361032012 @default.
- W1607936103 crossrefType "book-chapter" @default.
- W1607936103 hasAuthorship W1607936103A5078894561 @default.
- W1607936103 hasAuthorship W1607936103A5086034910 @default.
- W1607936103 hasConcept C105795698 @default.
- W1607936103 hasConcept C110251889 @default.
- W1607936103 hasConcept C112505250 @default.
- W1607936103 hasConcept C11413529 @default.
- W1607936103 hasConcept C114614502 @default.
- W1607936103 hasConcept C115988155 @default.
- W1607936103 hasConcept C117251300 @default.
- W1607936103 hasConcept C118615104 @default.
- W1607936103 hasConcept C134306372 @default.
- W1607936103 hasConcept C153269930 @default.
- W1607936103 hasConcept C168773769 @default.
- W1607936103 hasConcept C179799912 @default.
- W1607936103 hasConcept C192034797 @default.
- W1607936103 hasConcept C197685441 @default.
- W1607936103 hasConcept C30788636 @default.
- W1607936103 hasConcept C33923547 @default.
- W1607936103 hasConcept C41008148 @default.
- W1607936103 hasConcept C77553402 @default.
- W1607936103 hasConcept C80444323 @default.
- W1607936103 hasConceptScore W1607936103C105795698 @default.
- W1607936103 hasConceptScore W1607936103C110251889 @default.
- W1607936103 hasConceptScore W1607936103C112505250 @default.
- W1607936103 hasConceptScore W1607936103C11413529 @default.
- W1607936103 hasConceptScore W1607936103C114614502 @default.
- W1607936103 hasConceptScore W1607936103C115988155 @default.
- W1607936103 hasConceptScore W1607936103C117251300 @default.
- W1607936103 hasConceptScore W1607936103C118615104 @default.
- W1607936103 hasConceptScore W1607936103C134306372 @default.
- W1607936103 hasConceptScore W1607936103C153269930 @default.
- W1607936103 hasConceptScore W1607936103C168773769 @default.
- W1607936103 hasConceptScore W1607936103C179799912 @default.
- W1607936103 hasConceptScore W1607936103C192034797 @default.
- W1607936103 hasConceptScore W1607936103C197685441 @default.
- W1607936103 hasConceptScore W1607936103C30788636 @default.
- W1607936103 hasConceptScore W1607936103C33923547 @default.
- W1607936103 hasConceptScore W1607936103C41008148 @default.
- W1607936103 hasConceptScore W1607936103C77553402 @default.
- W1607936103 hasConceptScore W1607936103C80444323 @default.
- W1607936103 hasLocation W16079361031 @default.
- W1607936103 hasOpenAccess W1607936103 @default.
- W1607936103 hasPrimaryLocation W16079361031 @default.
- W1607936103 hasRelatedWork W1607936103 @default.
- W1607936103 hasRelatedWork W1801993675 @default.
- W1607936103 hasRelatedWork W2076986528 @default.
- W1607936103 hasRelatedWork W2086440639 @default.
- W1607936103 hasRelatedWork W2109548990 @default.
- W1607936103 hasRelatedWork W2160690545 @default.
- W1607936103 hasRelatedWork W2530593621 @default.
- W1607936103 hasRelatedWork W2597532023 @default.
- W1607936103 hasRelatedWork W38902447 @default.
- W1607936103 hasRelatedWork W423891492 @default.
- W1607936103 isParatext "false" @default.
- W1607936103 isRetracted "false" @default.
- W1607936103 magId "1607936103" @default.
- W1607936103 workType "book-chapter" @default.