Overview of Distributed Control Systems Formalisms
Peter Holecko
DOI:
Abstract
This paper discusses a chosen set of mainly object-oriented formal and semiformal methods, methodics, environments and tools for specification, analysis, modeling, simulation, verification, development and synthesis of distributed control systems (DCS).