On the Validation of Robotics Control Systems Part II: Analysis of real-time closed-loop control tasksReport as inadecuate




On the Validation of Robotics Control Systems Part II: Analysis of real-time closed-loop control tasks - Download this document for free, or read online. Document in PDF available to download.

1 ICARE - Instrumentation, control and architecture of advanced robots CRISAM - Inria Sophia Antipolis - Méditerranée

Abstract : In the framework of the {\sc Orccad} system, periodic and multi-rate control laws are implemented in terms of a set of computing tasks to be executed under a real-time operating system. Simulations and experiments demonstrate that partially synchronizing such tasks can improve the practical performance of the implementation. In this paper, we examine the consequences of introducing such synchronisation in terms of two temporal problems which may occur and how they may be detected using Petri net modeling. We conclude with some guidelines about how to add such synchronisation to design deadlock free and efficient real-time periodic control laws.

keyword : PETRI NET MODELING VERIFICATION REAL-TIME MULTITASK SYNCHRONIZATION





Author: Daniel Simon - Eduardo Castillo Paul Freedman

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents