Processus d'identification de contraintes de sécurité innocuité vérifiables en ligne pour des systèmes autonomes critiques

Autor: Mekki Mokhtar, Amina

Les progrès récents dans la définition de mécanismes décisionnels ont permis de déléguer de plus en plus de responsabilités aux systèmes informatiques. Par exemple, des robots de service travaillent aujourd'hui en interaction avec l'humain e

Externí odkaz: http://tel.archives-ouvertes.fr/tel-00800859
http://tel.archives-ouvertes.fr/docs/00/80/08/59/PDF/THESE_Amina_MEKKI_MOKHTAR.pdf

Specification of online verifiable safety constraints for critical autonomous systems

Autor: Mekki-Mokhtar, Amina

Publikováno v: Autre [cs.OH]. Université Paul Sabatier-Toulouse III, 2012. Français
Autre [cs.OH]. Université Paul Sabatier-Toulouse III, 2012. Français. ⟨NNT : ⟩

Recent progress in the definition of decisional mechanisms has allowed computer-based systems to become more and more autonomous. For example, service robots can nowadays work in direct interaction with humans and carry out increasingly complex tasks

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7040f0c9a829b887936c05ff5b290657
https://tel.archives-ouvertes.fr/tel-00800859/document