4 citations
5 papers
Scalable, Technology-Agnostic Diagnosis and Predictive Maintenance for Point Machine using Deep Learning
Eduardo Di Santi, Ruixiang Ci, Clément Lefebvre +5
The Point Machine (PM) is a critical piece of railway equipment that switches train routes by diverting tracks through a switchblade. As with any critical safety equipment, a failu…
CVCM Track Circuits Pre-emptive Failure Diagnostics for Predictive Maintenance Using Deep Neural Networks
Debdeep Mukherjee, Eduardo Di Santi, Clément Lefebvre +5
Track circuits are critical for railway operations, acting as the main signalling sub-system to locate trains. Continuous Variable Current Modulation (CVCM) is one such technology.…
Leveraging Foundation Models To learn the shape of semi-fluid deformable objects
Omar El Assal, Carlos M. Mateo, Sebastien Ciron +1
One of the difficulties imposed on the manipulation of deformable objects is their characterization and the detection of representative keypoints for the purpose of manipulation. A…
Spreadsheet-based Configuration of Families of Real-Time Specifications
José Proença, David Pereira, Giann Spilere Nandi +2
Model checking real-time systems is complex, and requires a careful trade-off between including enough detail to be useful and not too much detail to avoid state explosion. This wo…
Making Agile Development Processes fit for V-style Certification Procedures
Sergio Bezzecchi, Paolo Crisafulli, Charlotte Pichot +1
We present a process for the development of safety and security critical components in transportation systems targeting a high-level certification (CENELEC 50126/50128, DO 178, CC…