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.
Filters
Formal Development and Quantitative Assessment of a Resilient Multi-robotic System
[chapter]
2013
Lecture Notes in Computer Science
Preserved Fulltext
We demonstrate our approach by a case study -development and assessment of a cleaning multi-robotic system. ...
Ensuring resilience of multi-robotic systems is a notoriously difficult task. ...
In this paper we propose an alternative approach to development and assessment of resilient multi-robotic systems. ...
doi:10.1007/978-3-642-40894-6_9
fatcat:ucmw2tetbrdebc3mqjrwmy3kpy
Modelling resilient collaborative multi-agent systems
2020
Computing
Preserved Fulltext
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.
Our patterns facilitate modelling behaviour of resilient multi-agent systems in a rigorous systematic way and verification of their properties. ...
In this paper, we propose a generic resilience-explicit formalisation of the main concepts of multi-agent systems. ...
Overall, the formal development in Event-B has resulted in building a clean and well-structured architecture of a multi-agent system. ...
doi:10.1007/s00607-020-00861-2
fatcat:sblfs5pyyvhhbpb3hvwikvq6dq
Assessing the resilience of stochastic dynamic systems under partial observability
2018
PLoS ONE
Preserved Fulltext
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.
Resilience is a property of major interest for the design and analysis of generic complex systems. ...
In this work, we adapt a formal definition of resilience for constraint-based systems to a probabilistic framework derived from hidden Markov models. ...
Acknowledgments The authors would like to thank the reviewers for their comments, the constructive feedback, and the opportunity to improve this manuscript. ...
doi:10.1371/journal.pone.0202337
pmid:30138373
fatcat:tave2nw3pzggno3krhdbjqc6au
SoSE 2018 TOC
2018
2018 13th Annual Conference on System of Systems Engineering (SoSE)
Preserved Fulltext
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.
Tan Pages: 444-451 Quantitative and Qualitative Reliability Assessment of Reparable Electrical Power Supply Systems using Fault Tree Analysis Method and Importance Factors by Dallal Kemikem, Mohamed Boudour ...
System of Systems Development by Donald Challenges for the Self-Safety in Autonomous Vehicles by Matthieu Carré, Cognitive and functional rehabilitation using serious games and a system of systems ...
doi:10.1109/sysose.2018.8428777
fatcat:kippordrgfcundyk6qxp2xvwci
Cybersecurity in Robotics: Challenges, Quantitative Modeling, and Practice
[article]
2021
arXiv
pre-print
Preserved Fulltext
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.
Other Versions
Such a multi-perspective view on security is necessary to address the heterogeneity and complexity of robotic systems. ...
We advocate quantitative methods of security management and design, covering vulnerability scoring systems tailored to robotic systems, and accounting for the highly distributed nature of robots as an ...
We thank many of our friends and colleagues for their inputs and suggestions. ...
arXiv:2103.05789v4
fatcat:p3inkof6kbh3rds6jigvmq4doe
A Survey on AI-Driven Digital Twins in Industry 4.0: Smart Manufacturing and Advanced Robotics
2021
Sensors 21(19)
Preserved Fulltext
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.
This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY ...
., Fraunhofer IPT, as well as the Chair of Production Metrology and Quality Management, and Production Engineering of the Laboratory for Machine Tools and Production Engineering (WZL) for their permission ...
Acknowledgments: The authors would like to thank the German Research Foundation DFG for the support within the Cluster of Excellence "Internet of Production"-390621612. ...
doi:10.18154/rwth-2021-09877
fatcat:yjhprcascvfutisat7olust3kq
A Survey on AI-Driven Digital Twins in Industry 4.0: Smart Manufacturing and Advanced Robotics
2021
Sensors
Preserved Fulltext
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 the fields of smart manufacturing and advanced robotics. ...
Practical challenges and development prospects of AI-driven DTs are discussed with a respective focus on different levels. ...
The advantages of AI-driven DTs in sustainable development are elaborated regarding the FESG factors, which enable a quantitative assessment of sustainability. 3. ...
doi:10.3390/s21196340
pmid:34640660
fatcat:qy3qiazvqrejvfuixudd6ywqsq
System Interdependency Modeling in the Design of Prognostic and Health Management Systems in Smart Manufacturing
2015
Proceedings of the Annual Conference of the Prognostics and Health Management Society, PHM
Preserved Fulltext
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 fields of risk analysis and prognostics and health management (PHM) have developed in a largely independent fashion. However, both fields share a common core goal. ...
An important aspect of proactive risk management includes bolstering the resilience of the system for specific EFCs by appropriately controlling the states. ...
Acknowledgments This paper documents results from a collaborative effort between the University of Virginia's Systems Engineering Department, and the National Institute of Standards and Technology (NIST ...
pmid:28664162
pmcid:PMC5486229
fatcat:4qdrakm7oncprc66ans3aj73ly
Infranetics: The New MAICS-convergent Technology Science
2019
IOP Conference Series: Materials Science and Engineering
Preserved Fulltext
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.
systems of interdependent smart infrastructures (RICI) and 4) spatial entropy of creation and destruction of a regional system of ICI. ...
This methodology is based on optimal management of systems of interdependent critical infrastructures (ICI) that play crucial role in the sustainable development of a modern society of risk. ...
functions/processes of time and coordinates, including global changes of climate; • Methods of assessing the reliability and safety of multi-element systems subjected to combinations of random loads, ...
doi:10.1088/1757-899x/481/1/012023
fatcat:opu5dmq2ezd6ppwkfl2za6x7bi
Using Probabilistic Analysis for the Certification of Machine Control Systems
[chapter]
2013
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Traditional testing techniques often reach their limits when employed for the assessment of critical Machine Control Systems as they contain a large amount of random and unpredictable components. ...
the certification of high-assurance systems. ...
Fund for Regional Development as well as the State of Upper Austria. ...
doi:10.1007/978-3-642-40588-4_21
fatcat:e4fjb4edtzhzvcqbvydhpt5b6u
Redefining resilience: Integrative review and development of an assessment tool
2021
Zenodo
Preserved Fulltext
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.
As such, resilience is a multi-dimensional measure. ...
More important, we summarize thirty-two diverse aspects of resilience and develop an encompassing assessment tool which categorizes these aspects into several core dimensions of organizations—supply, internal ...
The authors would like to thank all participants of the ACTING NoW project, and in particular Cindy Guerlain, Francesco Ferrero, and Carla Rosen-Vacher, for their constructive feedback and valuable input ...
doi:10.5281/zenodo.4564150
fatcat:zazyxcjdxfc5zdicw2uguckpae
The future of risk assessment
2018
Reliability Engineering & System Safety
Preserved Fulltext
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.
for dynamic and condition monitoring-based risk assessment, the safety and security assessment of cyber-physical systems. ...
These include the use of simulation for accident scenario identification and exploration, the extension of risk assessment into the framework of resilience and business continuity, the reliance on data ...
Francesco Di Maio and Wei Wang of Politecnico di Milano, and Drs. ...
doi:10.1016/j.ress.2018.04.020
fatcat:lwtzioifnneaxdt5xgqil3vjoy
Robotic Process Automation as a Digital Transformation Tool for Increasing Organizational Resilience in Polish Enterprises
2022
Sustainability
Preserved Fulltext
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.
One of the goals of the conducted research was to develop a classification of approaches to RPA positioning in enterprises. ...
that strategically position RPA and treat it as a tool for digital transformation increase their organizational resilience. ...
indicate that as companies develop increasing numbers of software robots, both the developmental period and the scope of the implementation should become greater. ...
doi:10.3390/su14031333
fatcat:qqw7253jnncszipcoyxrqagz2a
Analysis of Autonomous Mobile Collectives in Complex Physical Environments (Dagstuhl Seminar 19432)
2020
Dagstuhl Reports
Preserved Fulltext
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.
Our aim was to understand the practical challenges and the capabilities and limitations of recent formal modelling and analysis techniques when tackling these challenges, and to initiate a special research ...
application of several rigorous engineering methods and formal analysis techniques. ...
The sketched concepts are then instantiated on the provided benchmark, as a contribution to develop an analytic safety assessment process. ...
doi:10.4230/dagrep.9.10.95
dblp:journals/dagstuhl-reports/GleirscherHLL19
fatcat:ut2tli44vrbplhpfjb42w7jpja
Supply chain disruptions and resilience: a major review and future research agenda
2021
Annals of Operations Research
Preserved Fulltext
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 content analysis of these studies synthesized existing information about the types of disruptions, their impact on supply chains, resilience methods in supply chain design and recovery strategies proposed ...
Based on a review process important studies have been identified and analyzed. ...
in reconfiguring the network design ) With a focus on the modelling aspect of a multi-stage, multi-period, and multi-commodity problem settings are developed for multiobjective decision-making on optimal ...
doi:10.1007/s10479-020-03912-1
pmid:33437110
pmcid:PMC7792559
fatcat:x2ce77z4lval7ifffhit6bhnvm
« Previous
Showing results 1 — 15 out of 2,767 results