Verification and Control of Hybrid Systems Paulo Tabuada
Sprache: Englisch
Verlag: Springer Us, 2009
- Hardcover
- Gebraucht

Anbieter: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, DeutschlandBUCHSERVICE / ANTIQUARIAT Lars Lutzer
AbeBooks-Verkäufer/-in seit 14. Juli 2011
Zustand: Gebraucht - Gut
EUR 279,90
Anzahl: 1 verfügbar
In den WarenkorbArtikelbeschreibung vom Verkäufer
Verification and Control of Hybrid Systems In englischer Sprache. pages.
Bestandsnummer des Verkäufers BN170569
- Titel
- Verification and Control of Hybrid Systems Paulo Tabuada
- Autor
- Paulo Tabuada
- Verlag
- Springer Us
- Veröffentlichungsjahr
- 2009
- Zustand
- gut
- Einband
- Hardcover
- Sprache
- Englisch
- ISBN-10
- 1441902236
- ISBN-13
- 9781441902238
- Ausgabe
- 2009.
- Artikelgewicht
- 2.000 Gramm
Hybrid systems describe the interaction of software, described by finite models such as finite-state machines, with the physical world, described by infinite models such as differential equations. This book addresses problems of verification and controller synthesis for hybrid systems. Although these problems are very difficult to solve for general hybrid systems, several authors have identified classes of hybrid systems that admit symbolic or finite models. The novelty of the book lies on the systematic presentation of these classes of hybrid systems along with the relationships between the hybrid systems and the corresponding symbolic models. To show how the existence of symbolic models can be used for verification and controller synthesis, the book also outlines several key results for the verification and controller design of finite systems. Several examples illustrate the different methods and techniques discussed in the book.
„Inhaltsangabe“ gehört möglicherweise zu einer anderen Auflage dieses Titels.
Von der hinteren Coverseite
Hybrid systems describe the interaction of software, modeled by finite-state systems such as finite-state machines, with the physical world, described by infinite-state systems such as differential equations. Verification and Control of Hybrid Systems provides a unique systematic exposition of several classes of hybrid systems, admitting symbolic models along with the relationships between them. The text outlines several key verification and control synthesis results for hybrid systems, guided by the concept of bisimulation, and illustrated by numerous examples.
The book is divided into four parts:
Part I presents basic concepts centered on a notion of system that is general enough to describe finite-state, infinite-state, and hybrid systems.
Part II discusses the ways in which systems relate to other systems, such as behavioral inclusion/equivalence and simulation/bisimulation, using these relationships to study verification and control synthesis problems for finite-state systems.
Part III draws inspiration from timed automata to present several classes of hybrid systems, with richer continuous dynamics, that can be related to finite-state symbolic systems. Once such relationships are established, verification and control synthesis problems for these hybrid systems can be immediately solved by resorting to the techniques described in Part II for finite-state systems.
Part IV follows the same strategy by generalizing simulation/bisimulation relationships to approximate simulation/bisimulation relationships that can be used for a wider class of hybrid systems.
This comprehensive treatment will appeal to researchers, engineers, computer scientists, and graduate students in the areas of formal methods, verification, model checking, and control and will undoubtedly inspire further study of the specialized literature.
„Über diesen Titel“ gehört möglicherweise zu einer anderen Auflage dieses Titels.
BUCHSERVICE / ANTIQUARIAT Lars Lutzer
Wahlstedt, Deutschland
AbeBooks-Verkäufer/-in seit 14. Juli 2011
Versandkosten von Deutschland nach USA
| Artikel | 9 bis 29 Werktage | 8 bis 19 Werktage |
|---|---|---|
| Erster Artikel | EUR 39,95 | EUR 49,95 |
Zahlungsarten
- Banküberweisung
- PayPal
- Rechnung
- Vorauskasse
Shop-Beschreibung
ANTIQUARIAT *** LITERATUR RECHERCHE *** BUCHSERVICE *** ANTIQUARISCHE SUCHE Sollten Sie auf der Suche nach einem (ggf.raren/vergriffenen) Fachbuch sein, nutzen Sie einfach unseren persönlichen Service rund ums Buch. Wir besorgen jedes lieferbare Buch schnellstmöglich (sowie CDs, Kassetten, Spiele, Fortsetzungen, Fachzeitschriften etc.) und lösen auch anspruchsvollere Aufgaben - testen Sie uns! Für Kunden, die nach bestimmten Buchtiteln suchen, bieten wir einen unverbindlichen und kostenlosen Recherche-Service. Dank unserer guten Vernetzung kann unser Buchservice oft selbst solche Bücher aufspüren, die auf dem Markt bereits seit langem vergriffen sind. ANTIQUARIAT *** LITERATUR RECHERCHE *** BUCHSERVICE *** ANTIQUARISCHE SUCHE Impressum: BuchService Lars Lutzer - Einzelunternehmung -Alte Landstr. 39- 23812 Wahlstedt- TEL: +49 (0) 176 / 63887918 Web: https://LLU-BUCHSERVICE.de Email: L.LUTZER(AT)LLU-BUCHSERVICE(PUNKT)DE , UID: DE277819159…
Unternehmensdaten der Verkäuferin bzw. des Verkäufers
BUCHSERVICE / ANTIQUARIAT Lars Lutzer
Deutschland
Verkaufsbedingungen
Impressum:
BuchService Lars Lutzer - Einzelunternehmer - Anschrift: Lars Lutzer -Alte Landstr. 39- 23812 Wahlstedt Deutschland /Germany - TEL: +49 (0) 176 / 63887918 - FAX: +49 (0)32121035963- Email: LLU-Buchservice(at)mail(punkt)de, UID / VAT: DE277819159.
Widerrufsrecht
Wenn Sie Verbraucher sind, können Sie gemäß den folgenden Bestimmungen vom Vertrag zurücktreten. Verbraucher ist jede natürliche Person, die zu Zwecken handelt, die nicht ihrer kaufmännischen, gewerblichen, künstlerischen oder beruflichen Tätigkeit zugerechnet werden können.
Informationen zum Widerrufsrecht
Gesetzliches Widerrufsrecht
Sie haben das Recht, den Vertrag innerhalb von 14 Tagen ohne Angabe von Gründen zu widerrufen.
Die Widerrufsfrist beträgt 14 Tage ab dem Tag, an dem Sie oder ein von Ihnen benannter Dritter, der nicht der Transporteur ist, die letzte Ware oder den letzten Posten oder das letzte Exemplar in Besitz genommen hat.
Um das Widerrufsrecht auszuüben, füllen Sie auf unserer Website unter „Meine Einkäufe" in „Mein Nutzerkonto" eine eindeutige Erklärung elektronisch aus und senden Sie sie ab. Wir werden Ihnen unverzüglich eine Bestätigung über den Eingang eines solchen Widerrufs auf einem dauerhaften Datenträger (z. B. per E-Mail) übermitteln.
Um die Widerrufsfrist einzuhalten, reicht es aus, dass Sie Ihre Mitteilung über die Ausübung des Widerrufsrechts vor Ablauf der Widerrufsfrist absenden.
Auswirkungen des Widerrufs
Wenn Sie diesen Vertrag widerrufen, erstatten wir Ihnen alle Zahlungen, die wir von Ihnen erhalten haben, einschließlich der Lieferkosten (mit Ausnahme der zusätzlichen Kosten, die entstehen, wenn Sie eine andere Art der Lieferung als die von uns angebotene günstigste Standardlieferung gewählt haben).
Wir können einen Abzug von der Rückerstattung für den Wertverlust der gelieferten Waren vornehmen, wenn der Verlust auf eine unnötige Behandlung durch Sie zurückzuführen ist.
Wir werden die Rückerstattung unverzüglich und nicht später als 14 Tage nach dem Tag vornehmen, an dem wir über Ihre Entscheidung, diesen Vertrag zu widerrufen, informiert wurden.
Für die Rückerstattung verwenden wir dasselbe Zahlungsmittel, das Sie für die ursprüngliche Transaktion verwendet haben, es sei denn, Sie haben ausdrücklich etwas anderes vereinbart; in keinem Fall werden Ihnen aufgrund einer solchen Rückerstattung Gebühren berechnet.
Wir können die Rückzahlung verweigern, bis wir die Waren wieder zurückerhalten haben oder Sie den Nachweis erbracht haben, dass Sie die Waren zurückgesandt haben, je nachdem, was eher eintritt.
Sie müssen die Waren unverzüglich und in jedem Fall spätestens 14 Tage ab dem Tag, an dem Sie uns über den Widerruf dieses Vertrags unterrichten, an BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, Germany, zurücksenden oder übergeben. Die Frist ist eingehalten, wenn Sie die Ware vor Ablauf der Frist von 14 Tagen zurücksenden. Sie müssen die direkten Kosten der Rücksendung der Waren tragen. Sie haften nur für einen etwaigen Wertverlust der Waren, der auf eine Behandlung zurückzuführen ist, die nicht zur Prüfung der Art, Eigenschaften und Funktionsweise der Waren erforderlich ist.
Ausnahmen vom Widerrufsrecht
Das Widerrufsrecht gilt nicht für:
- Die Lieferung von Zeitungen, Zeitschriften oder Magazinen mit Ausnahme von Abonnementverträgen; und
- Die Lieferung digitaler Inhalte, die nicht auf einem physischen Medium (z. B. auf einer CD oder DVD) geliefert werden, wenn Sie bei Ihrer Bestellung akzeptiert haben, dass wir mit der Lieferung beginnen können und dass Sie nach Beginn der Lieferung den Vertrag nicht mehr widerrufen können.
Versandbedingungen
Widerrufsrecht für Verbraucher
Verbrauchern steht ein Widerrufsrecht nach folgender Maßgabe zu, wobei Verbraucher jede natürliche Person ist, die ein Rechtsgeschäft zu Zwecken abschließt, die überwiegend weder ihrer gewerblichen noch ihrer selbständigen beruflichen Tätigkeit zugerechnet werden können:
Widerrufsbelehrung
Widerrufsrecht
Sie haben das Recht, binnen vierzehn Tagen ohne Angabe von Gründen diesen Vertrag zu widerrufen. Die Widerrufsfrist beträgt vierzehn Tage ab dem Tag an dem Sie oder ein von Ihnen benannter Dritter, der nicht Beförderer ist, die Waren in Besitz genommen haben bzw. hat.
Um Ihr Widerrufsrecht auszuüben, müssen Sie uns: Lars Lutzer - Einzelunternehmer - Alte Landstr. 39- 23812 Wahlstedt, Deutschland /Germany- Email: l.lutzer(AT)llu-buchservice(PUNKT)de , TEL: +49 (0) 176 / 63887918 - Web: https://LLU-BUCHSERVICE.de - UID: DE277819159 mittels einer eindeutigen Erklärung (z.B. ein mit der Post versandter Brief, Telefax oder E-Mail) über Ihren Entschluss, diesen Vertrag zu widerrufen, informieren. Sie können dafür das beigefügte Muster-Widerrufsformular verwenden, das jedoch nicht vorgeschrieben ist.
Zur Wahrung der Widerrufsfrist reicht es aus, dass Sie die Mitteilung über die Ausübung des Widerrufsrechts vor Ablauf der Widerrufsfrist absenden.
Folgen des Widerrufs
Wenn Sie diesen Vertrag widerrufen, haben wir Ihnen alle Zahlungen, die wir von Ihnen erhalten haben, einschließlich der Lieferkosten (mit Ausnahme der zusätzlichen Kosten, die sich daraus ergeben, dass Sie eine andere Art der Lieferung als die von uns angebotene, günstigste Standardlieferung gewählt haben), unverzüglich und spätestens binnen vierzehn Tagen ab dem Tag zurückzuzahlen, an dem die Mitteilung über Ihren Widerruf dieses Vertrags bei uns eingegangen ist. Für diese Rückzahlung verwenden wir dasselbe Zahlungsmittel, das Sie bei der ursprünglichen Transaktion eingesetzt haben, es sei denn, mit Ihnen wurde ausdrücklich etwas anderes vereinbart; in keinem Fall werden Ihnen wegen dieser Rückzahlung Entgelte berechnet.
Wir können die Rückzahlung verweigern, bis wir die Waren wieder zurückerhalten haben oder bis Sie den Nachweis erbracht haben, dass Sie die Waren zurückgesandt haben, je nachdem, welches der frühere Zeitpunkt ist.
Sie haben die Waren unverzüglich und in jedem Fall spätestens binnen vierzehn Tagen ab dem Tag, an dem Sie uns über den Widerruf dieses Vertrags unterrichten, an uns zurückzusenden oder zu übergeben. Die Frist ist gewahrt, wenn Sie die Waren vor Ablauf der Frist von vierzehn Tagen absenden. Sie tragen die unmittelbaren Kosten der Rücksendung der Waren.
Sie müssen für einen etwaigen Wertverlust der Waren nur aufkommen, wenn dieser Wertverlust auf einen zur Prüfung der Beschaffenheit, Eigenschaften und Funktionsweise der Waren nicht notwendigen Umgang mit ihnen zurückzuführen ist.
Die Europäische Kommission stellt eine Plattform zur Online-Streitbeilegung (OS) bereit, die Sie hier finden: http://ec.europa.eu/consumers/odr