Matches in SemOpenAlex for { <https://semopenalex.org/work/W144557296> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W144557296 endingPage "15" @default.
- W144557296 startingPage "1" @default.
- W144557296 abstract "Quantifying the robustness of a real-time system consists in measuring the maximum extension of the timing delays such that the system still satisfies its specification. In this work, we introduce a more precise notion of robustness, measuring the allowed variability of the timing delays in their neighbourhood. We consider here the formalism of time Petri nets extended with inhibitor arcs. We use the inverse method, initially defined for timed automata. Its output, in the form of a parametric linear constraint relating all timing delays, allows the designer to identify the delays allowing the least variability. We also exhibit a condition and a construction for rendering robust a non-robust system." @default.
- W144557296 created "2016-06-24" @default.
- W144557296 creator A5051227207 @default.
- W144557296 creator A5075705807 @default.
- W144557296 creator A5084807183 @default.
- W144557296 date "2013-01-01" @default.
- W144557296 modified "2023-10-14" @default.
- W144557296 title "Precise Robustness Analysis of Time Petri Nets with Inhibitor Arcs" @default.
- W144557296 cites W153563022 @default.
- W144557296 cites W1566891394 @default.
- W144557296 cites W1601091540 @default.
- W144557296 cites W2101508170 @default.
- W144557296 cites W2158127052 @default.
- W144557296 cites W2172175633 @default.
- W144557296 cites W2196692106 @default.
- W144557296 cites W2506909247 @default.
- W144557296 cites W64121912 @default.
- W144557296 doi "https://doi.org/10.1007/978-3-642-40229-6_1" @default.
- W144557296 hasPublicationYear "2013" @default.
- W144557296 type Work @default.
- W144557296 sameAs 144557296 @default.
- W144557296 citedByCount "5" @default.
- W144557296 countsByYear W1445572962012 @default.
- W144557296 countsByYear W1445572962014 @default.
- W144557296 countsByYear W1445572962015 @default.
- W144557296 countsByYear W1445572962016 @default.
- W144557296 countsByYear W1445572962023 @default.
- W144557296 crossrefType "book-chapter" @default.
- W144557296 hasAuthorship W144557296A5051227207 @default.
- W144557296 hasAuthorship W144557296A5075705807 @default.
- W144557296 hasAuthorship W144557296A5084807183 @default.
- W144557296 hasConcept C104317684 @default.
- W144557296 hasConcept C105795698 @default.
- W144557296 hasConcept C112505250 @default.
- W144557296 hasConcept C11413529 @default.
- W144557296 hasConcept C117251300 @default.
- W144557296 hasConcept C120314980 @default.
- W144557296 hasConcept C154945302 @default.
- W144557296 hasConcept C185592680 @default.
- W144557296 hasConcept C197551870 @default.
- W144557296 hasConcept C205711294 @default.
- W144557296 hasConcept C33923547 @default.
- W144557296 hasConcept C38677869 @default.
- W144557296 hasConcept C41008148 @default.
- W144557296 hasConcept C55493867 @default.
- W144557296 hasConcept C63479239 @default.
- W144557296 hasConcept C79403827 @default.
- W144557296 hasConcept C80444323 @default.
- W144557296 hasConceptScore W144557296C104317684 @default.
- W144557296 hasConceptScore W144557296C105795698 @default.
- W144557296 hasConceptScore W144557296C112505250 @default.
- W144557296 hasConceptScore W144557296C11413529 @default.
- W144557296 hasConceptScore W144557296C117251300 @default.
- W144557296 hasConceptScore W144557296C120314980 @default.
- W144557296 hasConceptScore W144557296C154945302 @default.
- W144557296 hasConceptScore W144557296C185592680 @default.
- W144557296 hasConceptScore W144557296C197551870 @default.
- W144557296 hasConceptScore W144557296C205711294 @default.
- W144557296 hasConceptScore W144557296C33923547 @default.
- W144557296 hasConceptScore W144557296C38677869 @default.
- W144557296 hasConceptScore W144557296C41008148 @default.
- W144557296 hasConceptScore W144557296C55493867 @default.
- W144557296 hasConceptScore W144557296C63479239 @default.
- W144557296 hasConceptScore W144557296C79403827 @default.
- W144557296 hasConceptScore W144557296C80444323 @default.
- W144557296 hasLocation W1445572961 @default.
- W144557296 hasOpenAccess W144557296 @default.
- W144557296 hasPrimaryLocation W1445572961 @default.
- W144557296 hasRelatedWork W152523404 @default.
- W144557296 hasRelatedWork W2005783020 @default.
- W144557296 hasRelatedWork W2027876282 @default.
- W144557296 hasRelatedWork W2085282830 @default.
- W144557296 hasRelatedWork W2351341011 @default.
- W144557296 hasRelatedWork W2765269840 @default.
- W144557296 hasRelatedWork W2766805475 @default.
- W144557296 hasRelatedWork W3036249540 @default.
- W144557296 hasRelatedWork W4239176740 @default.
- W144557296 hasRelatedWork W4256348577 @default.
- W144557296 isParatext "false" @default.
- W144557296 isRetracted "false" @default.
- W144557296 magId "144557296" @default.
- W144557296 workType "book-chapter" @default.