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 1836352 - MaRDI portal

scientific article; zbMATH DE number 1836352

From MaRDI portal

Publication:4782021

Jump to:navigation, search

zbMath1017.93064MaRDI QIDQ4782021

Jan J. M. M. Rutten

Publication date: 18 August 2003

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

zbMATH Keywords

controllability discrete event system supervisory control coalgebra bisimulation concurrency coinduction Moore automaton

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Algebraic methods (93B25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (6)

A model of context-dependent component connectors ⋮ Supervisory control of modular systems with global specification languages ⋮ System theory for system identification. ⋮ Maximally permissive controlled system synthesis for non-determinism and modal logic ⋮ Employing behavioral preorders to define controllability for nondeterministic discrete-event systems ⋮ Control of discrete-event systems with partial observations using coalgebra and coinduction

This page was built for publication:

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