Advertisement

3 Nonblocking Supervisory Control of State Tree Structures

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

Abstract

In the previous chapter, we explained how to model a system using state tree structures (STS) and described its behavior by the Δ function. In this chapter, we will move on to deal with the control of STS. The setup of this chapter is the following. First, we compare the state trees of our STS with predicates in section 3.1. Then we handle controllability and nonblocking in section 3.2 and 3.3, respectively. In outline, this chapter follows a similar approach to that of chapter 7 of [Won04]. A new feature is the introduction of weak controllability. With that, the onerous requirement of reachability checking during the synthesis stage can be dropped, with no change in the resulting controlled behavior, but with a gain in computational efficiency for large systems.

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