Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
scientific article; zbMATH DE number 1304990 - MaRDI portal

scientific article; zbMATH DE number 1304990

From MaRDI portal

Publication:4251912

Jump to:navigation, search

zbMath0986.93041MaRDI QIDQ4251912

P. S. Thiagarajan, P. Madhusudan

Publication date: 13 June 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

discrete event system decidability controller synthesis labelled transition systems

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Synthesis problems (93B50)

Related Items (6)

The decidability border of hereditary history preserving bisimilarity ⋮ Causality, Behavioural Equivalences, and the Security of Cyberphysical Systems ⋮ Undecidability of domino games and hhp-bisimilarity. ⋮ Causality versus true-concurrency ⋮ Interface synthesis and protocol conversion ⋮ Branching time controllers for discrete event systems

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4251912&oldid=18144535"