Verification of Autonomous Systems
Verkauft von Books Puddle, New York, NY, USA
AbeBooks-Verkäufer seit 22. November 2018
Neu - Hardcover
Zustand: Neu
Versand innerhalb von USA
Anzahl: 4 verfügbar
In den Warenkorb legenVerkauft von Books Puddle, New York, NY, USA
AbeBooks-Verkäufer seit 22. November 2018
Zustand: Neu
Anzahl: 4 verfügbar
In den Warenkorb legenThis book is a comprehensive guide to current practical and theoretical understanding of verification of autonomous systems, helping users find the tools and techniques they need to address this challenging problem. Autonomous systems are transitioning out of the lab and into the commercial and industrial space in ever increasing numbers. Verification provides the assurance case necessary for deployment of autonomous systems, but we lack guidance, certifications, and standards to help a business determine whether their autonomous system is safe, secure, or reliable. A community has formed to develop tools, techniques, and processes to solve this problem, but the existing literature largely focuses on autonomy design tools and techniques rather than on tools and techniques that can be used to verify an existing autonomy design. This book fills that gap.
It directly connects specific challenges faced by verification agents and autonomy developers with the research and topics most relevant to their concerns:
Verification processes, industrial needs, and issues with verification of learning systems are addressed across all domains, encompassing platforms from aircraft and spacecraft to marine systems and ground vehicles operating in industrial, military, commercial and household applications. Broad in scope, this reference ties advances in formal analysis, hardware testing, verification process modifications, and design and evaluation tools to the needs of verification researchers and professionals.
Signe Redfield is the Director of the Laboratory for Autonomous Systems Research at the Naval Research Laboratory (NRL). She has served as Co-Chair for the IEEE Technical Committees for Verification of Autonomous Systems (TC-VAS) and Performance Evaluation and Benchmarking of Robotic and Automation Systems (TC-PEBRAS). She co-authored the first IEEE RAS standard, 1872-2015, and served as Secretary for standard 1872.1-2024, “Robot Task Representation”. She was detailed to the Joint Artificial Intelligence Center (JAIC) as the acting lead of their Test and Assessment group in 2019, and returned to the Naval Research Laboratory (NRL) Space Technology Division’s Robotics and Machine Learning Section where she developed assurance cases and supported the development of verification and testing tools for autonomous systems. She designed the Payload Mission Manager software component for DARPA’s Robotic Servicing of Geosynchronous Satellites (RSGS) program, which integrates the payload fault management system with operator generated automated, supervised, and fully autonomous behavior scripts. She served as the NRL RSGS Algorithms lead from 2014-2017 and the de facto Fault Management lead from 2015-2019. Before her arrival at NRL in 2014, she spent three years in London as the ONR Global Associate Director for Autonomy and Unmanned Systems. Prior to her term at ONR Global, Dr. Redfield worked at the Naval Surface Warfare Center, Panama City Division in Florida where she worked on heterogeneous teams of autonomous maritime vehicles and led the development of a new architecture, enabling the simulation and testing of a variety of arbitration mechanisms to control teams of vehicles.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
We accept return for those books which are received damamged. Though we take appropriate care in packaing to avoid such situation.
Wenn Sie Verbraucher sind, steht Ihnen ein Widerrufsrecht nach folgender Maßgabe zu. Verbraucher ist jede natürliche Person, 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 der Beförderer ist, die letzte Ware oder die letzte Teilsendung bzw. das letzte Stück in Besitz genommen haben bzw. hat.
Um Ihr Widerrufsrecht auszuüben, müssen Sie uns, Books Puddle, 244 Madison Ave, Suite # 405, 10016, New York, New York, U.S.A., +1 7183015977, 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. Sie können auch eine andere eindeutige Erklärung auf der Webseite "Meine Bestellungen" in Ihrem "Nutzerkonto" elektronisch ausfüllen und übermitteln. Machen Sie von dieser Möglichkeit Gebrauch, so werden wir Ihnen unverzüglich (z. B. per E-Mail) eine Bestätigung über den Eingang eines solchen Widerrufs übermitteln. 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 Books Puddle, 244 Madison Ave, Suite # 405, 10016, New York, New York, U.S.A., +1 7183015977, 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.
Ausnahmen vom Widerrufsrecht
Das Widerrufsrecht besteht nicht bzw. erlischt bei folgenden Verträgen:
ENDE DER WIDERRUFSBELEHRUNG
Muster-Widerrufsformular
(Wenn Sie den Vertrag widerrufen wollen, dann füllen Sie bitte dieses Formular aus und senden Sie es zurück)
An: (Books Puddle, 244 Madison Ave, Suite # 405, 10016, New York, New York, U.S.A., +1 7183015977)
Hiermit widerrufe(n) ich/wir* den von mir/uns* abgeschlossenen Vertrag über den Kauf der folgenden Waren*/ die Erbringung der folgenden Dienstleistung*
Bestellt am*/erhalten am*:
Name des/der Verbraucher(s):
Anschrift des/der Verbraucher(s):
Unterschrift des/der Verbraucher(s) (nur bei Mitteilung auf Papier):
Datum:
* Unzutreffendes streichen.
| Bestellmenge | 12 bis 19 Werktage | 12 bis 14 Werktage |
|---|---|---|
| Erster Artikel | EUR 3.42 | EUR 5.99 |
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.