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

scientific article

From MaRDI portal

Publication:3787870

Jump to:navigation, search

zbMath0644.93033MaRDI QIDQ3787870

Rein Smedinga

Publication date: 1988

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

zbMATH Keywords

algorithm events finite state machine trace theory discrete processes

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Discrete-time control/observation systems (93C55) Theory of operating systems (68N25) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (3)

On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation ⋮ On controllability and normality of discrete event dynamical systems ⋮ Locked discrete event systems: How to model and how to unlock

This page was built for publication:

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