Zugriffsrechte erwerben. Einloggen

Technologies for Engineering Manufacturing Systems Control in Closed Loop

Cite this publication as

Technologies for Engineering Manufacturing Systems Control in Closed Loop (2013), Logos Verlag, Berlin, ISBN: 9783832593636

Inhaltsverzeichnis

  • BEGINN
  • 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
  • A Temporal Logics
  • B SOTL Grammar
  • C Algorithms
  • D Example for Model Checking
  • Bibliography
  • Index

Ähnliche Titel