Technologies for Engineering Manufacturing Systems Control in Closed Loop 1st Edition by Sebastian Preuße ISBN 9783832593636 3832593632

Technologies for Engineering Manufacturing Systems Control in Closed Loop 1st Edition by Sebastian Preuße – Ebook PDF Instant Download/Delivery: 9783832593636 ,3832593632
Full download Technologies for Engineering Manufacturing Systems Control in Closed Loop 1st Edition after payment

Product details:

ISBN 10: 3832593632
ISBN 13: 9783832593636
Author: Sebastian Preuße

Technologies for Engineering Manufacturing Systems Control in Closed Loop 1st Edition Table of contents:

• 1 Introduction

• 2 Basic Principles

  • 2.1 Technologies for studying Behavior

  • 2.2 Plants

  • 2.3 Controllers

  • 2.4 System Models

  • 2.5 Basics of Specifications

  • 2.6 Closed‑Loop Composition

  • 2.7 Model Checking

  • 2.8 Summary

• 3 Formal Modeling of Plant, Controller, and the Closed Loop

  • 3.1 Demonstration Example

  • 3.2 Formal Plant Modeling

  • 3.3 Formal Controller Modeling

  • 3.4 Formal Closed‑Loop Modeling

  • 3.5 Summary

• 4 Specification

  • 4.1 Safety‑Oriented Technical Language

  • 4.2 Symbolic Timing Diagrams

  • 4.3 Summary

• 5 Analysis of the Closed‑Loop Behavior

  • 5.1 Simulation in Closed Loop

  • 5.2 Verification in Closed Loop

  • 5.3 Summary

• 6 Conclusion and Outlook

  • 6.1 Conclusion

  • 6.2 Outlook

• Appendices

  • A Temporal Logics

  • B SOTL Grammar

  • C Algorithms

  • D Example for Model Checking

• Bibliography

• Index

People also search for Technologies for Engineering Manufacturing Systems Control in Closed Loop 1st Edition:

    
controls engineering technology
    
manufacturing systems technology
    
control systems mechanical engineering
    
a system that combines advanced technologies
    
a technological system

Tags: Sebastian Preuße, Engineering Manufacturing, Systems Control, Closed Loop