Overview of Distributed Control Systems Formalisms

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).

Keywords

• distributed control systems
• object-oriented formal method
• semiformal method.