An equivalent CTL formulation for condition sequences

DOI10.1007/S10626-005-4056-0zbMath1101.93048OpenAlexW2070249234MaRDI QIDQ816698

Lawrence E. Holloway, Jeffrey Ashley

Publication date: 23 February 2006

Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10626-005-4056-0

zbMATH Keywords

temporal logiccomputation tree logic (CTL)condition systemsdiscrete event systems (DES)

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65)

Uses Software

• Unnamed Item

Cites Work

• Qualitative diagnosis of condition systems
• On condition/event systems with discrete state realizations
• Supervisory Control of Discrete Event Systems with CTL* Temporal Logic Specifications
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An equivalent CTL formulation for condition sequences