Supervisory Control and Scheduling of Resource Allocation Systems: Reachability Graph Perspective (Hardcover)

Preface xi

Acknowledgments xv

Glossary xvii

Acronyms xxiii

PART I RESOURCE ALLOCATION SYSTEMS AND PETRI NET

1 Introduction 3

2 Preliminaries 9

PART II SUPERVISORY CONTROL

3 Behaviorally Maximal and Structurally Minimal Supervisor 37

4 Supervisor Design with Fewer Places 51

5 Redundant Constraints Elimination 67

6 Fast Iterative Supervisory Design 83

7 Supervisor Synthesis with Uncontrollable and Unobservable Transitions 101

PART III HEURISTIC SCHEDULING

8 Informed Heuristic Search in Reachability Graph 121

9 Controllable Heuristic Search 137

10 Hybrid Heuristic Search 157

11 More Informed Heuristics 167

12 Symbolic Heuristic Search 177

13 Open Problems 197

Bibliography 203

Index 217