Article
Licensed
Unlicensed
Requires Authentication
Temporale Spezifikationslogiken (Temporal Logics for Specifications)
-
H. Dierks
Published/Copyright:
September 25, 2009
Abstract
Logiken sind in der Informatik ein weitverbreitetes Mittel zur Spezifikation. Dazu werden Logiken verschiedener Ausprägung benutzt, z.B. temporale Logiken für reaktive Systeme, zu denen die Systeme der Automatisierungstechnik zählen. Dieser Beitrag enthält eine Einführung in die wichtigsten temporalen Logiken und Literaturverweise.
Abstract
Logics are often used in computer science as specification languages. There is a rich variety of logics to choose from depending on the problem. Systems in automation technology are typically reactive systems for which temporal logics are adequate. We introduce the most important temporal logics and give reference for further reading.
:
Published Online: 2009-09-25
Published in Print: 2003-02-01
© 2003 Oldenbourg Wissenschaftsverlag GmbH
You are currently not able to access this content.
You are currently not able to access this content.
Articles in the same Issue
- Temporale Spezifikationslogiken (Temporal Logics for Specifications)
- Stabilitätserhaltende Reduktion nichtlinearer Modelle (Stability-Preserving Nonlinear Model Reduction)
- Rekonfiguration linearer Systeme bei Aktor- und Sensorfehlern (Reconfiguration of Linear Systems with Actuator and Sensor Faults)
- Prädiktive Regelung mit Neuronalen Netzen (Predictive Control with Neural Networks)
- Ein Beitrag zur Systemtheorie ereignisdiskreter Systeme – Teil 1: Der Zeitbereich (A Note on System Theoretic Elements of Discrete Event Systems – Part 1: Time Domain)
- Image-Based Visual Servoing zur autonomen Navigation einer mobilen Plattform (Image-Based Visual Servoing for Autonomous Navigation of a Mobile Platform)
- 4. Workshop "Automatisierungstechnische Methoden und Systeme für die Medizin"
- Leistungsbewertung eines lokalen Netzwerkes mit Class-of-Service Unterstützung für die prozessnahe Echtzeitkommunikation
- Zur analytischen Modellbildung und schätzerbasierten Überwachung von PKW-Bremsbetriebsparametern
Articles in the same Issue
- Temporale Spezifikationslogiken (Temporal Logics for Specifications)
- Stabilitätserhaltende Reduktion nichtlinearer Modelle (Stability-Preserving Nonlinear Model Reduction)
- Rekonfiguration linearer Systeme bei Aktor- und Sensorfehlern (Reconfiguration of Linear Systems with Actuator and Sensor Faults)
- Prädiktive Regelung mit Neuronalen Netzen (Predictive Control with Neural Networks)
- Ein Beitrag zur Systemtheorie ereignisdiskreter Systeme – Teil 1: Der Zeitbereich (A Note on System Theoretic Elements of Discrete Event Systems – Part 1: Time Domain)
- Image-Based Visual Servoing zur autonomen Navigation einer mobilen Plattform (Image-Based Visual Servoing for Autonomous Navigation of a Mobile Platform)
- 4. Workshop "Automatisierungstechnische Methoden und Systeme für die Medizin"
- Leistungsbewertung eines lokalen Netzwerkes mit Class-of-Service Unterstützung für die prozessnahe Echtzeitkommunikation
- Zur analytischen Modellbildung und schätzerbasierten Überwachung von PKW-Bremsbetriebsparametern
