DECOMPOSITION METHOD FOR MODELING AND RESEARCH OF PULSE-FREQUENCY CONTROL SYSTEMS

The pulse-frequency control systems are widely used in radar, space industry, for control of technological processes and robots and many other areas. Today, there are various approximate and accurate methods for the analysis and synthesis of pulse-frequency systems (PFS). However, the area of the practical application of the existed methods is mainly limited to single-variable systems. The classical methods provide the consideration of the initial structures of pulse-frequency systems as a whole. This article proposes the decomposition method for modeling and research pulse-frequency automatic control systems. The method is based on the mathematical apparatus of signal-flow graphs. We can use the method for analysis and synthesis of both single-variable and multivariable automatic control systems with pulse-frequency modulation

Contextual Equivalence for Signal Flow Graphs

We extend the signal flow calculus—a compositional account of the classical signal flow graph model of computation—to encompass affine behaviour, and furnish it with a novel operational semantics. The increased expressive power allows us to define a canonical notion of contextual equivalence, which we show to coincide with denotational equality. Finally, we characterise the realisable fragment of the calculus: those terms that express the computations of (affine) signal flow graphs.