Titlebook: Safe, Autonomous and Intelligent Vehicles; Huafeng Yu,Xin Li,Claire J. Tomlin Book 2019 Springer Nature Switzerland AG 2019 Autonomous Int

MOTE

书目名称Safe, Autonomous and Intelligent Vehicles影响因子(影响力)




书目名称Safe, Autonomous and Intelligent Vehicles影响因子(影响力)学科排名




书目名称Safe, Autonomous and Intelligent Vehicles网络公开度




书目名称Safe, Autonomous and Intelligent Vehicles网络公开度学科排名




书目名称Safe, Autonomous and Intelligent Vehicles被引频次




书目名称Safe, Autonomous and Intelligent Vehicles被引频次学科排名




书目名称Safe, Autonomous and Intelligent Vehicles年度引用




书目名称Safe, Autonomous and Intelligent Vehicles年度引用学科排名




书目名称Safe, Autonomous and Intelligent Vehicles读者反馈




书目名称Safe, Autonomous and Intelligent Vehicles读者反馈学科排名

Electrolysis

Provably-Correct Compositional Synthesis of Vehicle Safety Systems,model imperfections, and contract-based composition of functionality, are discussed. The ideas are demonstrated in high-fidelity simulations in CarSim, and also on a real vehicle in Mcity, the autonomous vehicle testing facility at the University of Michigan.

事情

Model-Based Software Synthesis for Safety-Critical Cyber-Physical Systems,rity, reusability, memory usage, etc. Our approach addresses timing holistically throughout task generation and task mapping, ensures functional correctness, and enables quantitative trade-offs among different design objectives.

誓言

窝转脊椎动物

Efficient Statistical Validation of Autonomous Driving Systems,rous safety standard, ensuring extremely small failure probability over all possible operation conditions is one of the critical tasks for an autonomous driving system. In this chapter, we describe a novel methodology to validate vision-based autonomous driving systems over different circuit corners

歪曲道理

Cyberattack-Resilient Hybrid Controller Design with Application to UAS,curely and safely. In this research, safety and performance implications of the CPS subject to cyberattacks are investigated from a control systems perspective. Due to the unpredictable nature of cyberattacks, existing controller designs have been limited to assume some specific attack strategies at

Accolade

Control and Safety of Autonomous Vehicles with Learning-Enabled Components,ning a controller that achieves the desired behavior on the system is a challenging problem. The proven efficacy of learning-based control schemes strongly motivates their application to autonomous vehicles. However, guaranteeing correct operation of learning-based schemes during and after the learn

思考才皱眉

Adaptive Stress Testing of Safety-Critical Systems,raft. The analysis of failure events is important in understanding the causes and conditions of failure, informing improvements to the system, and the estimation and categorization of risk. However, stress testing of safety-critical systems can be very challenging. Finding failure events can be diff

Nonconformist

Provably-Correct Compositional Synthesis of Vehicle Safety Systems,hese systems often include controllers designed for individual tasks. Designing individual controllers for interacting subsystems, and composing them in a way that preserves the guarantees that each controller provides on each subsystem, is a challenging task. This chapter presents recent results ad

收藏品

Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems,l safety and robustness guarantees for the behaviors of neural network systems are crucial for their applications in safety-critical systems. In this paper, the reachable set estimation and safety verification problems for Nonlinear Autoregressive-Moving Average (NARMA) models in the forms of neural