Fault Tolerance Analysis for Dependable Autonomous Agents using Colored Time Petri Nets
Lan Anh Trinh, Baran Cürüklü, Mikael Ekström
2017
Abstract
Fault tolerance has become more and more important in the development of autonomous systems with the aim to help the system to recover its normal activities even when some failures happen. Yet, one of the concerns is how to analyze the reliability of a fault tolerance mechanism with regards to the collaboration of multiple agents to complete a complicated task. To do so, an approach of fault tolerance analysis with the colored time Petri net framework is proposed in this work, where a task can be represented by a tree of different concurrent and dependent subtasks to assign to agents. Different subtasks and agents are modeled by color tokens in Petri network. The time values are added to evaluate the processing performance of the whole system with respect to its ability to solve a task with fault tolerance ability. The colored time Petri nets are then tested with simulation of centralized and distributed systems. Finally the experiments are performed to show the feasibility of the proposed approach. From the basics of this study, a generalized framework in the future can be developed to address the fault tolerance analysis for a set of agents working with a sophisticated plan to achieve a common target.
References
- Acharya, S., Upadhyay, P. D., and Dutta, A. (2014). Fault tolerance multi agent co-ordination: A petri net based approach. In Proceedings on International Conference on Recent Advances and future Trends in Information Technology.
- Aviz?ienis, A., Laprie, J., Randell, B., and Landwehr, C. (2004). Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing, 1(1).
- Bernardi, S., Merseguer, J., and Petriu, D. C. (2013). Model-Driven Dependability Assessment of Software Systems. SPRINGER.
- Graf, B. and Gele, M. (2001). Dependable interation with an intelligent home care robot. In In proceedings of ICRA - Workshop on Technical Challenge for Dependable Robots in Human Environments. IEEE.
- Guiochet, J. (2015). Trusting robots : Contributions to dependable autonomous collaborative robotic systems. Technical report, LAAS - Laboratoire d'analyse et d'architecture des systmes [Toulouse].
- Haddad, J. and Haddad, S. (2004). A fault-tolerant communication mechanism for cooperative robots. International Journal of Production Research, 42(14):2793- 2808.
- Jensen, K. (2003). Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Springer Verlag.
- Joaquin, L., Diego, P., and Eduardo, Z. (2011). A framework for building mobile single and multi-robot applications. Robotics and Autonomous Systems, 59(3- 4):151-162.
- Kim, G. and Chung, W. (2007). Navigation behavior selection using generalized stochastic petri nets for a service robot. IEEE Transactions on Systems, Man, and Cybernetics part C: Applicactions and Reviews, 37(4).
- Kohlík, M. (2009). Dependability models based on petri nets and markov chains. In Information Science and Computer Engineering, 1st Class, Full-time study.
- Malhotra, M. and Trivedi, K. (1995). Dependability modeling using Petri-nets. IEEE Transactions on Reliability, 44(3).
- Miyagi, P. and Riascos, L. (2004). Modeling and analysis of fault-tolerant systems for machining operations based on petri nets. Control Engineering Practice, 14(4):397-408.
- Moon, C. and Chung, W. (2012). Coordination of multiple control schemes for mobile robot navigation on the basis of the generalized stochastic petri-nets. Advanced Robotics, 26(5-6):581-603.
- Mustapic, G., Anderson, J., Norstrom, C., and Wall, A. (2004). A Dependable Open Platform for Industrial Robotics - A Case Study. SPRINGER.
- Parhami, B. (1994). A multi-level view of dependable computing. Computers and Electrical Engineering, 20(4):347-368.
- Troubitsyna, E. and Javed, K. (2014). Towards systematic design of adaptive fault tolerant systems. In ADAPTIVE 2014, The Sixth International Conference on Adaptive and Self-Adaptive Systems and Applications. IARIA.
- Yen, H. (2006). Introduction to petri net theory, in recent advances in formal languages and applications. In Studies in Computational Intelligence, volume 25, pages 343-373.
Paper Citation
in Harvard Style
Trinh L., Cürüklü B. and Ekström M. (2017). Fault Tolerance Analysis for Dependable Autonomous Agents using Colored Time Petri Nets . In Proceedings of the 9th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART, ISBN 978-989-758-219-6, pages 228-235. DOI: 10.5220/0006196002280235
in Bibtex Style
@conference{icaart17,
author={Lan Anh Trinh and Baran Cürüklü and Mikael Ekström},
title={Fault Tolerance Analysis for Dependable Autonomous Agents using Colored Time Petri Nets},
booktitle={Proceedings of the 9th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,},
year={2017},
pages={228-235},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006196002280235},
isbn={978-989-758-219-6},
}
in EndNote Style
TY - CONF
JO - Proceedings of the 9th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,
TI - Fault Tolerance Analysis for Dependable Autonomous Agents using Colored Time Petri Nets
SN - 978-989-758-219-6
AU - Trinh L.
AU - Cürüklü B.
AU - Ekström M.
PY - 2017
SP - 228
EP - 235
DO - 10.5220/0006196002280235