Filters








5,369 Hits in 4.0 sec

Challenges in Digital Twin Development for Cyber-Physical Production Systems [chapter]

Heejong Park, Arvind Easwaran, Sidharta Andalam
2019 Lecture Notes in Computer Science  
Digital twin will be the key technology in Cyber-Physical Production Systems (CPPS) and its market is expected to grow significantly in the coming years.  ...  The recent advancement of information and communication technology makes digitalisation of an entire manufacturing shop-floor possible where physical processes are tightly intertwined with their cyber  ...  In particular, model learning [36] can be useful for building formal models of legacy (black-box) models or for analysing complex systems when there is a lack of tools.  ... 
doi:10.1007/978-3-030-23703-5_2 fatcat:nqttdovw3bg6xfhkziehpoho7e

Lessons Learned [chapter]

Ralf Reussner, Michael Goedicke, Wilhelm Hasselbring, Birgit Vogel-Heuser, Jan Keim, Lukas Märtin
2019 Managed Software Evolution  
The lessons learned while investigating new methods and techniques for knowledgecarrying software in SPP 1593 are summarised below.  ...  Potentially wrong usage behaviour might transition into a pattern that is of interest and relevant for a new feature or functionality of an application.  ...  Formally verifying the behaviour of cyber-physical systems is, thus, often infeasible due to the absence of formal requirement specifications.  ... 
doi:10.1007/978-3-030-13499-0_13 fatcat:2hqg6g3qazdcblioqmn5gklv4i

Extracting finite state representations from recurrent models of Industrial Cyber Physical Systems

Alessandro Brusaferri, Matteo Matteucci, Stefano Spinelli, Andrea Vitali
2020 2020 7th International Conference on Control, Decision and Information Technologies (CoDIT)  
Neural networks are being broadly explored for the identification of Industrial Cyber Physical Systems (ICPS) models from data sequences.  ...  Experiments are performed on a pilot remanufacturing plant, by learning the model of a conveyor controller from process data.  ...  Abstract-Neural networks are being broadly explored for the identification of Industrial Cyber Physical Systems (ICPS) models from data sequences.  ... 
doi:10.1109/codit49905.2020.9263967 fatcat:ybqiq3w64fd7zhwv2dgfvrb7me

On Critical Infrastructures, Their Security and Resilience - Trends and Vision [article]

Craig Rieger, Milos Manic
2018 arXiv   pre-print
reading material; and 3. several discussion topics on the vision and future of CISR in critical infrastructure cyber-physical systems.  ...  This paper presents concepts behind security and resilience pertinent to various types of activities - from every day to field-specific activities.  ...  In cyber-physical systems, it entails physical, cyber, and cognitive domain [11] , [12] .  ... 
arXiv:1812.02710v1 fatcat:gbcamdwakjhxffdjz3csoqujne

Verification of Cyber-Physical Systems (Dagstuhl Seminar 14122)

Rupak Majumdar, Richard M. Murray, Pavithra Prabhakar, Marc Herbstritt
2014 Dagstuhl Reports  
The main focus of the seminar was to discuss issues related to the reliable development of cyber-physical systems by using formal verification.  ...  Cyber-physical systems refer to a new genre of engineered systems consisting of a tight coupling between computation, communication and physical entities.  ...  Simulation-Based Techniques for the Falsification of Cyber-Physical Systems 2. Verification of Automotive Engine Control 3. Formal Methods for Control Design 4.  ... 
doi:10.4230/dagrep.4.3.85 dblp:journals/dagstuhl-reports/MajumdarMP14 fatcat:qm5epthwvbgf5mk74me42qcpei

Modular Supervisory Synthesis for Unknown Plant Models Using Active Learning

Fredrik Hagebring, Ashfaq Farooqui, Martin Fabian
2020 IFAC-PapersOnLine  
However, there exist active learning algorithms that can be used to infer a discrete model of the plant from a simulation.  ...  Then, by actively querying the simulation and interacting with the specification it explores the state-space of the system to learn a set of maximally permissive controllable supervisors.  ...  However, to the best of the authors' knowledge, despite most cyber-physical systems being able to employ a state-based formulation, no state-based active learning approaches exist within the automata learning  ... 
doi:10.1016/j.ifacol.2021.04.032 fatcat:6lupyzbsfraxzln4wdtrjm674i

Active Learning of Modular Plant Models

Ashfaq Farooqui, Fredrik Hagebring, Martin Fabian
2020 IFAC-PapersOnLine  
In this paper we present the Modular Plant Learner (MPL), an algorithm that explores the state-space and constructs a discrete model of a system.  ...  While model-based approaches allow for offline verification and validation of the system, and have other advantages over existing methods, they do have their own challenges.  ...  However, to the best of the authors' knowledge, despite most cyber-physical systems being able to employ a state-based formulation, no state-based active learning approaches exist within the automata learning  ... 
doi:10.1016/j.ifacol.2021.04.028 fatcat:ozw2rpm2ovbhrnvfl4raz6d36m

A Meta-Model of Cyber-Physical-Social System: The CPSS Paradigm to Support Human-Machine Collaboration in Industry 4.0 [chapter]

Bereket Abera Yilma, Hervé Panetto, Yannick Naudet
2019 IFIP Advances in Information and Communication Technology  
Example of Cyber-Physical-Social Production System (CPSPS) applied to a plant that produces parts of engines for aerospace industry.  ...  The meta-model formalizes the minimum requirement for the emergence of a CPSS as an atomic unit and the modeling of a composite CPSS.  ... 
doi:10.1007/978-3-030-28464-0_2 fatcat:7qw24qwatzd6redwbqiknuxrfy

Multi-paradigm modelling of Cyber-Physical Systems

Dmitry Morozov, Mario Lezoche, Hervé Panetto
2018 IFAC-PapersOnLine  
Cyber-Physical Systems (CPS) lead to the 4-th Industrial Revolution (Industry 4.0) that will have benefits from high flexibility of production, easy and so more accessible participation of all involved  ...  So, the current research concerns the adaptation of the approach named Formal Concept Analysis (FCA) for structuring knowledge and for optimizing CPS interoperability.  ...  A META-MODEL OF A CYBER-PHYSICAL SYSTEM Components of a CPS: lets denote as Pi and Ci respectively the set of physical and cyber components of a system CPSj.  ... 
doi:10.1016/j.ifacol.2018.08.334 fatcat:a2blkmkuazeirgynbbvpyl5xni

Helping IT and OT Defenders Collaborate [article]

Glenn A. Fink, Penny McKenzie
2019 arXiv   pre-print
(2) the difficulty of estimating the safety state of a cyber-physical system while an intrusion is underway but before damage can be effected by the attacker.  ...  We present two problems in this paper: (1) the difficulty of coordinating detection and response between defenders who work on the cyber/IT and physical/OT sides of cyber-physical infrastructures, and  ...  Physical Systems (OT) Perspective We interviewed building managers, physical plant operators, and control-systems engineers to understand their perspective on how to improve the security of cyber-physical  ... 
arXiv:1904.07374v1 fatcat:7fdbvrkw4jfqjizsqnwgnn72he

Quantitative Security Risk Assessment for Industrial Control Systems: Research Opportunities and Challenges

Matthias Eckhart, Bernhard Brenner, Andreas Ekelhart, Edgar R. Weippl
2019 Journal of Internet Services and Information Security  
Moreover, ICSs constitute an attractive target for attackers who may disrupt plant operation, causing severe physical/material damages (PD/MD), such as machinery breakdowns.  ...  Due to the gradual implementation of the Industry 4.0 vision, information technology is becoming increasingly important in industrial control systems (ICSs), such as production systems.  ...  Acknowledgments The COMET center SBA Research (SBA-K1) is funded within the framework of COMET -Competence Centers for Excellent Technologies by BMVIT, BMDW, and the federal state of Vienna, managed by  ... 
doi:10.22667/jisis.2019.08.31.052 dblp:journals/jisis/EckhartBEW19 fatcat:ygosiipn5jc2rbkkvq5aopwulm

A behavioral-based forensic investigation approach for analyzing attacks on water plants using GANs

Nataliia Neshenko, Elias Bou-Harb, Borko Furht
2021 Forensic Science International: Digital Investigation  
The Energy Distance (ED) and Maximum Mean Discrepancy (MMD) are used to evaluate how firmly the model has learned the system's behavior.  ...  Empirical evaluations using data collected in a testbed representing a small-scale water treatment plant uncovered 32 out of the 36 cyber incidents; exceeding the performance of state-of-the-art.  ...  This work was partially supported by the Florida Center for Cybersecurity (Cyber Florida) and U.S. National Science Foundation (NSF) (Office of Advanced Cyber infrastructure (OAC)).  ... 
doi:10.1016/j.fsidi.2021.301198 fatcat:ynuoaenwpvayhlbwm6fb3llomu

Deriving Cyber-security Requirements for Cyber Physical Systems [article]

Robert Laddaga, Paul Robertson, Howard Shrobe, Dan Cerys, Prakash Manghwani, Patrik Meijer
2019 arXiv   pre-print
Today's cyber physical systems (CPS) are not well protected against cyber attacks. Protected CPS often have holes in their defense, due to the manual nature of today's cyber security design process.  ...  That is the task assumed by our system, Deriving Cyber-security Requirements Yielding Protected Physical Systems - DCRYPPS.  ...  Acknowledgment This material is based upon work supported by the Defense Advanced Research Projects Agency (DARPA) and Space and Naval Warfare Systems Center Pacific (SSC Pacific) under Contract No.  ... 
arXiv:1901.01867v1 fatcat:ng6b465ebfbctiy6oksyrmulzu

The challenges, approaches, and used techniques of CPS for manufacturing in Industry 4.0: a literature review

Baudouin Dafflon, Nejib Moalla, Yacine Ouzrout
2021 The International Journal of Advanced Manufacturing Technology  
AbstractThis work aims to review literature related to the latest cyber-physical systems (CPS) for manufacturing in the revolutionary Industry 4.0 for a comprehensive understanding of the challenges, approaches  ...  Although the key technologies of Industry 4.0 are the CPS, Internet of Things (IoT), and Internet of Services (IoS), the human component (HC), cyber component (CC), physical component (PC), and their HC-CC  ...  The first draft of the manuscript was written by the three authors and all authors commented on previous versions of the manuscript. All authors read and approved the final manuscript.  ... 
doi:10.1007/s00170-020-06572-4 fatcat:2qo42mk4mjhcricvb6bpy7jizi

Specification Formalisms for Modern Cyber-Physical Systems (Dagstuhl Seminar 19071)

Jyotirmoy V. Deshmukh, Oded Maler, Dejan Nickovic, Michael Wagner
2019 Dagstuhl Reports  
This report documents the program and the outcomes of Dagstuhl Seminar 19071 "Specification Formalisms for Modern Cyber-Physical Systems."  ...  Specifications play a major role in evaluating behaviors of modern cyber-physical systems (CPS).  ...  for Modern Cyber-Physical Systems Ničković and Jyotirmoy V.  ... 
doi:10.4230/dagrep.9.2.48 dblp:journals/dagstuhl-reports/DeshmukhMN19 fatcat:qs52xpqxbzh6vajciydqb3ujgi
« Previous Showing results 1 — 15 out of 5,369 results