Michel Fliess and non-commutative formal power series.

Christophe Reutenauer

Published in: Int. J. Control (2008)

Keyphrases

real time
formal specification
real world
search engine
computer vision
case study
computational complexity
special case
power consumption
formal model
formal language
power distribution