000 04066nam a22005895i 4500
001 978-3-319-97301-2
003 DE-He213
005 20220801214049.0
007 cr nn 008mamaa
008 181114s2019 sz | s |||| 0|eng d
020 _a9783319973012
_9978-3-319-97301-2
024 7 _a10.1007/978-3-319-97301-2
_2doi
050 4 _aTK7867-7867.5
072 7 _aTJFC
_2bicssc
072 7 _aTEC008010
_2bisacsh
072 7 _aTJFC
_2thema
082 0 4 _a621.3815
_223
245 1 0 _aSafe, Autonomous and Intelligent Vehicles
_h[electronic resource] /
_cedited by Huafeng Yu, Xin Li, Richard M. Murray, S. Ramesh, Claire J. Tomlin.
250 _a1st ed. 2019.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2019.
300 _aXIII, 204 p. 69 illus., 60 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aUnmanned System Technologies,
_x2523-3742
505 0 _aIntroduction -- 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 _aThis 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 _aElectronic circuits.
_919581
650 0 _aSignal processing.
_94052
650 0 _aMicroprocessors.
_936080
650 0 _aComputer architecture.
_93513
650 1 4 _aElectronic Circuits and Systems.
_936081
650 2 4 _aSignal, Speech and Image Processing .
_931566
650 2 4 _aProcessor Architectures.
_936082
700 1 _aYu, Huafeng.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_936083
700 1 _aLi, Xin.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_936084
700 1 _aMurray, Richard M.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_936085
700 1 _aRamesh, S.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_924
700 1 _aTomlin, Claire J.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_936086
710 2 _aSpringerLink (Online service)
_936087
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783319973005
776 0 8 _iPrinted edition:
_z9783319973029
830 0 _aUnmanned System Technologies,
_x2523-3742
_936088
856 4 0 _uhttps://doi.org/10.1007/978-3-319-97301-2
912 _aZDB-2-ENG
912 _aZDB-2-SXE
942 _cEBK
999 _c75916
_d75916