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

scientific article; zbMATH DE number 1301631

From MaRDI portal

Publication:4246834

Jump to:navigation, search

zbMath0927.93034MaRDI QIDQ4246834

Howard Wong-Toi

Publication date: 8 December 1999

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

zbMATH Keywords

linear hybrid automata emptiness problem slope parameters audio control protocol rectangular automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) System structure simplification (93B11) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (1)

Verification of Hybrid Systems

Uses Software

HyTech

This page was built for publication:

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