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

Internet

Texto Completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares