Building Bridges in Abstraction-Based Controller Synthesis - Couverture souple

Schmuck, Anne-Kathrin

9783737571746: Building Bridges in Abstraction-Based Controller Synthesis

Couverture souple

ISBN 10 : 3737571740 ISBN 13 : 9783737571746

Editeur : epubli GmbH, 2015

Afficher les exemplaires de cette �dition comportant l?ISBN

0 D'occasion

4 Neuf

De EUR 20

D�tails de l'�dition

�diteur: epubli GmbH
Date d'�dition: 2015
Langue: anglais
ISBN 10: 3737571740
ISBN 13: 9783737571746
Reliure: Broch�
Num�ro d'�dition: 3
Nombre de pages: 184
Coordonn�es du fabricant: non disponible
Personne responsable: non disponible

R�sultats de recherche pour Building Bridges in Abstraction-Based Controller Synthesis

Image fournie par le vendeur

Building Bridges in Abstraction-Based Controller Synthesis

Anne-Kathrin Schmuck

Edit� par Epubli Okt 2015, 2015

ISBN 10 : 3737571740 ISBN 13 : 9783737571746

Neuf Taschenbuch

impression � la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : 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. N� de r�f. du vendeur 9783737571746

Contacter le vendeur

Acheter neuf

EUR 20

Exp�dition �EUR 23
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Building Bridges in Abstraction-Based Controller Synthesis

Schmuck, Anne-Kathrin

Edit� par epubli GmbH, 2015

ISBN 10 : 3737571740 ISBN 13 : 9783737571746

Neuf Paperback

Vendeur : Revaluation Books, Exeter, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : Brand New. 184 pages. 11.69x8.27x0.42 inches. In Stock. N� de r�f. du vendeur 3737571740

Contacter le vendeur

Acheter neuf

EUR 39,57

Exp�dition �EUR 14,33
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Building Bridges in Abstraction-Based Controller Synthesis : Advancing, Combining, and Comparing Methods from Computer Science and Control. Dissertationsschrift

Anne-Kathrin Schmuck

Edit� par Epubli, 2015

ISBN 10 : 3737571740 ISBN 13 : 9783737571746

Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : 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). N� de r�f. du vendeur 9783737571746

Contacter le vendeur