Bilatu
5-tik 1-5 emaitza erakusten
Towards the Isolation of Failure-Inducing Inputs in Cyber-Physical Systems: is Delta Debugging Enough?
(IEEE, 2022)
Cyber-Physical Systems (CPSs) combine digital cyber technologies with parallel physical processes. On the one hand, verification methods of such systems mostly rely on (system level) simulation-based testing. This technique ...
Cost-effectiveness of Opportunity Charging in Non-electrified Railway Lines
(IEEE, 2021)
This paper analyses the cost-effectiveness of deploying opportunity charging points in long-distance non-electrified railway lines, which are driven by battery-based hybrid diesel-electric railway vehicles. A study case ...
Silicon Application Extension Versus WBG Due to Partial Power Processing
(IEEE, 2022)
This paper discusses the new possibilities that partial power processing offers to implement silicon semiconductors compared to wide-bandgap technologies. With this purpose, an on-board charger application is presented as ...
Modular Battery Energy Storage Systems for Available Energy Increase
(IEEE, 2022)
The aim of this work is to dive into the available energy of different configurations of battery packs, a vital factor when it comes to improving the driving range of electric vehicles. To that end, two different storage ...
On the Cost-Effectiveness of Composite Metamorphic Relations for Testing Deep Learning Systems
(IEEE, 2022)
Deep Learning (DL) components are increasing their presence in mission and safety-critical systems, such as autonomous vehicles. The verification process of such systems needs to be rigorous, for which automated solutions ...