Bilatu
325-tik 141-150 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 ...
Impact performance of out of die UV cured pultruded profiles for vessel structures
(École Polytechnique Fédérale de Lausanne, 2022)
Out of die ultraviolet (UV) cured pultrusion is an automated process for manufacturing bent profiles that can replace the labour-intensive processes currently employed for manufacturing stiffeners for vessels structures. ...
Architecture for managing AAS-based business processes
(Elsevier, 2023)
Industries frequently encounter the need to orchestrate services provided by devices as business processes. These industrial business process models need to meet Industry 4.0 (I4.0) specifications to handle unpredictable ...
Multi-AP Coordination PHY/MAC Management for Industrial Wi-Fi
(IEEE, 2022)
This work discusses Access Point Coordination techniques for future 802.11 communications in the context of industrial Wireless TSN scenarios. A Coordinated OFDMA setup is proposed with a frame exchange scheme based on ...
Design and validation of a predictive energy management strategy for self-consumption in tertiary buildings
(IEEE, 2022)
This work presents a predictive energy management strategy for self-consumption in tertiary buildings. The self-consumption is composed of a photovoltaic generation and a battery. The energy management strategy is composed ...
Biziraupen Estimazio Modeloa Garraio Astuneko Aplikazioetan Erabiltzen Diren Superkondentsadoreentzako
(UEU, 2019)
Due to the high pollution levels, in the last few years the need of improving the efficiency of the transportation sector has increased. In this context, transport applications powered by electric storage systems emerge ...
EIEH: Industriako interakzio digitalak diseinatzeko erraminta berria
(UEU, 2017)
In recent years, due to the socio-economic development, the wishes of the society have been changing. Nowadays, instead of material goods, the society is looking for emotional and social goods. As a consequence, the market ...
Neutroi-tekniketarako egokia den lehenengo berun-azido bateriaren diseinua eta optimizazioa
(UEU, 2017)
Lead-acid batteries have consistently accounted for the largest market share of secondary batteries. However, there is still significant opportunity for improvement of lead-acid battery technology. Typically, lead-acid ...
Kernel hautapen dinamikoa Optimizazio Bayesiarrean
(UEU, 2015)
In Bayesian Optimization, when using a Gaussian Process prior, some kernels adapt better than others to the objective function. This research evaluates the possibility of dynamically changing the kernel function based on ...
Runtime Contracts Checker: Increasing Robustness of Component-Based Software Systems
(IOP Publishing, 2019)
Software Systems are becoming increasingly complex leading to new Validation &Verification challenges. Model checking and testing techniques are used at development time while runtime verification aims to verify that a ...