Advertisement

5 The Production Cell Example

  • Chuan Ma
  • W. Murray Wonham
Chapter
Part of the Lecture Notes in Control and Information Science book series (LNCIS, volume 317)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Authors and Affiliations

  • Chuan Ma
    • 1
  • W. Murray Wonham
    • 1
  1. 1.University of Toronto Dept. of Electrical and Computer Engineering 10 King’s College Road Toronto, OntarioCanada M5S 3G4

Personalised recommendations