Found 4 document(s)
Page 1 of 1
-
Critical systems such as those developed in the aerospace, railway or automotive industries need official documents to certify their safety via convincing arguments. However, informal tools used in certification document...
-
La théorie du contrôle par supervision (Supervisory Control Theory, SCT), ou synthèse de superviseur, a été inventée en 1987 par P.Ramadge et W.M.Wonham. La SCT s'appuie sur la théorie des langages, et a recours aux mach...
-
Recent advances in robotics technologies have opened multiple opportunities for the use of robots to support various activities of our daily life and to interact with humans in different ways. In such contexts, it is cru...
-
Les systèmes de la robotique de service, tels que les robots médicaux, permettent de réaliser des tâches complexes en milieu humain, et s'intègrent à ce titre dans les systèmes à sécurité critique. Lors de la conception ...