Abstract
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.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
About this chapter
Cite this chapter
Ma, C., Wonham, W.M. 5 The Production Cell Example. In: Nonblocking Supervisory Control of State Tree Structures. Lecture Notes in Control and Information Science, vol 317. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11382119_5
Download citation
DOI: https://doi.org/10.1007/11382119_5
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25069-2
Online ISBN: 978-3-540-31589-6
eBook Packages: EngineeringEngineering (R0)