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...

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Auteurs principaux: Iordache, Marian (Auteur), Antsaklis, Panos J. (Auteur)
Collectivité auteur: SpringerLink (Online service)
Format: Électronique eBook
Langue:Inglés
Publié: Boston, MA : Birkhäuser Boston : Imprint: Birkhäuser, 2006.
Édition:1st ed. 2006.
Collection:Systems & Control: Foundations & Applications,
Sujets:
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.
Accès en ligne:Texto Completo

Internet

Texto Completo

Items no disponibles

Informations d'exemplaires de

Documents similaires