000			03351nam a22004095i 4500
006			a||||fo|||| 00| 0
007			cr nn nnnaamaa
710	2		_aSpringerLink (Online service) _9106996
999			_c110523 _d110523 _x1
001			110523
003			ES-MaUEC
005			20230102113425.0
008			181114s2019 gw a o |||| 0|eng d
020			_a9783319973012
024	7		_a10.1007/978-3-319-97301-2 _2doi
040			_bspa _dES-MaUEC _cES-MaUEC
050		4	_aTL152.8 _b2019 EB
245	0	0	_aSafe, Autonomous and Intelligent Vehicles _cedited by Huafeng Yu [y otros cuatro]
264		1	_aCham _bSpringer International Publishing : _bImprint: Springer _c2019
300			_a1 recurso en línea (XIII, 204 páginas) _b69 ilustraciones
336			_2rdacontent _aTexto _btxt
337			_2rdamedia _aelectrónico _bc
338			_2rdacarrier _arecurso electrónico _bcr
347			_atext file _bPDF
490	0		_aEngineering (Springer-11647)
490	0		_aUnmanned System Technologies _x2523-3734
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	3		_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.
988			_aPrimersemestre_2019_Engineering
650		7	_2embne _aVehículos de motor _xInnovaciones tecnológicas
650		7	_2embne _aVehículos de motor _xControl automático
700	1		_aYu, Huafeng. _eeditor literario _4edt _4http://id.loc.gov/vocabulary/relators/edt
776	0	8	_iPrinted edition: _z9783319973005
776	0	8	_iPrinted edition: _z9783319973029
856	4	0	_uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-3-319-97301-2 _zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
942			_2lcc _cLE
998			_aSI _cm _dz _feng _ggw _h0 _b08/2019 _eel _zSI