Safe, Autonomous and Intelligent Vehicles (Record no. 75916)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 04066nam a22005895i 4500 |
001 - CONTROL NUMBER | |
control field | 978-3-319-97301-2 |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20220801214049.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 181114s2019 sz | s |||| 0|eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
ISBN | 9783319973012 |
-- | 978-3-319-97301-2 |
082 04 - CLASSIFICATION NUMBER | |
Call Number | 621.3815 |
245 10 - TITLE STATEMENT | |
Title | Safe, Autonomous and Intelligent Vehicles |
250 ## - EDITION STATEMENT | |
Edition statement | 1st ed. 2019. |
300 ## - PHYSICAL DESCRIPTION | |
Number of Pages | XIII, 204 p. 69 illus., 60 illus. in color. |
490 1# - SERIES STATEMENT | |
Series statement | Unmanned System Technologies, |
505 0# - FORMATTED CONTENTS NOTE | |
Remark 2 | 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 ## - SUMMARY, ETC. | |
Summary, etc | 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. |
700 1# - AUTHOR 2 | |
Author 2 | Yu, Huafeng. |
700 1# - AUTHOR 2 | |
Author 2 | Li, Xin. |
700 1# - AUTHOR 2 | |
Author 2 | Murray, Richard M. |
700 1# - AUTHOR 2 | |
Author 2 | Ramesh, S. |
700 1# - AUTHOR 2 | |
Author 2 | Tomlin, Claire J. |
856 40 - ELECTRONIC LOCATION AND ACCESS | |
Uniform Resource Identifier | https://doi.org/10.1007/978-3-319-97301-2 |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | eBooks |
264 #1 - | |
-- | Cham : |
-- | Springer International Publishing : |
-- | Imprint: Springer, |
-- | 2019. |
336 ## - | |
-- | text |
-- | txt |
-- | rdacontent |
337 ## - | |
-- | computer |
-- | c |
-- | rdamedia |
338 ## - | |
-- | online resource |
-- | cr |
-- | rdacarrier |
347 ## - | |
-- | text file |
-- | |
-- | rda |
650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | Electronic circuits. |
650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | Signal processing. |
650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | Microprocessors. |
650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | Computer architecture. |
650 14 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | Electronic Circuits and Systems. |
650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | Signal, Speech and Image Processing . |
650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | Processor Architectures. |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
-- | 2523-3742 |
912 ## - | |
-- | ZDB-2-ENG |
912 ## - | |
-- | ZDB-2-SXE |
No items available.