Le livre est actuellement en rupture de stock
Paramètres
En savoir plus sur le livre
Abstraction-based controller synthesis is a two-step method for solving complex control problems with discrete values. It involves creating a symbolic model and then constructing a controller based on specifications, typically using LTL or CTL. This study explores two abstraction approaches, QBA and SAlCA, and compares their effectiveness in different settings, ultimately extending supervisory control theory to include deterministic pushdown automata.
Achat du livre
Building Bridges in Abstraction-Based Controller Synthesis. Advancing, Combining, and Comparing Methods from Computer Science and Control, Anne-Kathrin Schmuck
- Langue
- Année de publication
- 2015
- product-detail.submit-box.info.binding
- (souple)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Personne n'a encore évalué .