Matches in SemOpenAlex for { <https://semopenalex.org/work/W4312912295> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W4312912295 endingPage "90" @default.
- W4312912295 startingPage "85" @default.
- W4312912295 abstract "Mathematical models of hybrid systems may exhibit Zeno behaviour, in which infinitely many discrete events occur in a finite time interval. Although this may be considered physically unrealistic, since Zeno behaviour is useful in modelling real-world systems, it is important for computational tools to be able to handle it. In particular, verification tools should use a well-defined semantics under which the Zeno behaviour is effectively and rigorously computable. In this paper, we give a semantics for systems with events similar to mechanical impacts and show that computation of the behaviour is possible, even beyond the Zeno time. If we allow perturbations outside this class of impacting systems, then it may not be possible to handle Zeno behaviour in a realistic way." @default.
- W4312912295 created "2023-01-05" @default.
- W4312912295 creator A5019902087 @default.
- W4312912295 creator A5081290922 @default.
- W4312912295 date "2022-01-01" @default.
- W4312912295 modified "2023-10-14" @default.
- W4312912295 title "Computability of the Behaviour of Impacting Systems Beyond Zeno Times" @default.
- W4312912295 cites W2063402394 @default.
- W4312912295 cites W2068864491 @default.
- W4312912295 cites W2078795114 @default.
- W4312912295 cites W2103907684 @default.
- W4312912295 cites W2112248103 @default.
- W4312912295 cites W2146227737 @default.
- W4312912295 cites W2797037979 @default.
- W4312912295 cites W3012235450 @default.
- W4312912295 doi "https://doi.org/10.1016/j.ifacol.2022.11.033" @default.
- W4312912295 hasPublicationYear "2022" @default.
- W4312912295 type Work @default.
- W4312912295 citedByCount "0" @default.
- W4312912295 crossrefType "journal-article" @default.
- W4312912295 hasAuthorship W4312912295A5019902087 @default.
- W4312912295 hasAuthorship W4312912295A5081290922 @default.
- W4312912295 hasBestOaLocation W43129122951 @default.
- W4312912295 hasConcept C11413529 @default.
- W4312912295 hasConcept C121332964 @default.
- W4312912295 hasConcept C152062344 @default.
- W4312912295 hasConcept C154945302 @default.
- W4312912295 hasConcept C184337299 @default.
- W4312912295 hasConcept C190474826 @default.
- W4312912295 hasConcept C194867977 @default.
- W4312912295 hasConcept C199360897 @default.
- W4312912295 hasConcept C2524010 @default.
- W4312912295 hasConcept C2777212361 @default.
- W4312912295 hasConcept C28826006 @default.
- W4312912295 hasConcept C33923547 @default.
- W4312912295 hasConcept C41008148 @default.
- W4312912295 hasConcept C45374587 @default.
- W4312912295 hasConcept C62520636 @default.
- W4312912295 hasConcept C7707877 @default.
- W4312912295 hasConcept C80444323 @default.
- W4312912295 hasConcept C84114770 @default.
- W4312912295 hasConceptScore W4312912295C11413529 @default.
- W4312912295 hasConceptScore W4312912295C121332964 @default.
- W4312912295 hasConceptScore W4312912295C152062344 @default.
- W4312912295 hasConceptScore W4312912295C154945302 @default.
- W4312912295 hasConceptScore W4312912295C184337299 @default.
- W4312912295 hasConceptScore W4312912295C190474826 @default.
- W4312912295 hasConceptScore W4312912295C194867977 @default.
- W4312912295 hasConceptScore W4312912295C199360897 @default.
- W4312912295 hasConceptScore W4312912295C2524010 @default.
- W4312912295 hasConceptScore W4312912295C2777212361 @default.
- W4312912295 hasConceptScore W4312912295C28826006 @default.
- W4312912295 hasConceptScore W4312912295C33923547 @default.
- W4312912295 hasConceptScore W4312912295C41008148 @default.
- W4312912295 hasConceptScore W4312912295C45374587 @default.
- W4312912295 hasConceptScore W4312912295C62520636 @default.
- W4312912295 hasConceptScore W4312912295C7707877 @default.
- W4312912295 hasConceptScore W4312912295C80444323 @default.
- W4312912295 hasConceptScore W4312912295C84114770 @default.
- W4312912295 hasIssue "30" @default.
- W4312912295 hasLocation W43129122951 @default.
- W4312912295 hasOpenAccess W4312912295 @default.
- W4312912295 hasPrimaryLocation W43129122951 @default.
- W4312912295 hasRelatedWork W1499261285 @default.
- W4312912295 hasRelatedWork W1644220627 @default.
- W4312912295 hasRelatedWork W2030057210 @default.
- W4312912295 hasRelatedWork W2092412604 @default.
- W4312912295 hasRelatedWork W2149320870 @default.
- W4312912295 hasRelatedWork W2386842031 @default.
- W4312912295 hasRelatedWork W2793653224 @default.
- W4312912295 hasRelatedWork W2912043555 @default.
- W4312912295 hasRelatedWork W3125279152 @default.
- W4312912295 hasRelatedWork W4312912295 @default.
- W4312912295 hasVolume "55" @default.
- W4312912295 isParatext "false" @default.
- W4312912295 isRetracted "false" @default.
- W4312912295 workType "article" @default.