Central Library

Normal view MARC view ISBD view

Safe, Autonomous and Intelligent Vehicles [electronic resource] / edited by Huafeng Yu, Xin Li, Richard M. Murray, S. Ramesh, Claire J. Tomlin.

Contributor(s): Yu, Huafeng [editor.] | Li, Xin [editor.] | Murray, Richard M [editor.] | Ramesh, S [editor.] | Tomlin, Claire J [editor.] | SpringerLink (Online service).
Material type: materialTypeLabelBookSeries: Unmanned System Technologies: Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Edition: 1st ed. 2019.Description: XIII, 204 p. 69 illus., 60 illus. in color. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783319973012.Subject(s): Electronic circuits | Signal processing | Microprocessors | Computer architecture | Electronic Circuits and Systems | Signal, Speech and Image Processing | Processor ArchitecturesAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 621.3815 Online resources: Click here to access online
Contents:
Introduction -- Statistical Validation of In-Vehicle Machine Learning Systems -- Cyberattack-Resilient Hybrid Switching Controller Design with Application to Unmanned Aircraft System -- Control and Safety of Autonomous Vehicles with Learning-Enabled Components -- AdaStress: Adaptive Stress Testing and Interpretable Analysis of Safety-Critical Systems -- Provably-correct control synthesis for vehicle safety systems -- Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems -- Adaptation of Human Licensing Examinations to the Certification of Autonomous Systems -- Model-based Software Synthesis for Safety-critical Cyber-Physical Systems -- Compositional Verification for Autonomous Systems with Deep Learning Components -- Index.
In: Springer Nature eBookSummary: This book covers the start-of-the-art research and development for the emerging area of autonomous and intelligent systems. In particular, the authors emphasize design and validation methodologies to address the grand challenges related to safety. This book offers a holistic view of a broad range of technical aspects (including perception, localization and navigation, motion control, etc.) and application domains (including automobile, aerospace, etc.), presents major challenges and discusses possible solutions. Provides a single-source guide to the practical challenges in designing autonomous and intelligent systems; Discusses the major challenges related to safety of next-generation autonomous and intelligent systems, given growing complexity and new applications; Describes new design and validation methodologies to address safety issues; Includes technical background to facilitate further research and development.
    average rating: 0.0 (0 votes)
No physical items for this record

Introduction -- Statistical Validation of In-Vehicle Machine Learning Systems -- Cyberattack-Resilient Hybrid Switching Controller Design with Application to Unmanned Aircraft System -- Control and Safety of Autonomous Vehicles with Learning-Enabled Components -- AdaStress: Adaptive Stress Testing and Interpretable Analysis of Safety-Critical Systems -- Provably-correct control synthesis for vehicle safety systems -- Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems -- Adaptation of Human Licensing Examinations to the Certification of Autonomous Systems -- Model-based Software Synthesis for Safety-critical Cyber-Physical Systems -- Compositional Verification for Autonomous Systems with Deep Learning Components -- Index.

This book covers the start-of-the-art research and development for the emerging area of autonomous and intelligent systems. In particular, the authors emphasize design and validation methodologies to address the grand challenges related to safety. This book offers a holistic view of a broad range of technical aspects (including perception, localization and navigation, motion control, etc.) and application domains (including automobile, aerospace, etc.), presents major challenges and discusses possible solutions. Provides a single-source guide to the practical challenges in designing autonomous and intelligent systems; Discusses the major challenges related to safety of next-generation autonomous and intelligent systems, given growing complexity and new applications; Describes new design and validation methodologies to address safety issues; Includes technical background to facilitate further research and development.

There are no comments for this item.

Log in to your account to post a comment.