Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Edin Grimheden, Martin"'
Autor:
Edin Grimheden, Martin
Publikováno v:
In Mechatronics December 2013 23(8):967-973
Publikováno v:
European Journal of Engineering Education; Feb 2022, Vol. 47 Issue 1, p117-143, 27p
Publikováno v:
Asavoae, M, Haur, I, Jan, M, Ben Hedia, B & Schoeberl, M 2020, Towards Formal Co-validation of Hardware and Software Timing Models of CPSs . in R Chamberlain, M Edin Grimheden & W Taha (eds), Cyber Physical Systems. Model-Based Design . Springer, Cham, Lecture Notes in Computer Science, vol. 11971, pp. 203-227, 9th International Workshop on Model-Based Design of Cyber Physical Systems and 15th International Workshop on Embedded and Cyber-Physical Systems Education, New York City, New York, United States, 17/10/2019 . https://doi.org/10.1007/978-3-030-41131-2_10
Timing analysis of safety-critical systems derives timing bounds of applications, or software (SW), executed on dedicated platforms, or hardware (HW). The ensemble HW–SW features, from a timing perspective, two different types of computation – a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1202::281308d266cf85fa1ec00a60abbbdfad
https://orbit.dtu.dk/en/publications/88312aae-16a3-456a-82b9-6b458af9476a
https://orbit.dtu.dk/en/publications/88312aae-16a3-456a-82b9-6b458af9476a
Publikováno v:
Coent, A C L & Fribourg, L 2020, Guaranteed Optimal Reachability Control of Reaction-Diffusion Equations Using One-Sided Lipschitz Constants and Model Reduction . in R Chamberlain, M Edin Grimheden & W Taha (eds), Cyber Physical Systems. Model-Based Design : 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers . Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11971 LNCS, pp. 181-202, 9th International Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2019, held in conjunction with ESWeek 2019, New York City, United States, 17/10/2019 . https://doi.org/10.1007/978-3-030-41131-2_9
We show that, for any spatially discretized system of reaction-diffusion, the approximate solution given by the explicit Euler time-discretization scheme converges to the exact time-continuous solution, provided that diffusion coefficient be sufficie
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::07235f107589b57107077cbbb02cb355
https://vbn.aau.dk/da/publications/2d2ff0e1-1aa4-457d-a8be-fef8b648bbc1
https://vbn.aau.dk/da/publications/2d2ff0e1-1aa4-457d-a8be-fef8b648bbc1