Machine learning techniques applied to mechanical fault diagnosis and fault prognosis in the context of real industrial manufacturing use-cases: a systematic literature …

M Fernandes, JM Corchado, G Marreiros - Applied Intelligence, 2022 - Springer
When put into practice in the real world, predictive maintenance presents a set of challenges
for fault detection and prognosis that are often overlooked in studies validated with data from …

Emerging directions of precision agriculture and agricultural robotics

AS Nair, SY Nof, A Bechar - Innovation in agricultural robotics for precision …, 2021 - Springer
Emerging Directions of Precision Agriculture and Agricultural Robotics | SpringerLink Skip to
main content Advertisement SpringerLink Account Menu Find a journal Publish with us Track …

A hybrid deep learning framework for intelligent predictive maintenance of cyber-physical systems

M Shcherbakov, C Sai - ACM Transactions on Cyber-Physical Systems …, 2022 - dl.acm.org
The proliferation of cyber-physical systems (CPSs) and the advancement of the Internet of
Things (IoT) technologies have led to explosive digitization of the industrial sector. It offers …

Statistical model checking: past, present, and future

KG Larsen, A Legay - … Applications of Formal Methods, Verification and …, 2016 - Springer
Abstract Statistical Model Checking (SMC) is a compromise between verification and testing
where executions of the systems are monitored until an algorithm from statistics can produce …

Fault trees from data: Efficient learning with an evolutionary algorithm

A Linard, D Bucur, M Stoelinga - … , November 27–29, 2019, Proceedings 5, 2019 - Springer
Cyber-physical systems come with increasingly complex architectures and failure modes,
which complicates the task of obtaining accurate system reliability models. At the same time …

Statistical Model Checking Past, Present, and Future: (Track Introduction)

KG Larsen, A Legay - … Symposium On Leveraging Applications of Formal …, 2014 - Springer
LNCS 8803 - Statistical Model Checking Past, Present, and Future Page 1 Statistical Model
Checking Past, Present, and Future (Track Introduction) Kim G. Larsen and Axel Legay 1 …

Load-aware intelligent multiprocessor scheduler for time-critical cyber-physical system applications

V Padmajothi, JLM Iqbal, V Ponnusamy - Computers & Electrical …, 2022 - Elsevier
The cyber-physical system involves domains like physical, communication, and cyber
system. The time-critical tasks in the physical domain demand a quick computational …

Smart Agriculture and Agricultural Robotics: Review and Perspective

A Bechar, SY Nof - International Conference on Production Research, 2021 - Springer
The purpose of this chapter is to review the contribution of agricultural robotics to smart
agriculture through the perspective of three contributing technology pillars: agricultural …

[PDF][PDF] Learning Models for Cyber-Physical Systems

ARR Linard - 2019 - repository.ubn.ru.nl
Self-driving cars, manufacturing systems, smart power plants, airliners and robots of all kinds
often make the headlines. They all have in common to be unavoidable in everyday life since …

[CITATION][C] Data-Driven Maintenance Planning, Scheduling, and Control

CAK Gordon - 2021