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

scientific article; zbMATH DE number 1301612

From MaRDI portal

Publication:4246810

Jump to:navigation, search

zbMath0928.93026MaRDI QIDQ4246810

Alongkrit Chutinan, Bruce H. Krogh

Publication date: 12 January 2000

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

zbMATH Keywords

verification hybrid systems approximating automata mapping of continuous trajectories

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Discrete event control/observation systems (93C65) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (1)

Reachability computation for polynomial dynamical systems

This page was built for publication:

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