東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Safe, autonomous and intelligent veh...

Yu, Huafeng.

Linked to FindBook

Google Book

Amazon

博客來

Safe, autonomous and intelligent vehicles

Record Type:	Electronic resources : Monograph/item
Title/Author:	Safe, autonomous and intelligent vehicles/ edited by Huafeng Yu ... [et al.].
other author:	Yu, Huafeng.
Published:	Cham :Springer International Publishing : : 2019.,
Description:	xiii, 204 p. :ill., digital ;24 cm.
[NT 15003449]:	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.
Contained By:	Springer eBooks
Subject:	Autonomous vehicles. -
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 ... [et al.]. - Cham :Springer International Publishing :2019. - xiii, 204 p. :ill., digital ;24 cm. - 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:

2179092
Autonomous vehicles.

LC Class. No.: TL152.8 / .S244 2019

Dewey Class. No.: 629.2046

Safe, autonomous and intelligent vehicles
LDR:02728nmm a2200337 a 4500 001 2177904
003 DE-He213
005 20190613094352.0
006 m d
007 cr nn 008maaau
008 191122s2019 gw s 0 eng d
020 $a 9783319973012 $q (electronic bk.)
020 $a 9783319973005 $q (paper)
024 7 $a 10.1007/978-3-319-97301-2 $2 doi
035 $a 978-3-319-97301-2
040 $a GP $c GP
041 0 $a eng
050 4 $a TL152.8 $b .S244 2019
072 7 $a TJFC $2 bicssc
072 7 $a TEC008010 $2 bisacsh
072 7 $a TJFC $2 thema
082 0 4 $a 629.2046 $2 23
090 $a TL152.8 $b .S128 2019
245 0 0 $a Safe, autonomous and intelligent vehicles $h [electronic resource] / $c edited by Huafeng Yu ... [et al.].
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2019.
300 $a xiii, 204 p. : $b ill., digital ; $c 24 cm.
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 Autonomous vehicles. $3 2179092
650 1 4 $a Circuits and Systems. $3 896527
650 2 4 $a Signal, Image and Speech Processing. $3 891073
650 2 4 $a Processor Architectures. $3 892680
700 1 $a Yu, Huafeng. $3 3381536
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer eBooks
830 0 $a Unmanned system technologies. $3 3381537
856 4 0 $u https://doi.org/10.1007/978-3-319-97301-2
950 $a Engineering (Springer-11647)