Matches in SemOpenAlex for { <https://semopenalex.org/work/W8623215> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W8623215 endingPage "384" @default.
- W8623215 startingPage "347" @default.
- W8623215 abstract "We present in this paper an algorithm allowing an efficient computation of the tightest DBM over-approximation of the state space of preemptive systems modeled by using Time Petri Nets with inhibitor arcs. First of all, we propose an algorithm that reduces the effort of computing the tightest DBM over-approximated graph. For this effect, each class of this graph is expressed as a pair (M, D), where M is a marking and D is the system of all DBM inequalities even the redundant ones. We thereby make it possible to compute the system D straightforwardly in its normal form, without requiring to compute the intermediary polyhedra. Hence, we succeed to remove the errors reported in the implementation of other DBM approximations. Then we show that by relaxing a bit in the precision of the DBM approximation, we can achieve to construct more compact graphs while reducing still more the cost of their computation. We provide for this abstraction a suitable equivalence relation that contract yet more the graphs. The experimental results comparing the defined constructions with other approaches are reported." @default.
- W8623215 created "2016-06-24" @default.
- W8623215 creator A5074641711 @default.
- W8623215 date "2012-01-01" @default.
- W8623215 modified "2023-10-14" @default.
- W8623215 title "Improving the Construction of the DBM Over Approximation of the State Space of Real-time Preemptive Systems" @default.
- W8623215 cites W109253925 @default.
- W8623215 cites W1482233117 @default.
- W8623215 cites W1529059198 @default.
- W8623215 cites W1577014738 @default.
- W8623215 cites W1593414957 @default.
- W8623215 cites W1770557760 @default.
- W8623215 cites W1975267943 @default.
- W8623215 cites W1977116278 @default.
- W8623215 cites W1998177975 @default.
- W8623215 cites W2004463571 @default.
- W8623215 cites W2021391928 @default.
- W8623215 cites W2135235051 @default.
- W8623215 cites W2147340401 @default.
- W8623215 cites W2150377894 @default.
- W8623215 cites W2151612633 @default.
- W8623215 doi "https://doi.org/10.14232/actacyb.20.3.2012.1" @default.
- W8623215 hasPublicationYear "2012" @default.
- W8623215 type Work @default.
- W8623215 sameAs 8623215 @default.
- W8623215 citedByCount "1" @default.
- W8623215 countsByYear W86232152022 @default.
- W8623215 crossrefType "journal-article" @default.
- W8623215 hasAuthorship W8623215A5074641711 @default.
- W8623215 hasBestOaLocation W86232151 @default.
- W8623215 hasConcept C105795698 @default.
- W8623215 hasConcept C111919701 @default.
- W8623215 hasConcept C11413529 @default.
- W8623215 hasConcept C194257627 @default.
- W8623215 hasConcept C2776257435 @default.
- W8623215 hasConcept C2778572836 @default.
- W8623215 hasConcept C33923547 @default.
- W8623215 hasConcept C41008148 @default.
- W8623215 hasConcept C48103436 @default.
- W8623215 hasConcept C72434380 @default.
- W8623215 hasConcept C76155785 @default.
- W8623215 hasConcept C79403827 @default.
- W8623215 hasConcept C94105702 @default.
- W8623215 hasConceptScore W8623215C105795698 @default.
- W8623215 hasConceptScore W8623215C111919701 @default.
- W8623215 hasConceptScore W8623215C11413529 @default.
- W8623215 hasConceptScore W8623215C194257627 @default.
- W8623215 hasConceptScore W8623215C2776257435 @default.
- W8623215 hasConceptScore W8623215C2778572836 @default.
- W8623215 hasConceptScore W8623215C33923547 @default.
- W8623215 hasConceptScore W8623215C41008148 @default.
- W8623215 hasConceptScore W8623215C48103436 @default.
- W8623215 hasConceptScore W8623215C72434380 @default.
- W8623215 hasConceptScore W8623215C76155785 @default.
- W8623215 hasConceptScore W8623215C79403827 @default.
- W8623215 hasConceptScore W8623215C94105702 @default.
- W8623215 hasIssue "3" @default.
- W8623215 hasLocation W86232151 @default.
- W8623215 hasOpenAccess W8623215 @default.
- W8623215 hasPrimaryLocation W86232151 @default.
- W8623215 hasRelatedWork W1519398290 @default.
- W8623215 hasRelatedWork W2015197026 @default.
- W8623215 hasRelatedWork W2056851291 @default.
- W8623215 hasRelatedWork W2061112603 @default.
- W8623215 hasRelatedWork W2363207358 @default.
- W8623215 hasRelatedWork W2363789696 @default.
- W8623215 hasRelatedWork W2889205661 @default.
- W8623215 hasRelatedWork W2972412491 @default.
- W8623215 hasRelatedWork W2990393949 @default.
- W8623215 hasRelatedWork W3164102603 @default.
- W8623215 hasVolume "20" @default.
- W8623215 isParatext "false" @default.
- W8623215 isRetracted "false" @default.
- W8623215 magId "8623215" @default.
- W8623215 workType "article" @default.