Multi-level and modular synthesis and analysis of logic control systems

Logic control is used to govern both discrete event systems such as manufacturing systems, pallets and AGVs, and continuous time systems, to perform start-up sequences of different control loops, to activate emergency procedures, to handle faults and protection devices, to configure controllers´ parameters. When dealing with complex automation systems, inevitably the design involves a number of people and of phases, so that its development and its maintenance is often a source of troubles. In this respect, precious criteria are the standardization, the modularization and the late refinement (that is the possibility to refine a design at the latest possible moment). The paper is based on these concepts, and in particular discusses modeling, analysis, and a synthesis procedure