Verification of Autonomous Systems
Venduto da moluna, Greven, Germania
Venditore AbeBooks dal 9 luglio 2020
Nuovi - Rilegato
Condizione: Nuovo
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili
Aggiungere al carrelloVenduto da moluna, Greven, Germania
Venditore AbeBooks dal 9 luglio 2020
Condizione: Nuovo
Quantità: Più di 20 disponibili
Aggiungere al carrelloDieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt.
Codice articolo 2218296379
This 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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Visita la pagina della libreria
Avviso di revoca/
Condizioni Generali di Contratto e informazioni per i clienti/
Informativa sulla privacy
Diritto di recesso per consumatori
(Il consumatore è qualsiasi persona fisica che conclude un negozio giuridico per scopi che non possono essere attribuiti alla sua attività professionale nè commerciale nè autonoma.)
Informativa sul diritto di recesso
Diritto di recesso
Il presente contratto può essere rescisso entro 1 mese senza obbligo di specificarne i motivi.
Il termine di revoca è di 1...
Avviso di revoca/
Condizioni Generali di Contratto e informazioni per i clienti/
Informativa sulla privacy
Diritto di recesso per consumatori
(Il consumatore è qualsiasi persona fisica che conclude un negozio giuridico per scopi che non possono essere attribuiti alla sua attività professionale nè commerciale nè autonoma.)
Informativa sul diritto di recesso
Diritto di recesso
Il presente contratto può essere rescisso entro 1 mese senza obbligo di specificarne i motivi.
Il termine di revoca è di 1 mese a partire dalla data
in cui voi o un terzo da voi nominato, che non è il trasportatore, avete o ha preso in consegna la merce, qualora abbiate ordinato una o più merci nell'ambito di un ordine unico e queste merci vengano consegnate in un unica fornitura;
in cui voi o un terzo da voi nominato, che non è il trasportatore, avete o ha preso in consegna l'ultima merce, qualora abbiate ordinato più merci nell'ambito di un ordine unico e queste vengano consegnate separatamente;
in cui voi o un terzo da voi nominato, che non è il trasportatore, avete o ha preso in consegna l'ultima fornitura parziale o l'ultimo pezzo, qualora abbiate ordinato una merce che viene consegnata in diverse forniture parziali o pezzi;
Per esercitare il vostro diritto di recesso, dovete informarci (Moluna GmbH, Münsterstr. 105, 48268 Greven, Numero di telefono: 02571/5 69 89 33, Numero di fax: 02571/5 69 89 30, Indirizzo E-Mail: abe@moluna.de) mediante una dichiarazione univoca (p. es. una lettera postale, un fax o una e-mail) relativa alla vostra decisione di rescindere il contratto. A tale proposito potete utilizzare il facsimile del modello di lettera di revoca allegato che però non è prescritto.
Al fine dell'osservanza del termine di revoca è sufficiente che la comunicazione relativa all'esercizio del diritto di recesso venga spedita prima della scadenza del termine di revoca.
Conseguenze del recesso
Qualora rescindiate il presente contratto, abbiamo l'obbligo di restituirvi tutti i pagamenti che abbiamo ricevuto da voi, comprese le spese di spedizione (eccetto i costi aggiuntivi che risultano dal fatto che abbiate scelto un termine di consegna diverso dalla consegna standard più vantaggiosa da noi offerta), immediatamente e al più tardi entro 14 giorni dalla data in cui ci è pervenuta la comunicazione relativa alla vostra revoca del presente contratto. Per questa restituzione utilizziamo la stessa modalità di pagamento che avete usato al momento della transazione originaria, salvo diversamente concordato esplicitamente; in nessun caso vi verranno addebitati costi per tale restituzione.
Noi possiamo rifiutare di restituire il pagamento fino a quando abbiamo ricevuto la merce oppure fino a quando ci portate la prova che avete spedito indietro la merce, a seconda di qual è il momento antecedente.
Voi dovete spedirci o consegnarci la merce immediatamente e in ogni caso al più tardi entro 14 giorni a partire dalla data in cui ci informate circa la revoca del presente contratto . Il termine viene concesso se spedite la merce prima della scadenza del termine di 14 giorni.
Voi assumete i costi indiretti della restituzione delle merci.
Voi siete responsabili per eventuali perdite di valore delle merci, solo se tale perdita è riconducibile un trattamento delle stesse non necessario al fine del controllo della consistenza, delle caratteristiche e della modalità di funzionamento.
Motivi di esclusione o cancellazione
Il diritto di revoca non è previsto per contratti
relativi alla fornitura di merci che non sono prefabbricate e per la produzione delle quali è determinante una scelta o determinazione individuale da parte del consumatore oppure che sono evidentemente adattate alle esigenze personali del consumatore;
relativi alla fornitura di merci che si deteriorano rapidamente o la cui data di scadenza verrebbe rapidamente superata;
relativi a bevande alcoliche il cui presso è stato concordato al momento della stipula del contratto, ma che potrebbero essere consegnate al più presto 30 giorni dalla data della stipula del contratto e il valore attuale delle quali dipende dalle oscillazioni sul mercato sulle quali l'imprenditore non ha influsso;
relativi alla fornitura di giornali, riviste o illustrati, ad eccezione di contratti di abbonamento.
Il diritto di revoca decade prima del tempo per contratti
relativi alla fornitura di merci che, per motivi della tutela della salute o di igiene, non sono adatti alla restituzione, se il sigillo è stato rimosso dopo la consegna;
relativi alla fornitura di merci, se questi dopo la consegna sono stati mischiati con altri beni in modo inseparabile a causa della loro consistenza;
relativi alla fornitura di registrazioni audio o video o software di computer in una confezione sigillata, se il sigillo è stato rimosso dopo la consegna.
Fac simile modello di revoca
(Qualora desideriate rescindere il contratto, vi preghiamo di restituire il presente modulo debitamente compilato.)
Alla Moluna GmbH, Engberdingdamm 27, 48268 Greven, Numero di fax: 02571/5 69 89 30, Indirizzo e-mail: abe@moluna.de :
Con la presente io sottoscritto/noi sottoscritti rescindo/rescindiamo il contratto da me/da noi stipulato in relazione all'acquisto delle seguenti merci ()/
all'esecuzione dei seguenti servizi ()
Ordinati il ()/ ricevuti il ()
Nome del consumatore
Indirizzo del consumatore
Firma del consumatore (solo in caso di comunicazione cartacea)
Data
(*) Sbarrare le indicazioni non corrispondenti.
II. Kundeninformationen
Moluna GmbH
Engberdingdamm 27
48268 Greven
Deutschland
Telefon: 02571/5698933
E-Mail: abe@moluna.de
Wir sind nicht bereit und nicht verpflichtet, an Streitbeilegungsverfahren vor Verbraucherschlichtungsstellen teilzunehmen.
Die technischen Schritte zum Vertragsschluss, der Vertragsschluss selbst und die Korrekturmöglichkeiten erfolgen nach Maßgabe der Regelungen "Zustandekommen des Vertrages" unserer Allgemeinen Geschäftsbedingungen (Teil I.).
3.1. Vertragssprache ist deutsch .
3.2. Der vollständige Vertragstext wird von uns nicht gespeichert. Vor Absenden der Bestellung können die Vertragsdaten über die Druckfunktion des Browsers ausgedruckt oder elektronisch gesichert werden. Nach Zugang der Bestellung bei uns werden die Bestelldaten, die gesetzlich vorgeschriebenen Informationen bei Fernabsatzverträgen und die Allgemeinen Geschäftsbedingungen nochmals per E-Mail an Sie übersandt.
Die wesentlichen Merkmale der Ware und/oder Dienstleistung finden sich im jeweiligen Angebot.
5.1. Die in den jeweiligen Angeboten angeführten Preise sowie die Versandkosten stellen Gesamtpreise dar. Sie beinhalten alle Preisbestandteile einschließlich aller anfallenden Steuern.
5.2. Die anfallenden Versandkosten sind nicht im Kaufpreis enthalten. Sie sind über eine entsprechend bezeichnete Schaltfläche auf unserer Internetpräsenz oder im jeweiligen Angebot aufrufbar, werden im Laufe des Bestellvorganges gesondert ausgewiesen und sind von Ihnen zusätzlich zu tragen, soweit nicht die versandkostenfreie Lieferung zugesagt ist.
5.3. Die Ihnen zur Verfügung stehenden Zahlungsarten sind unter einer entsprechend bezeichneten Schaltfläche auf unserer Internetpräsenz oder im jeweiligen Angebot ausgewiesen.
5.4. Soweit bei den einzelnen Zahlungsarten nicht anders angegeben, sind die Zahlungsansprüche aus dem geschlossenen Vertrag sofort zur Zahlung fällig.
6.1. Die Lieferbedingungen, der Liefertermin sowie gegebenenfalls bestehende Lieferbeschränkungen finden sich unter einer entsprechend bezeichneten Schaltfläche auf unserer Internetpräsenz oder im jeweiligen Angebot.
Soweit im jeweiligen Angebot oder unter der entsprechend bezeichneten Schaltfläche keine andere Frist angegeben ist, erfolgt die Lieferung der Ware innerhalb von 3-5 Tagen nach Vertragsschluss (bei vereinbarter Vorauszahlung jedoch erst nach dem Zeitpunkt Ihrer Zahlungsanweisung).
6.2. Soweit Sie Verbraucher sind ist gesetzlich geregelt, dass die Gefahr des zufälligen Untergangs und der zufälligen Verschlechterung der verkauften Sache während der Versendung erst mit der Übergabe der Ware an Sie übergeht, unabhängig davon, ob die Versendung versichert oder unversichert erfolgt. Dies gilt nicht, wenn Sie eigenständig ein nicht vom Unternehmer benanntes Transportunternehmen oder eine sonst zur Ausführung der Versendung bestimmte Person beauftragt haben.
Sind Sie Unternehmer, erfolgt die Lieferung und Versendung auf Ihre Gefahr.
Die Mängelhaftung richtet sich nach der Regelung "Gewährleistung" in unseren Allgemeinen Geschäftsbedingungen (Teil I).
letzte Aktualisierung: 23.10.2019
| Quantità dell?ordine | Da 16 a 45 giorni lavorativi | Da 16 a 45 giorni lavorativi |
|---|---|---|
| Primo articolo | EUR 48.99 | EUR 48.99 |
I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.