The book is currently out of stock
Parameters
More about the book
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.
Book purchase
Building Bridges in Abstraction-Based Controller Synthesis. Advancing, Combining, and Comparing Methods from Computer Science and Control, Anne-Kathrin Schmuck
- Language
- Released
- 2015
- product-detail.submit-box.info.binding
- (Paperback)
We’ll email you as soon as we track it down.
Payment methods
No one has rated yet.