Zobrazeno 1 - 10
of 54
pro vyhledávání: '"Ulrik Nyman"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 277, Iss Proc. GandALF 2018, Pp 147-160 (2018)
Model checking of real-time systems has evolved throughout the years. Recently, the model checker Ecdar, using timed I/O automata, was used to perform compositional verification. However, in order to fully integrate model checking of real-time system
Externí odkaz:
https://doaj.org/article/c629997cb8a4465e9374eacff7276377
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 272, Iss Proc. MeTRiD 2018, Pp 39-51 (2018)
This work presents a compositional approach for schedulability analysis of Distributed Integrated Modular Avionics (DIMA) systems that consist of spatially distributed ARINC-653 modules connected by a unified AFDX network. We model a DIMA system as a
Externí odkaz:
https://doaj.org/article/1899e6fee8ad4583a00ba47800af3ab3
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 268, Iss Proc. MARS/VPT 2018, Pp 150-168 (2018)
This paper presents a modeling framework for schedulability analysis of distributed integrated modular avionics (DIMA) systems that consist of spatially distributed ARINC-653 modules connected by a unified AFDX network. We model a DIMA system as a se
Externí odkaz:
https://doaj.org/article/b14fab6d38e44877a74610e5974698c7
Publikováno v:
Energies, Vol 14, Iss 14, p 4360 (2021)
The paper presents the existing verification methods for control algorithms in power electronics systems, including the application of model checking techniques. In the industry, the most frequently used verification methods are simulations and exper
Externí odkaz:
https://doaj.org/article/c8dc2978bf2e4a0fb4b6f1462774db4c
Publikováno v:
Novak, M, Grobelna, I, Nyman, U, Szczesniak, P & Blaabjerg, F 2023, ' Modular Modeling and Statistical Validation for Grid-Connected FS-MPC-Controlled Matrix Converters ', IEEE Transactions on Industrial Electronics, vol. 70, no. 9, 9896732, pp. 8613-8623 . https://doi.org/10.1109/TIE.2022.3206699
In recent publications, statistical model checking (SMC) has been proposed as a method for verifying the performance of finite-set model predictive control (FS-MPC) algorithms applied to power electronics converters. One of the reasons the full poten
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2db070d8e1b79bb6c85204d5f06cc7e3
https://vbn.aau.dk/da/publications/476b1e78-4fa1-46d7-b1c9-f9965af7aa09
https://vbn.aau.dk/da/publications/476b1e78-4fa1-46d7-b1c9-f9965af7aa09
Publikováno v:
International Journal on Software Tools for Technology Transfer. 24:1025-1042
Publikováno v:
Novak, M, Grobelna, I, Nyman, U, Szcześniak, P & Blaabjerg, F 2022, Statistical Performance Verification of the FS-MPC Algorithm Applied to the Matrix Converter . in 2022 International Power Electronics Conference (IPEC-Himeji 2022-ECCE Asia) . IEEE Press, pp. 76-82, IPEC 2022 ECCE Asia, Himeji, Japan, 15/05/2022 . https://doi.org/10.23919/IPEC-Himeji2022-ECCE53331.2022.9806839
In recent publications statistical model checking (SMC) has been proposed as a method for verifying the performance of finite-set model predictive control (FS-MPC) algorithms applied to power electronics converters. SMC is a powerful method originati
Publikováno v:
Han, P, Zhai, Z, Nielsen, B & Nyman, U 2021, ' Model-based optimization of ARINC-653 partition scheduling ', International Journal on Software Tools for Technology Transfer, vol. 23, no. 5, pp. 721-740 . https://doi.org/10.1007/s10009-020-00597-6
The architecture of ARINC-653 partitioned scheduling has been widely applied to avionics systems owing to its robust temporal isolation among applications. However, this partitioning mechanism causes the problem of how to optimize the partition sched
Autor:
Peter Gjøl Jensen, Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman, Adriana Mijačika, Jeppe Høiriis Mortensen
Publikováno v:
Quantitative Evaluation of Systems ISBN: 9783031163357
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::68c45fc5ac2521277d880f149691b4be
https://doi.org/10.1007/978-3-031-16336-4_19
https://doi.org/10.1007/978-3-031-16336-4_19
Publikováno v:
Formal Methods for Industrial Critical Systems : 26th International Conference, FMICS 2021, Proceedings
Formal Methods for Industrial Critical Systems ISBN: 9783030852474
FMICS
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems ISBN: 9783030852474
FMICS
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Formal Methods for Industrial Critical Systems
We introduce Randomized Reachability Analysis – an efficient and highly scalable method for detection of “rare event” states, such as errors. Due to the under-approximate nature of the method, it excels at quick falsification of models and can