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 |