Filters








2,767 Hits in 6.7 sec

Formal Development and Quantitative Assessment of a Resilient Multi-robotic System [chapter]

Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
2013 Lecture Notes in Computer Science  
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

Inna Vistbakka, Elena Troubitsyna
2020 Computing  
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

Jacopo Panerati, Nicolas Schwind, Stefan Zeltner, Katsumi Inoue, Giovanni Beltrame, Hedvig Kjellström
2018 PLoS ONE  
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)  
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]

Quanyan Zhu, Stefan Rass, Bernhard Dieber, Victor Mayoral Vilches
2021 arXiv   pre-print
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

Ziqi Huang, Yang Shen, Jiayi Li, Marcel Fey, Christian Brecher
2021 Sensors 21(19)  
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

Ziqi Huang, Yang Shen, Jiayi Li, Marcel Fey, Christian Brecher
2021 Sensors  
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

M L Malinowski, P A Beling, Y Y Haimes, A LaViers, J A Marvel, B A Weiss
2015 Proceedings of the Annual Conference of the Prognostics and Health Management Society, PHM  
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

S A Timashev
2019 IOP Conference Series: Materials Science and Engineering  
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]

Atif Mashkoor, Osman Hasan, Wolfgang Beer
2013 Lecture Notes in Computer Science  
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

Benny Mantin, Ravi Shekhar Pathak
2021 Zenodo  
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

E. Zio
2018 Reliability Engineering & System Safety  
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

Andrzej Sobczak
2022 Sustainability  
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)

Mario Gleirscher, Anne E. Haxthausen, Martin Leucker, Sven Linker, Michael Wagner
2020 Dagstuhl Reports  
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

K. Katsaliaki, P. Galetsi, S. Kumar
2021 Annals of Operations Research  
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