Supervisory Control of Discrete Event Systems Using Petri Nets
Supervisory Control of Discrete Event Systems Using Petri Nets presents a novel approach to its subject. The concepts of supervisory control and discrete event systems are explained, and the background material on general Petri net theory necessary for us
- PDF / 16,228,050 Bytes
- 200 Pages / 439.37 x 666.142 pts Page_size
- 75 Downloads / 244 Views
THE KLUWER INTERNATIONAL SERIES ON DISCRETE EVENT DYNAMIC SYSTEMS
Series Editor
Yu-ChiHo Harvard University GRADIENT ESTIMATION VIA PERTURBATION ANALYSIS P. Glasserman ISBN: 0-7923-9095-4
PERTURBATION ANALYSIS OF DISCRETE EVENT DYNAMIC SYSTEMS Yu-Chi Ho and Xi-Ren Cao ISBN: 0-7923-9174-8
PETRI NET SYNTHESIS FOR MANUFACTURING SYSTEMS
DISCRETE
EVENT
CONTROL
OF
MengChu Zhou and Frank DiCesare ISBN: 0-7923-9289-2
MODELING AND CONTROL OF LOGICAL DISCRETE EVENT SYSTEMS Ratnesh Kumar and Vijay K. Garg ISBN: 0-7923-9538-7
UNIFORM RANDOM NUMBERS: THEORY AND PRACTICE Shu Tezuka ISBN: 0-7923-9572-7
OPTIMIZATION OF STOCHASTIC MODELS: THE INTERFACE BETWEEN SIMULATION AND OPTIMIZATION Georg Ch. Pflug ISBN: 0-7923-9780-0
CONDITIONAL MONTE CARLO: OPTIMIZATION APPLICATIONS Michael FU and Jian-Qiang HU ISBN: 0-7923-9873-4
GRADIENT
ESTIMATION
AND
SUPERVISORY CONTROL OF DISCRETE EVENT SYSTEMS USING PETRI NETS
by
John O. Moody Panos J. Antsaklis University ofNotre Dame Notre Dame, IN USA
" ~.
SPRINGER-SCIENCE+BUSINESS MEDIA, LLC
ISBN 978-1-4613-7615-6 ISBN 978-1-4615-5711-1 (eBook) DOI 10.1007/978-1-4615-5711-1
Library of Congress Cataloging-in-Publication Data A C.I.P. Catalogue record for this book is available from the Library of Congress.
Copyright @ 1998 by Springer Science+Business Media New York Origina11y published by Kluwer Academic Publishers in 1998 Softcover reprint of the hardcover Ist edition 1998 AII rights reserved. No part of this publication may be reproduced, stored in a retrieval system or transmitted in any rorm or by any means, mechanical, photocopying, recording, or otherwise, without the prior written permission of the publisher, Springer-8cience+Business Media. LLC.
Printed on acid-free paper.
for my father, Peter R. Moody, Jr. (JOM)
to my teachers to my students (PJA)
Contents
List of Figures List of Tables
ix xi
Foreword
xiii
Preface
xv
1. INTRODUCTION
2.2 Structural Invariants
5 6 9
2.3 Siphons and Traps
10
2.4 Classes of Petri Nets
13
2.5 Petri Nets and Automata
14
2.6 Petri Nets in Control
19
2. PETRI NETS 2.1
Petri Net Definitions
3. INVARIANT BASED CONTROL DESIGN 3.1 Monitor Based Supervisors
23 25
3.2 Supervisor Synthesis using Place Invariants
27
3.3 Maximally Permissive Supervision
31
4. UNCONTROLLABLE AND UNOBSERVABLE TRANSITIONS 4.1
33
Uncontrollable Transitions
34
4.2 Unobservable Transitions
35
4.3 Constraint Transformations
35
4.4 Vector Discrete Event Systems
38
4.5 Petri Net Modeled Supervisors
43
5. CONSTRAINT TRANSFORMATION AND CONTROLLER SYNTHESIS 5.1
Computing Constraint Transformations
51 51
5.2 Structure of Admissible Constraints and Controls
58
5.3 Admissible Constraints and Controller Synthesis
60
5.4 Enforcing Disjunctions of Linear Constraints
67
vii
viii
Supervisory Control of Discrete Event Systems using Petri Nets
6. RESOURCE MANAGEMENT AND DEADLOCK AVOIDANCE 6.1 Modeling of Finite Resources 6.2 Conditions for Liveness 6.3 Deadlock Avoidance
73 74 75 81
7. OTHER CONTROL SPECIFICATIONS 7.1 Equality
Data Loading...
