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
Controller synthesis against omega-regular specifications: a funnel-based control approach - MaRDI portal

Controller synthesis against omega-regular specifications: a funnel-based control approach

From MaRDI portal

Publication:6577230

Jump to:navigation, search

DOI10.1002/rnc.7339zbMath1543.93083MaRDI QIDQ6577230

Dimos V. Dimarogonas, Pushpak Jagtap

Publication date: 23 July 2024

Published in: International Journal of Robust and Nonlinear Control (Search for Journal in Brave)

zbMATH Keywords

formal controller synthesis funnel-based control omega-regular specifications

Mathematics Subject Classification ID

Nonlinear systems in control theory (93C10) Synthesis problems (93B50) Attainable sets, reachability (93B03)

This page was built for publication: Controller synthesis against omega-regular specifications: a funnel-based control approach

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