Supervisory Control of Concurrent Systems A Petri Net Structural Approach /

Increasing complexity in engineering projects raises difficult challenges in industry and requires effective tools for correct-by-construction design or design verification. This book addresses the design of such tools for correct-by-construction synthesis of supervisors for systems and specificatio...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Iordache, Marian (Autor), Antsaklis, Panos J. (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Boston, MA : Birkhäuser Boston : Imprint: Birkhäuser, 2006.
Edición:1st ed. 2006.
Colección:Systems & Control: Foundations & Applications,
Temas:
Control engineering.
Industrial engineering.
Production engineering.
Engineering mathematics.
Engineering-Data processing.
System theory.
Control theory.
Mathematics.
Computer simulation.
Control and Systems Theory.
Industrial and Production Engineering.
Mathematical and Computational Engineering Applications.
Systems Theory, Control .
Applications of Mathematics.
Computer Modelling.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares