3 citations · 3 across the 1 of their papers we have counts for
2 papers
eess.SY2018
Online Fault Identification of Digital Hydraulic Valves Using a Combined Model-Based and Data-Driven Approach
Johan Ersfolk, Miika Ahopelto, Wictor Lund +4
Robustness and fault-tolerance are desirable properties for hydraulic working machines and field robots. In applications where service personnel do not have easy access to the mach…
cs.LO2011★ 3 cited
Concurrent Scheduling of Event-B Models
Pontus Boström, Fredrik Degerlund, Kaisa Sere +1
Event-B is a refinement-based formal method that has been shown to be useful in developing concurrent and distributed programs. Large models can be decomposed into sub-models that…