Internet Archive Scholar
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  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (1.1 MB)
https://web.archive.org/web/20210209090036/https://arxiv.org/pdf/2102.03341v1.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL. The file type is application/pdf.

Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:

2021 pre-print arXiv:2102.03341v1 fatcat:sqilkl2k55htnp4xziwf2mmvyy
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
Multiple Versions
Citation

Heejong Park, Arvind Easwaran, Sidharta Andalam. "Challenges in Digital Twin Development for Cyber-Physical Production Systems." Lecture Notes in Computer Science (2019) 28-48

Lessons Learned [chapter]

Ralf Reussner, Michael Goedicke, Wilhelm Hasselbring, Birgit Vogel-Heuser, Jan Keim, Lukas Märtin
2019 Managed Software Evolution  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (166.8 kB)
https://web.archive.org/web/20200510121102/https://link.springer.com/content/pdf/10.1007%2F978-3-030-13499-0_13.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL. The file type is application/pdf.

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
Citation

Ralf Reussner, Michael Goedicke, Wilhelm Hasselbring, Birgit Vogel-Heuser, Jan Keim, Lukas Märtin. "Lessons Learned." Managed Software Evolution (2019) 375-380

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)  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (2.0 MB)
https://web.archive.org/web/20210427133933/https://re.public.polimi.it/retrieve/handle/11311/1145660/539901/RNN_ruleExtr_03.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL. The file type is application/pdf.

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
Citation

Alessandro Brusaferri, Matteo Matteucci, Stefano Spinelli, Andrea Vitali. "Extracting finite state representations from recurrent models of Industrial Cyber Physical Systems." 2020 7th International Conference on Control, Decision and Information Technologies (CoDIT) (2020)

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

Craig Rieger, Milos Manic
2018 arXiv   pre-print

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (1.9 MB)
https://web.archive.org/web/20200826171717/https://arxiv.org/ftp/arxiv/papers/1812/1812.02710.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL. The file type is application/pdf.

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
Citation

Craig Rieger, Milos Manic. "On Critical Infrastructures, Their Security and Resilience - Trends and Vision." arXiv (2018)

Verification of Cyber-Physical Systems (Dagstuhl Seminar 14122)

Rupak Majumdar, Richard M. Murray, Pavithra Prabhakar, Marc Herbstritt
2014 Dagstuhl Reports  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (754.6 kB)
https://web.archive.org/web/20220123034332/https://drops.dagstuhl.de/opus/volltexte/2014/4593/pdf/dagrep_v004_i003_p085_s14122.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL. The file type is application/pdf.

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
Citation

Rupak Majumdar, Richard M. Murray, Pavithra Prabhakar, Marc Herbstritt. "Verification of Cyber-Physical Systems (Dagstuhl Seminar 14122)." Dagstuhl Reports (2014) 85-102

Modular Supervisory Synthesis for Unknown Plant Models Using Active Learning

Fredrik Hagebring, Ashfaq Farooqui, Martin Fabian
2020 IFAC-PapersOnLine  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (687.3 kB)
https://web.archive.org/web/20210715162747/https://research.chalmers.se/publication/524315/file/524315_Fulltext.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL. The file type is application/pdf.

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
Citation

Fredrik Hagebring, Ashfaq Farooqui, Martin Fabian. "Modular Supervisory Synthesis for Unknown Plant Models Using Active Learning." IFAC-PapersOnLine 53.4 (2020) 324-330

Active Learning of Modular Plant Models

Ashfaq Farooqui, Fredrik Hagebring, Martin Fabian
2020 IFAC-PapersOnLine  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (598.1 kB)
https://web.archive.org/web/20210715034629/https://research.chalmers.se/publication/524279/file/524279_Fulltext.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL. The file type is application/pdf.

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
Citation

Ashfaq Farooqui, Fredrik Hagebring, Martin Fabian. "Active Learning of Modular Plant Models." IFAC-PapersOnLine 53.4 (2020) 296-302

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  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (487.0 kB)
https://web.archive.org/web/20200321164354/https://hal.archives-ouvertes.fr/hal-02191325/document

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL. The file type is application/pdf.

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
Citation

Bereket Abera Yilma, Hervé Panetto, Yannick Naudet. "A Meta-Model of Cyber-Physical-Social System: The CPSS Paradigm to Support Human-Machine Collaboration in Industry 4.0." IFIP Advances in Information and Communication Technology (2019) 11-20

Multi-paradigm modelling of Cyber-Physical Systems

Dmitry Morozov, Mario Lezoche, Hervé Panetto
2018 IFAC-PapersOnLine  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (590.5 kB)
https://web.archive.org/web/20190503132838/https://hal.archives-ouvertes.fr/hal-01813386/document

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL. The file type is application/pdf.

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
Citation

Dmitry Morozov, Mario Lezoche, Hervé Panetto. "Multi-paradigm modelling of Cyber-Physical Systems." IFAC-PapersOnLine 51.11 (2018) 1385-1390

Helping IT and OT Defenders Collaborate [article]

Glenn A. Fink, Penny McKenzie
2019 arXiv   pre-print

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (1.2 MB)
https://web.archive.org/web/20200902230901/https://arxiv.org/ftp/arxiv/papers/1904/1904.07374.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL. The file type is application/pdf.

(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
Citation

Glenn A. Fink, Penny McKenzie. "Helping IT and OT Defenders Collaborate." arXiv (2019)

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  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (622.3 kB)
https://web.archive.org/web/20201230050707/http://isyou.info/jisis/vol9/no3/jisis-2019-vol9-no3-04.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL. The file type is application/pdf.

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
DOAJ
Citation

Matthias Eckhart, Bernhard Brenner, Andreas Ekelhart, Edgar R. Weippl. "Quantitative Security Risk Assessment for Industrial Control Systems: Research Opportunities and Challenges." Journal of Internet Services and Information Security (2019) 52-73

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  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (1.3 MB)
https://web.archive.org/web/20210816212844/https://pdf.sciencedirectassets.com/776643/1-s2.0-S2666281721X00054/1-s2.0-S2666281721001062/main.pdf?X-Amz-Security-Token=IQoJb3JpZ2luX2VjED0aCXVzLWVhc3QtMSJGMEQCIDZPbuVFRfuzd2q1q5bCs9oMvV9qI38fuEu4vJHSE1qOAiAi2iq9xIB0RixLiaGqGzJV3YUjC2GLVsWJVZvZfCq7nir6AwhmEAQaDDA1OTAwMzU0Njg2NSIMP5uEOTNUK%2FbTp72pKtcDfeNHlePeTZvAWFFLkdybhV761%2BSuIZQ539fcdc%2FsgQih4bfA5opycBSkSfN9D6KhLR%2BwdCglSj534Z9l1lL2HAMrro%2FuBJvE95a0y%2F0d%2BaF0kdlXU4a8FCgajWtSytnu%2B72S8JVEiczvzzXF73NncOvO2N0E1hrPeyh%2FFo5ez46MkTxh8tamryaSOONfKKXPzbRkvwzbhXuIza3HlzYGXtwhf3F7XTum6akyRKrjaNlSW4uLkK7W1Pj9KqWCbtysp7yKlTkNOSMXFlr1RLsLhV3GWQu6FkeVHwWPyNfCx7QCpiJd3ar%2BVzWUh3nb2Uyy0z58GV9SxzhQeMzC2FAgyibtS0XQJ9vCqE%2F%2Fmnm%2FRmhsYUF6Kdt8GIkHPTEtrFcTMOlPiP16ZY9MDjN1L6IB6O42J2HBCBxJLaUBP1n8t8r64iRVW%2F8FiIxKJDsXOqxx4UEh8IX%2FRvoG8OZiC6Sm%2Fvkuq%2BbFARGenGaUwtY8WEOWt5p%2BCglR2c%2Bvjl7CFL7qBlAnUpBjneO8BbC4dPi8MoLFAnnoOTlDeOTLZ2bLowPIIC1z%2Fd21EKwFuLmcgLY0ohdsr9qUxNCuAOlHaua34cQgf0Xa3ytbsVv12UdadFHgzaUlfWxlMPiS64gGOqYBEsubr6Kp3vhzhQ0FeOUqeKGAAtZ1kQz3QQDrSUpysqkTlov%2BOsBb02fF8IL8mhIqWm2GTTd4Mwo3P%2FNid28dSqjZU6fQDuEWY98TEpnofA%2Fkoah6oUTUcy7bG1Wb00H3kqRhmC4MAE8eTRYufC1TK2UpORMEtlHP1ZcU%2FT6VLoWcKOp1eF5rZH%2BqRa%2BaR%2Buflx08oUpsZPeQxomPfvdI3eYdaTpLrw%3D%3D&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Date=20210816T212514Z&X-Amz-SignedHeaders=host&X-Amz-Expires=300&X-Amz-Credential=ASIAQ3PHCVTYRZM2YJUS%2F20210816%2Fus-east-1%2Fs3%2Faws4_request&X-Amz-Signature=c35f0b282d8cd992fd0a81afd731e15ae0bcaced898fb08d2ae2a315aac8410b&hash=16190b7e426cc7cfa45a3a33a209cbcc84614549b27336a215106f9e76165fec&host=68042c943591013ac2b2430a89b270f6af2c76d8dfd086a07176afe7c76c2c61&pii=S2666281721001062&tid=spdf-b41074f9-846c-4c9e-baa6-2aa921b84841&sid=970cd0a385dd384b5d0b56d-a79559be9ba2gxrqa&type=client

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL. The file type is application/pdf.

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
Open Access
Citation

Nataliia Neshenko, Elias Bou-Harb, Borko Furht. "A behavioral-based forensic investigation approach for analyzing attacks on water plants using GANs." Forensic Science International: Digital Investigation (2021) 301198

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

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (1.7 MB)
https://web.archive.org/web/20200905212434/https://arxiv.org/pdf/1901.01867v1.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL. The file type is application/pdf.

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
Citation

Robert Laddaga, Paul Robertson, Howard Shrobe, Dan Cerys, Prakash Manghwani, Patrik Meijer. "Deriving Cyber-security Requirements for Cyber Physical Systems." arXiv (2019)

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  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (1.2 MB)
https://web.archive.org/web/20210718054940/https://link.springer.com/content/pdf/10.1007/s00170-020-06572-4.pdf?error=cookies_not_supported&code=f2e76529-2692-4dbd-a227-d9f0fe678116

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL. The file type is application/pdf.

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
Open Access
Citation

Baudouin Dafflon, Nejib Moalla, Yacine Ouzrout. "The challenges, approaches, and used techniques of CPS for manufacturing in Industry 4.0: a literature review." The International Journal of Advanced Manufacturing Technology (2021)

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

Jyotirmoy V. Deshmukh, Oded Maler, Dejan Nickovic, Michael Wagner
2019 Dagstuhl Reports  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (10.7 MB)
https://web.archive.org/web/20220123034413/https://drops.dagstuhl.de/opus/volltexte/2019/10858/pdf/dagrep_v009_i002_p048_19071.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL. The file type is application/pdf.

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
Citation

Jyotirmoy V. Deshmukh, Oded Maler, Dejan Nickovic, Michael Wagner. "Specification Formalisms for Modern Cyber-Physical Systems (Dagstuhl Seminar 19071)." Dagstuhl Reports (2019) 48-72

« Previous Showing results 1 — 15 out of 5,369 results