Méthodes formelles pour les systèmes réactifs, applications au live coding

Overview & Synopsis

Le formalisme des systèmes à événements discrets et des systèmes réactifs offre un cadre abstrait efficace pour représenter et étudier de nombreux systèmes. Dans cette thèse, nous exploitons ce formalisme afin de modéliser une partition de live coding dont l’interprétation est conditionnée par l’occurrence d’événements spécifiques. Cette approche nous a conduits à étudier les méthodes formelles des systèmes à événements discrets qui permettent de les modéliser, de les analyser et de concevoir des stratégies de contrôle adaptées. Cette étude a donné lieu à plusieurs contributions, notamment en ce qui concerne l’expressivité des automates pondérés, la vérification formelle de propriétés temporelles, et sur l’existence d’une simulation pondérée. La dernière partie de ce mémoire présente le formalisme de la partition interactive ainsi que de la librairie Troop Interactive, développée pour rendre accessible l’écriture de partition interactive et la réalisation de performances sonores interactives reposant sur la pratique du live coding.