Nonblocking Supervisory Control of State Tree Structures

This monograph proposes how to manage complexity by organizing the system as a State Tree Structure (STS). Based on STS, which is an adaptation of statecharts to Supervisory Control Theory, an efficient recursive symbolic algorithm is presented that can perform nonblocking supervisory control design...

Full description

Bibliographic Details
Main Authors: Ma, Chuan (Author), Wonham, W. Murray (Author)
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
Series:Lecture Notes in Control and Information Science, 317
Subjects:
Online Access:Full Text via HEAL-Link
Table of Contents:
  • Introduction
  • State Tree Structures: Basics
  • Nonblocking Supervisory Control of State Tree Structures
  • Symbolic Computation of State Tree Structures
  • The Production Cell Example
  • The AIP Example
  • Conclusions and Future Research.