Multi-level and modular synthesis and analysis of logic control systems
Luca Ferrarini · 2002
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.>