Modeling and analysis of some logical-dynamic systems
S. N. Vassilyev, P.K. Kuznetsov, A. V. Lakeyev, A.K. Zherlov · OSTI OAI (U.S. Department of Energy Office of Scientific and Technical Information) · 1994
The logical-dynamic systems (LDSs) are understood as complicated, controlled system, whose Operation in time are described using logical means. Examples: multicar elevators, switching circuits (microprocessors, VLSI, spacecraft control systems, etc. It is known that VLSI chips, etc.) are the important components of systems of control. But it is difficult to described investigate their different dynamic properties on the base of models of automata an theory. Known logical-dynamic models describe the real processes in switching circuits (henceforth referred to as simply {open_quote}schemes{close_quote}) not completely enough. This paper proposes a phenomenologic description of such processes using special-form integro-operational equations. Since the model`s dimension is generally rather large, it is important to propose for analysis of dynamic properties a method, which would not need the exhaustive search for initial states, delay parameters, etc. in a process of analysis. As such a method we have proposed a comparison method employing the ideas of. Finally, we propose some new logical calculus for real-time control of LDSs.