0 t = 0 t 1 t = 1 timeouti? skipi? killi? killi? killi? mini! C C skipj! killj! C stopi! killi? timeouti? t = 0 mini! 1 6= 1 1 = 1 Modelling a flexible interval / structure / * with interaction points
one or more temporal intervals. C mini? counter + + , pass := false skipi? counter + + counter < n counter = n ^ pass = true counter = n ^ pass = false skipj! stopj! killj? Controlling several temporal intervals interactive interval 1 interactive interval 2 merge interactive (1,2) min max min max min max interaction point enabled time
FAUST for FPGA Programming,” in 9th International Conference on Digital Audio Effects, 2006, pp. 18–20. [2] R. Aviziensis, A. Freed, T. Suzuki, and D. Wessel, “Scalable Connectivity Processor for Computer Music Performance Systems,” in International Computer Music Conference, 2000. [3] J. Echeveste, A. Cont, J.-L. Giavitto, and F. Jacquemard, “Operational semantics of a domain specific language for real time musician–computer interaction,” Discret. Event Dyn. Syst., vol. 23, no. 4, pp. 343–383, Apr. 2013. [4] Y. Jiang, H. Zhang, Z. Li, Y. Deng, X. Song, M. Gu, and J. Sun, “Design and Optimization of Multi-clocked Embedded Systems using Formal Techniques,” IEEE Trans. Ind. Electron., pp. 1–1, 2014. [1] M. Pajic, Z. Jiang, I. Lee, O. Sokolsky, and R. Mangharam, “From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study,” in Real Time and Embedded Technology and Applications Symposium, 2012, pp. 173–184.