GIDDES

MaRDI QIDQ21508swMATHFDO

Official website https://www.mta.ca/Community/Research_and_creative/GIDDES/GIDDES_info/GIDDES_info/

Cited in

(8)

• On decentralized and distributed control of partially-observed discrete event systems
• Predictability of event occurrences in partially-observed discrete-event systems
• REGAL
• DESUMA
• UMDES
• TCT
• Supremica
• Diagnosability verification using LTL model checking

This page was built for software: GIDDES