Supervisory control and scheduling of resource allocation systems : reachability graph perspective /: reachability graph perspective. (2020)

• Record Type: Book
• Further Information: Note: Edited by Bo Huang, Mengchu Zhou.
• Authors: Huang, Bo
• Editors: Huang, Bo, 1980-; Zhou, MengChu
• Contents: 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
• Edition: 1st
• Publisher Details: Hoboken : Wiley-IEEE Press
• Publication Date: 2020
• Extent: 1 online resource
• Subjects: 658.4034; Resource allocation -- Decision making; Management information systems
• Languages: English
• ISBNs: 9781119619703
• Related ISBNs: 9781119619697
• Notes: Note: Includes bibliographical references and index.; Note: Description based on CIP data; resource not viewed.
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.