Real-time simulation in manufacturing systems: Challenges and research directions
In the last years, the increase of data availability together with enhanced resource flexibility
shed light on the possibility to develop planning and control methods with real-time inputs …
shed light on the possibility to develop planning and control methods with real-time inputs …
TABOR: A graphical model-based approach for anomaly detection in industrial control systems
Industrial Control Systems (ICS) such as water and power are critical to any society. Process
anomaly detection mechanisms have been proposed to protect such systems to minimize …
anomaly detection mechanisms have been proposed to protect such systems to minimize …
A survey of security and privacy issues in the Internet of Things from the layered context
Summary Internet of Things (IoT) is a novel paradigm, which not only facilitates a large
number of devices to be ubiquitously connected over the Internet but also provides a …
number of devices to be ubiquitously connected over the Internet but also provides a …
Digital twin for verification and validation of industrial automation systems–a survey
Digital Twins will change how systems and products are engineered and operated.
Individual virtual representations of assets help to develop, maintain and change single …
Individual virtual representations of assets help to develop, maintain and change single …
Simulation for robotics test automation: Developer perspectives
Robotics simulation plays an important role in the design, development, and verification and
validation of robotics systems. Simulation represents a potentially cheaper, safer, and more …
validation of robotics systems. Simulation represents a potentially cheaper, safer, and more …
A novel model usability evaluation framework (MUsE) for explainable artificial intelligence
When it comes to complex machine learning models, commonly referred to as black boxes,
understanding the underlying decision making process is crucial for domains such as …
understanding the underlying decision making process is crucial for domains such as …
A systematic map** of semi-formal and formal methods in requirements engineering of industrial cyber-physical systems
The requirements engineering of Industrial Cyber-Physical Systems is extremely
challenging due to large system sizes, component heterogeneity, involvement of multi …
challenging due to large system sizes, component heterogeneity, involvement of multi …
Requirements for testing and validating the industrial internet of things
The latest advances in industry have been accomplished within the 4th Industrial
Revolution, mostly noted as Industrie 4.0. This industrial revolution is boosted by the …
Revolution, mostly noted as Industrie 4.0. This industrial revolution is boosted by the …
Formale Methoden für rekonfigurierbare cyber-physische Systeme in der Produktion
M Grochowski, H Simon, D Bohlender… - at …, 2020 - degruyter.com
Durch zunehmende Agilität im Entwicklungsprozess, kürzere Lebenszyklen und sich
ändernde Kunden-und Gesetzgeberanforderungen müssen Produktionssysteme …
ändernde Kunden-und Gesetzgeberanforderungen müssen Produktionssysteme …
Design and verification of Cyber-Physical Systems using TrueTime, evolutionary optimization and UPPAAL
S Balasubramaniyan, S Srinivasan… - Microprocessors and …, 2016 - Elsevier
Abstract Timing imperfections in Cyber-Physical Systems (CPS) components affect their
performance and reliability. This investigation presents a methodology to design and verify …
performance and reliability. This investigation presents a methodology to design and verify …