5 The Production Cell Example
This chapter explains how to model and control a benchmark example, the Production Cell, using the State Tree Structure (STS) methodology. We will focus on describing a complex control problem in our framework, i.e., how to model a complex system top-down and write accurate logic specification formulas for it.
Unable to display preview. Download preview PDF.