Supervisory Control of Concurrent Systems A Petri Net Structural Approach

Additional features of the text: * Applications of the methods presented are emphasized by considering various concurrency assumptions as well as types of system uncontrollability and unobservability. * Treatment of the supervision problem for decentralized settings and hybrid dynamical systems. * A...

Full description

Bibliographic Details
Main Authors: Iordache, Marian, Antsaklis, Panos J. (Author)
Format: eBook
Language:English
Published: Boston, MA Birkhäuser 2006, 2006
Edition:1st ed. 2006
Series:Systems & Control: Foundations & Applications
Subjects:
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Table of Contents:
  • An Introduction to Petri Nets
  • The Supervision of Petri Nets
  • Enforcing General Specifications
  • Decentralized Supervision of Petri Nets
  • Deadlock and Liveness Properties of Petri Nets
  • Liveness Enforcement in Petri Nets: A Structural Approach. Part I
  • Liveness Enforcement in Petri Nets: A Structural Approach. Part II
  • DES Control of Concurrent Hybrid Systems
  • Hybrid System Level Control