• Publications
  • Influence
I/O Sharing in a Multi-core Kernel for Mixed-Criticality Applications
TLDR
A message-based approach of I/O sharing in the HARTEX real-time kernel on a multi-core platform based on a safe message mechanism is implemented in order to support the partitioning architecture, enable individual certification of mixed-criticality applications and thus achieve minimized total certification cost of the entire system.
A distributed multi-agent linear bi-objective algorithm for energy flow optimization in microgrids
A distributed linear bi-objective optimization algorithm for management of energy flow in a microgrid with individual agents is introduced. In contrast to widely used centralized approaches for
Consensus based scheduling of storage capacities in a virtual microgrid
TLDR
It is shown that when using this coordinated scheduling algorithm, load profile flattening (peak-shaving) for the utility grid is achieved and mutual charge/discharge between batteries which are interconnected in the same grid is prevented.
Covering path generation for autonomous turf-care vehicle
TLDR
The algorithm can generate a tool-path for any polygon orientation and has been tested on a recorded polygon from a local park turf which is non-convex and has holes, illustrating the algorithm functionality and limitations wrt.
Integration of Simulink Models with Component-based Software Models
TLDR
A safe translation of a restricted set of MATLAB/Simulink blocks to COMDES software components, both for continuous and discrete behaviour, and the transformation of the software system into the S-functions is described.
Syddansk Universitet Component-based analysis of embedded control applications
TLDR
An analysis technique has been employed to develop a feasible (light-weight) analysis method based on runtime observers that can be used to validate COMDES design models in SIMULINK, which preserves the functional and timing behaviour of the application.
Simulink analysis of component-based embedded applications
TLDR
An analysis method is presented that can be used to validate COM DES design models using the Simulink environment, based on a semantics-preserving transformation of a COMDES design model into aSimulink analysis model, which preserves both the functional and timing behaviour of the original design model.
A Heterogeneous Multi-Core Architecture with a Hardware Kernel for Control Systems
TLDR
A multi-core architecture incorporating a hardware kernel on FPGAs, intended for high performance applications in control engineering domain, with several advantages over a counterpart kernel implemented in software: higher-speed processing capability, parallel computation, and separation between the kernel itself and the applications being run.
...
...