Temporal Analysis of Mixed Intrumental/Electronic Music Scores

Fanchon Léa 1, 2
1 MuTant - Synchronous Realtime Processing and Programming of Music Signals
Inria Paris-Rocquencourt, UPMC - Université Pierre et Marie Curie - Paris 6, IRCAM, CNRS - Centre National de la Recherche Scientifique
Abstract : The subject of this internship was to add a static-analysis module to the score-following system Antescofo. The aim of this static-analysis module is to forecast the temporal behavior of the system during live performances, providing a substantial help to both composers and interprets. We follow an approach similar to the Inverse Method implemented by Etienne André in the tool IMITATOR. This method permits to infer constraints on the timing bounds (parametric delays) in timed automata guarantying the same execution trace as for given reference values for the delays. In our case, the parameters should represent the tempo of the musician, and the constraints should restrict the tempo variations, indicating the degree of freedom in interpretation guarantying the expected realtime behavior of the system. For musicality reasons, we found a way to relax the notion of same execution trace to some alternatives.
Liste complète des métadonnées

Contributor : Florent Jacquemard <>
Submitted on : Thursday, December 6, 2012 - 12:06:59 PM
Last modification on : Saturday, March 23, 2019 - 1:40:42 AM


  • HAL Id : hal-00762004, version 1


Fanchon Léa. Temporal Analysis of Mixed Intrumental/Electronic Music Scores. Logic in Computer Science [cs.LO]. 2012. ⟨hal-00762004⟩



Record views