Formal Methods in Manufacturing

4	Hybrid Models for the Control and Optimization of Manufacturing Systems Christos G. Cassandras and Chen Yao

CONTENTS

4.1 Introduction

4.2 Abstracting a Discrete Event System to a Stochastic Flow Model

4.3 Infintesimal Perturbation Analysis (IPA) of Stochastic Hybrid Systems

4.4 Solving the Optimal Lot-Sizing Problem as a Stochastic Resource Contention Game

4.4.1 Lot-Sizing Problem

4.4.2 Stochastic Flow Model (SFM) for the Lot-Sizing Problem

4.4.2.1 Event Classification

4.4.2.2 Stochastic Hybrid Automation Model

4.4.2.3 Applying the General Abstraction Scheme to the Lot-Sizing Problem

4.4.3 Lot-Size Optimization

4.4.3.1 IPA Estimation

4.4.3.2 IPA Derivative Estimation Process

4.4.4 DES Optimization

4.4.4.1 Lot-Sizing as a Non-Cooperative ...