FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2900538120> ?p ?o ?g. }

• W2900538120 endingPage "20" @default.
• W2900538120 startingPage "5" @default.
• W2900538120 abstract "Engineering modern systems is becoming increasingly difficult due to the heterogeneity between different subsystems. Modelling and simulation techniques have traditionally been used to tackle complexity, but with increasing heterogeneity of the subsystems, it becomes impossible to find appropriate modelling languages and tools to specify and analyse the system as a whole. Co-simulation is a technique to combine multiple models and their simulators in order to analyse the behaviour of the whole system over time. Past research, however, has shown that the naïve combination of simulators can easily lead to incorrect simulation results, especially when co-simulating hybrid systems. This paper shows: (i) how co-simulation of a family of hybrid systems can fail to reproduce the order of events that should have occurred (event ordering); (ii) how to prove that a co-simulation algorithm is correct (w.r.t. event ordering), and if it is incorrect, how to obtain a counterexample; and (iii) how to correct an incorrect co-simulation algorithm. We apply the above method to two well known co-simulation algorithms used with the FMI Standard, and we show that one of them is incorrect for the family of hybrid systems under study, under the restrictions of the standard. The conclusion is that either the standard needs to be revised, or one of the algorithms should be avoided." @default.
• W2900538120 created "2018-11-29" @default.
• W2900538120 creator A5009539888 @default.
• W2900538120 creator A5020944907 @default.
• W2900538120 creator A5022201782 @default.
• W2900538120 creator A5037561273 @default.
• W2900538120 creator A5056873491 @default.
• W2900538120 creator A5070791589 @default.
• W2900538120 date "2018-01-01" @default.
• W2900538120 modified "2023-09-25" @default.
• W2900538120 title "Towards the Verification of Hybrid Co-simulation Algorithms" @default.
• W2900538120 cites W1503226155 @default.
• W2900538120 cites W1577099389 @default.
• W2900538120 cites W1888172192 @default.
• W2900538120 cites W1974990824 @default.
• W2900538120 cites W1984787345 @default.
• W2900538120 cites W2008630245 @default.
• W2900538120 cites W2010169723 @default.
• W2900538120 cites W2041295515 @default.
• W2900538120 cites W2050856428 @default.
• W2900538120 cites W2066649109 @default.
• W2900538120 cites W2097863277 @default.
• W2900538120 cites W2098934630 @default.
• W2900538120 cites W2099529102 @default.
• W2900538120 cites W2107857712 @default.
• W2900538120 cites W2115309705 @default.
• W2900538120 cites W2128248825 @default.
• W2900538120 cites W2169239645 @default.
• W2900538120 cites W2271700785 @default.
• W2900538120 cites W2599497831 @default.
• W2900538120 cites W2734447151 @default.
• W2900538120 cites W2769918695 @default.
• W2900538120 cites W2799837321 @default.
• W2900538120 cites W2804347281 @default.
• W2900538120 cites W2908386671 @default.
• W2900538120 cites W3106328756 @default.
• W2900538120 cites W4231335741 @default.
• W2900538120 cites W4245517036 @default.
• W2900538120 doi "https://doi.org/10.1007/978-3-030-04771-9_1" @default.
• W2900538120 hasPublicationYear "2018" @default.
• W2900538120 type Work @default.
• W2900538120 sameAs 2900538120 @default.
• W2900538120 citedByCount "12" @default.
• W2900538120 countsByYear W29005381202018 @default.
• W2900538120 countsByYear W29005381202019 @default.
• W2900538120 countsByYear W29005381202020 @default.
• W2900538120 countsByYear W29005381202021 @default.
• W2900538120 countsByYear W29005381202022 @default.
• W2900538120 crossrefType "book-chapter" @default.
• W2900538120 hasAuthorship W2900538120A5009539888 @default.
• W2900538120 hasAuthorship W2900538120A5020944907 @default.
• W2900538120 hasAuthorship W2900538120A5022201782 @default.
• W2900538120 hasAuthorship W2900538120A5037561273 @default.
• W2900538120 hasAuthorship W2900538120A5056873491 @default.
• W2900538120 hasAuthorship W2900538120A5070791589 @default.
• W2900538120 hasBestOaLocation W29005381202 @default.
• W2900538120 hasConcept C10138342 @default.
• W2900538120 hasConcept C11413529 @default.
• W2900538120 hasConcept C118615104 @default.
• W2900538120 hasConcept C119857082 @default.
• W2900538120 hasConcept C121332964 @default.
• W2900538120 hasConcept C162324750 @default.
• W2900538120 hasConcept C162838799 @default.
• W2900538120 hasConcept C182306322 @default.
• W2900538120 hasConcept C2779662365 @default.
• W2900538120 hasConcept C33923547 @default.
• W2900538120 hasConcept C41008148 @default.
• W2900538120 hasConcept C50897621 @default.
• W2900538120 hasConcept C62520636 @default.
• W2900538120 hasConcept C80444323 @default.
• W2900538120 hasConceptScore W2900538120C10138342 @default.
• W2900538120 hasConceptScore W2900538120C11413529 @default.
• W2900538120 hasConceptScore W2900538120C118615104 @default.
• W2900538120 hasConceptScore W2900538120C119857082 @default.
• W2900538120 hasConceptScore W2900538120C121332964 @default.
• W2900538120 hasConceptScore W2900538120C162324750 @default.
• W2900538120 hasConceptScore W2900538120C162838799 @default.
• W2900538120 hasConceptScore W2900538120C182306322 @default.
• W2900538120 hasConceptScore W2900538120C2779662365 @default.
• W2900538120 hasConceptScore W2900538120C33923547 @default.
• W2900538120 hasConceptScore W2900538120C41008148 @default.
• W2900538120 hasConceptScore W2900538120C50897621 @default.
• W2900538120 hasConceptScore W2900538120C62520636 @default.
• W2900538120 hasConceptScore W2900538120C80444323 @default.
• W2900538120 hasLocation W29005381201 @default.
• W2900538120 hasLocation W29005381202 @default.
• W2900538120 hasLocation W29005381203 @default.
• W2900538120 hasLocation W29005381204 @default.
• W2900538120 hasLocation W29005381205 @default.
• W2900538120 hasOpenAccess W2900538120 @default.
• W2900538120 hasPrimaryLocation W29005381201 @default.
• W2900538120 hasRelatedWork W1600235415 @default.
• W2900538120 hasRelatedWork W1793594870 @default.
• W2900538120 hasRelatedWork W1987220818 @default.
• W2900538120 hasRelatedWork W2078806122 @default.
• W2900538120 hasRelatedWork W2375382787 @default.
• W2900538120 hasRelatedWork W2386767533 @default.
• W2900538120 hasRelatedWork W2524712299 @default.

• next