9783737571746 - building bridges in abstraction-based controller synthesis de schmuck, anne-kathrin (4 resultados)
- Tapa blanda
Librería: Revaluation Books, Exeter, , Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 40,17
Envío por EUR 14,49Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Brand New. 184 pages. 11.69x8.27x0.42 inches. In Stock.
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 20,00
Envío por EUR 61,60Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: 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 t…ime 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).
- Tapa blanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 20,00
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Taschenbuch. Condición: 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 G…mbH, Sebastian Stude, Köpenicker Str. 154a, 10997 Berlin, produktsicherheit[at]epubli[dot]com | Anbieter: preigu.
- Tapa blanda
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, , AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 20,00
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: 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 provid…ing 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.
