Condizione: New.
Condizione: As New. Unread book in perfect condition.
Da: Revaluation Books, Exeter, Regno Unito
EUR 39,57
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 184 pages. 11.69x8.27x0.42 inches. In Stock.
Da: medimops, Berlin, Germania
EUR 22,55
Quantità: 3 disponibili
Aggiungi al carrelloCondizione: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
Lingua: Inglese
Editore: URLAUBSARCHITEKTUR GmbH 2023-07-01, 2023
ISBN 10: 3981736788 ISBN 13: 9783981736786
Da: Chiron Media, Wallingford, Regno Unito
EUR 42,51
Quantità: 3 disponibili
Aggiungi al carrelloHardcover. Condizione: New.
EUR 44,46
Quantità: 6 disponibili
Aggiungi al carrelloCondizione: New.
EUR 44,81
Quantità: 6 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: Revaluation Books, Exeter, Regno Unito
EUR 53,08
Quantità: 2 disponibili
Aggiungi al carrelloHardcover. Condizione: Brand New. 208 pages. 7.87x1.38x11.42 inches. In Stock.
Da: medimops, Berlin, Germania
EUR 30,38
Quantità: 2 disponibili
Aggiungi al carrelloCondizione: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
Da: Revaluation Books, Exeter, Regno Unito
EUR 53,79
Quantità: 2 disponibili
Aggiungi al carrelloHardcover. Condizione: Brand New. 250 pages. German language. 12.09x9.45x1.50 inches. In Stock.
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 20,00
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Abstraction based controller synthesis is a well established two-step procedure to solve complex control problems involving discrete valued quantities. First, a symbolic abstraction of the system to be controlled is generated providing a discrete time model with a finite, discrete valued signal space and finitely many states. Second, a symbolic controller for a desired symbolic specification is constructed using the previously generated symbolic model. This controller synthesis approach is usually used in two different settings. Either (i) the specification is naturally given by a Linear Temporal Logic (LTL) or a Computation Tree Logic (CTL) formula over a finite set of symbols, which can only be encountered by symbolic controller synthesis techniques. Or (ii) the system to be controlled is naturally equipped with a finite set of external symbols through which it interacts with its environment, e.g., the controller.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).
Da: preigu, Osnabrück, Germania
EUR 20,00
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Building Bridges in Abstraction-Based Controller Synthesis | Advancing, Combining, and Comparing Methods from Computer Science and Control. Dissertationsschrift | Anne-Kathrin Schmuck | Taschenbuch | 184 S. | Englisch | 2015 | epubli | EAN 9783737571746 | Verantwortliche Person für die EU: Neopubli GmbH, Sebastian Stude, Köpenicker Str. 154a, 10997 Berlin, produktsicherheit[at]epubli[dot]com | Anbieter: preigu.
Lingua: Inglese
Editore: Edition URLAUBSARCHITEKTUR, 2025
ISBN 10: 3981736796 ISBN 13: 9783981736793
Da: moluna, Greven, Germania
EUR 42,95
Quantità: 3 disponibili
Aggiungi al carrelloCondizione: New.
EUR 46,95
Quantità: 3 disponibili
Aggiungi al carrelloCondizione: New. Nach Haeuser & Menschen und Raum & Zeit vervollstaendigt der Titel Orte & Visionen das aktuelle Buch-Trio von URLAUBSARCHITEKTUR.Jedem Ort wohnt ein ihm angeborenes, ureigenes Potential inne. Manchmal ist es fast unmittelbar greifbar, schimmert ungeduldig unt.
Lingua: Tedesco
Editore: Edition URLAUBSARCHITEKTUR, 2017
ISBN 10: 3981736745 ISBN 13: 9783981736748
Da: Studibuch, Stuttgart, Germania
EUR 24,07
Quantità: 1 disponibili
Aggiungi al carrellohardcover. Condizione: Sehr gut. 274 Seiten; 9783981736748.2 Gewicht in Gramm: 2.
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 20,00
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Abstraction based controller synthesis is a well established two-step procedure to solve complex control problems involving discrete valued quantities. First, a symbolic abstraction of the system to be controlled is generated providing a discrete time model with a finite, discrete valued signal space and finitely many states. Second, a symbolic controller for a desired symbolic specification is constructed using the previously generated symbolic model. This controller synthesis approach is usually used in two different settings. Either (i) the specification is naturally given by a Linear Temporal Logic (LTL) or a Computation Tree Logic (CTL) formula over a finite set of symbols, which can only be encountered by symbolic controller synthesis techniques. Or (ii) the system to be controlled is naturally equipped with a finite set of external symbols through which it interacts with its environment, e.g., the controller.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). 184 pp. Englisch.
EUR 483,37
Quantità: 15 disponibili
Aggiungi al carrelloHRD. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
Lingua: Tedesco
Editore: Walter de Gruyter, Incorporated, 2010
ISBN 10: 311022979X ISBN 13: 9783110229790
Da: Majestic Books, Hounslow, Regno Unito
EUR 618,16
Quantità: 3 disponibili
Aggiungi al carrelloCondizione: New. pp. xxxvii + 903 406 Maps.
Lingua: Tedesco
Editore: Walter de Gruyter, Incorporated, 2010
ISBN 10: 311022979X ISBN 13: 9783110229790
Da: Books Puddle, New York, NY, U.S.A.
Condizione: New. pp. xxxvii + 903, 406 Maps.
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
EUR 986,55
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. 2010. Hardcover. . . . . .
EUR 1.042,75
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. 2010. Hardcover. . . . . . Books ship from the US and Ireland.
Da: moluna, Greven, Germania
Prima edizione Print on Demand
EUR 560,00
Quantità: Più di 20 disponibili
Aggiungi al carrelloHardcover. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Die Familiennamen sind der einzige Bereich der europaeischen Sprachen, welcher in seiner - sehr ausgepraegten -raeumlichen Vielfalt noch hoechst unzureichend erfasst ist. Noch sind die geschichtlich gewachsenen Namenlandschaften in erstaunlicher Stabilitaet e.