Formal Methods in Manufacturing

11	Inference-Based and Modular Decentralized Control of Manufacturing Systems with Event-Driven Dynamics Shigemasa Takai and Ratnesh Kumar

CONTENTS

11.1 Introduction

11.2 Related Works

11.3 Notation and Preliminaries

11.4 Inference-Based Decentralized Control

11.4.1 Existence: N-Inference Observability

11.4.2 Properties of N-Inference Observability

11.4.3 Synthesis of N-Inference Observable Sublanguage

11.5 Decentralized Modular Control of Concurrent Dess

11.5.1 Existence:Controllable-Separability

11.5.2 Synthesis of Controllably Separable Sublanguage

11.6 Decentralized Modular Control For Multi-LOCAL Specs

11.6.1 Existence Condition for Multi-Local Specs

11.6.2 Synthesis for Multi-Local Specs

11.7 Conclusion

Acknowledgement

References