國立虎尾科技大學 |

Safe, Autonomous and Intelligent Vehicles

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Safe, Autonomous and Intelligent Vehicles/ edited by Huafeng Yu, Xin Li, Richard M. Murray, S. Ramesh, Claire J. Tomlin.
other author:	Yu, Huafeng.
Description:	XIII, 204 p. 69 illus., 60 illus. in color.online resource. :
Contained By:	Springer Nature eBook
Subject:	Electronic circuits. -
Online resource:	https://doi.org/10.1007/978-3-319-97301-2
ISBN:	9783319973012

Safe, Autonomous and Intelligent Vehicles
Safe, Autonomous and Intelligent Vehicles[electronic resource] /edited by Huafeng Yu, Xin Li, Richard M. Murray, S. Ramesh, Claire J. Tomlin. - 1st ed. 2019. - XIII, 204 p. 69 illus., 60 illus. in color.online resource. - Unmanned System Technologies,2523-3734. - Unmanned System Technologies,.

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.

ISBN: 9783319973012

Standard No.: 10.1007/978-3-319-97301-2doiSubjects--Topical Terms:

563332
Electronic circuits.

LC Class. No.: TK7888.4

Dewey Class. No.: 621.3815

Safe, Autonomous and Intelligent Vehicles
LDR:03097nam a22003975i 4500 001 1007287
003 DE-He213
005 20200705000057.0
007 cr nn 008mamaa
008 210106s2019 gw | s |||| 0|eng d
020 $a 9783319973012 $9 978-3-319-97301-2
024 7 $a 10.1007/978-3-319-97301-2 $2 doi
035 $a 978-3-319-97301-2
050 4 $a TK7888.4
072 7 $a TJFC $2 bicssc
072 7 $a TEC008010 $2 bisacsh
072 7 $a TJFC $2 thema
082 0 4 $a 621.3815 $2 23
245 1 0 $a Safe, Autonomous and Intelligent Vehicles $h [electronic resource] / $c edited by Huafeng Yu, Xin Li, Richard M. Murray, S. Ramesh, Claire J. Tomlin.
250 $a 1st ed. 2019.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2019.
300 $a XIII, 204 p. 69 illus., 60 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Unmanned System Technologies, $x 2523-3734
505 0 $a 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.
520 $a 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.
650 0 $a Electronic circuits. $3 563332
650 0 $a Signal processing. $3 561459
650 0 $a Image processing. $3 557495
650 0 $a Speech processing systems. $3 564428
650 0 $a Microprocessors. $3 632481
650 1 4 $a Circuits and Systems. $3 670901
650 2 4 $a Signal, Image and Speech Processing. $3 670837
650 2 4 $a Processor Architectures. $3 669787
700 1 $a Yu, Huafeng. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1301031
700 1 $a Li, Xin. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 656295
700 1 $a Murray, Richard M. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 528484
700 1 $a Ramesh, S. $q (Sethu) $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 745211
700 1 $a Tomlin, Claire J. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1301032
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783319973005
776 0 8 $i Printed edition: $z 9783319973029
830 0 $a Unmanned System Technologies, $x 2523-3734 $3 1298762
856 4 0 $u https://doi.org/10.1007/978-3-319-97301-2
912 $a ZDB-2-ENG
912 $a ZDB-2-SXE
950 $a Engineering (SpringerNature-11647)
950 $a Engineering (R0) (SpringerNature-43712)