Building Bridges in Abstraction-Based Controller Synthesis Advancing, Combining, and Comparing Methods from Computer Science and Control
-
- Englisch ausgewählt
20,00 €
inkl. gesetzl. MwSt.,
Lieferung nach Hause
Beschreibung
Produktdetails
Einband
Taschenbuch
Altersempfehlung
18 - 99 Jahr(e)
Erscheinungsdatum
27.10.2015
Verlag
EpubliSeitenzahl
184
Maße (L/B/H)
24/17/1 cm
Gewicht
320 g
Auflage
3. Auflage
Sprache
Englisch
ISBN
978-3-7375-7174-6
In Part I we will investigate the abstraction step of two different approaches, namely quotient based abstractions (QBA) and strongest asynchronous l-complete approximations (SAlCA), tailored to setting (i) and (ii), respectively. It will be shown that the resulting abstractions are generally incomparable. We will therefore derive necessary and sufficient conditions on the original system which allow for a detailed comparison.
When the second setting is considered, the desired specification might not naturally be symbolic. However, to apply supervisory control theory (SCT), a framework for symbolic controller synthesis commonly used in combination with SAlCA, the specification is required to be modelled by a deterministic finite automaton (DFA). This motivates the investigation of larger specification classes to enrich the applicability of abstraction based controller synthesis in setting (ii). In Part II we show that SCT can be extended to handle specifications realized by deterministic pushdown automata (DPDA).
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.
Kurze Frage zu unserer Seite
Vielen Dank für dein Feedback
Wir nutzen dein Feedback, um unsere Produktseiten zu verbessern. Bitte habe Verständnis, dass wir dir keine Rückmeldung geben können. Falls du Kontakt mit uns aufnehmen möchtest, kannst du dich aber gerne an unseren Kund*innenservice wenden.
zum Kundenservice