Hybrid Formal Power Series and Their Application to realization theory of hybrid systems
Mihály Petreczky · Data Archiving and Networked Services (DANS) · 2006
The paper presents the abstract framework of hybrid formal power series. Hybrid formal power series are analogous to non-commutative formal power series. Formal power series are widely used in control systems theory. In particular, theory of formal power series is the main tool for solving the realization problem for linear and bilinear control systems. The theory of hybrid formal power series developed in this paper plays a similar role in realization theory of hybrid systems. The paper develops theory of rational hybrid formal power series and their representations. The relevance of the abstract theory is demonstrated by presenting an application of the theory to solving the realization problem for linear and bilinear hybrid systems.