2 papers
cs.SE2024
A data-flow oriented software architecture for heterogeneous marine data streams
Keila Lima, Ngoc-Thanh Nguyen, Rogardt Heldal +4
Marine in-situ data is collected by sensors mounted on fixed or mobile systems deployed into the ocean. This type of data is crucial both for the ocean industries and public author…
cs.LO2022
Modelling and Validation of Power Electronics Converter Systems using Coloured Petri Nets
Vegard Steinsland, Lars Michael Kristensen, Shujun Zhang
We apply Coloured Petri Nets (CPNs) and the CPN Tools to develop a formal model of an embedded system consisting of a power converter and an associated controller. Matlab/Simulink…