Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Modeling and Analysis of Hybrid Systems Propositional and temporal logics
 

Summary: Modeling and Analysis of Hybrid Systems
Propositional and temporal logics
Prof. Dr. Erika Ábrahám
Informatik 2 - Theory of Hybrid Systems
RWTH Aachen University
SS 2011
Ábrahám - Hybrid Systems 1 / 19
Propositional logic
Abstract syntax:
::= a | ( ) | (¬)
with a AP.
Syntactic sugar: true, false, , , , . . .
Omit parentheses when no confusion
Semantics:
|= a iff a L(),
|= (1 2) iff |= 1 and |= 2,
|= (¬) iff |= .
Ábrahám - Hybrid Systems 2 / 19
Temporal logics
Assume

  

Source: Ábrahám, Erika - Fachgruppe Informatik, Rheinisch Westfälische Technische Hochschule Aachen (RWTH)

 

Collections: Computer Technologies and Information Sciences