CONTENTS
23.1 Control Reconfiguration Problem
23.1.2 Example: Pick-and-Place System
23.1.2.1 Nominal Manufacturing Process
23.1.2.2 Faulty Manufacturing Process
23.1.2.3 Reconfigured Manufacturing Process
23.2 Main Contributions of this Chapter
23.2.1 Formalism for Fault-Tolerant Control of I/O Automata
23.2.2 Modeling of Faults and Failures
23.2.3 Nominal Controller Design Method
23.2.4 On-line Control Reconfiguration Method
23.3.1 Description of Discrete-Event Systems by Automata
23.3.1.1 Autonomous Standard Automata
Get Formal Methods in Manufacturing now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.