Séance de cours

Synthétise symbolique via les BDD

Description

Cette séance de cours couvre la synthèse réactive symbolique efficace pour les tâches d'horizon fini à l'aide de diagrammes de décision binaires (BDD) pour représenter compactement les fonctions et ensembles booléens, comme l'ont démontré Keliang He, Andrew Wells, Lydia E. Kavraki et Moshe Y. Vardi de l'Université de Rice. La présentation se penche sur les principales parties du problème, y compris le système de transition et le DFA, données en ce qui concerne les variables booléennes, et les calculs impliquant des fonctions et des ensembles booléens. La séance de cours comprend également un exemple de Wikipédia et fait référence à un article de R. E. Bryant sur les algorithmes basés sur des graphiques pour la manipulation des fonctions booléennes.

Cette vidéo est disponible exclusivement sur Mediaspace pour un public restreint. Veuillez vous connecter à Mediaspace pour y accéder si vous disposez des autorisations nécessaires.

Regarder sur Mediaspace
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.