Analysis of safety and security challenges and opportunities related to cyber-physical systems
A cyber-physical system (CPS) is an interconnected physical system that can be monitored,
controlled, and operated remotely. A systems-based analysis of CPS is critical for enhancing …
controlled, and operated remotely. A systems-based analysis of CPS is critical for enhancing …
Navigating industry 5.0: A survey of key enabling technologies, trends, challenges, and opportunities
This century has been a major avenue for revolutionary changes in technology and industry.
Industries have transitioned towards intelligent automation, relying less on human …
Industries have transitioned towards intelligent automation, relying less on human …
A multi-head attention network with adaptive meta-transfer learning for RUL prediction of rocket engines
Accurate prediction of remaining useful life (RUL) is necessary to ensure stable and safe
operations for rocket engines. The paper proposed a multi-head attention network coupled …
operations for rocket engines. The paper proposed a multi-head attention network coupled …
Reinforcement learning for predictive maintenance: A systematic technical review
The manufacturing world is subject to ever-increasing cost optimization pressures.
Maintenance adds to cost and disrupts production; optimized maintenance is therefore of …
Maintenance adds to cost and disrupts production; optimized maintenance is therefore of …
Adaptive cost-sensitive learning: Improving the convergence of intelligent diagnosis models under imbalanced data
The natural distribution of industrial data is imbalanced, which deteriorates the performance
of intelligent fault diagnostic models. Although cost-sensitive learning is an effective method …
of intelligent fault diagnostic models. Although cost-sensitive learning is an effective method …
Deepstl: from english requirements to signal temporal logic
J He, E Bartocci, D Ničković, H Isakovic… - Proceedings of the 44th …, 2022 - dl.acm.org
Formal methods provide very powerful tools and techniques for the design and analysis of
complex systems. Their practical application remains however limited, due to the widely …
complex systems. Their practical application remains however limited, due to the widely …
Explainable predictive maintenance: a survey of current methods, challenges and opportunities
Predictive maintenance is a well studied collection of techniques that aims to prolong the life
of a mechanical system by using artificial intelligence and machine learning to predict the …
of a mechanical system by using artificial intelligence and machine learning to predict the …
Vision-based reactive temporal logic motion planning for quadruped robots in unstructured dynamic environments
Temporal logic-based motion planning has been extensively studied to address complex
robotic tasks. However, existing works primarily focus on static environments or assume the …
robotic tasks. However, existing works primarily focus on static environments or assume the …
Two-phase motion planning under signal temporal logic specifications in partially unknown environments
This article studies the planning problem for a robot residing in partially unknown
environments under signal temporal logic (STL) specifications, where most of the existing …
environments under signal temporal logic (STL) specifications, where most of the existing …
Monitors that learn from failures: Pairing STL and genetic programming
In several domains, systems generate continuous streams of data during their execution,
including meaningful telemetry information, that can be used to perform tasks like …
including meaningful telemetry information, that can be used to perform tasks like …