FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W13746687> ?p ?o ?g. }

• W13746687 abstract "Annually over 60.000 people die and another 3.7 million get injured in car accidents in the United States and Europe combined. Automation of vehicles can reduce the number of accidents by 90%. Therefore, it is of great interest in academia and industry. For the automated vehicles that are being presented in industry however, proofs of safe performance are generally not found. Therefore, this thesis investigates approaches to automatically assess automated vehicle controller performance such as deviation overshoot and obtained lateral speeds. More specifically, this thesis studies so-called formal verification of the performance of a highway lane change controller. Because of its robustness properties, a Sliding Mode Control (SMC) strategy is selected and in this research several variations are designed. The availability of a lower level controller was assumed to generate the required steering torque, which results in a third order linear vehicle model. Nonlinear vehicle models with higher order dynamics were considered as well but showed to be too complex for the verification approach. Due to the switching nature of SMC, the closed loop system is modelled as a Hybrid System and as such verified using multiple verification packages. The abstraction based environment HSolver can provide full formal guarantees that account for intervals of parameter uncertainty, in this case initial deviation and lateral speed. However, in comparison with simulations using the Matlab Toolbox Breach–which only propagates distinct values and cannot provide formal guarantees for entire intervals–it suffers from a large over-approximation. Still, for a limited initial interval, HSolver analyses show that a SMC variant called Quasi Sliding Mode Control (QSMC) results in a safe lane change in terms of deviation overshoot. More advanced controllers show promising performance in Breach simulations. This suggests that techniques to reduce the over-approximation in HSolver, or developments in similar tools, can be very interesting to verify safety for more general situations in future research. Alternatively, other performance criteria or different parametric uncertainties could be formally verified as well." @default.
• W13746687 created "2016-06-24" @default.
• W13746687 creator A5054718940 @default.
• W13746687 date "2015-01-23" @default.
• W13746687 modified "2023-09-27" @default.
• W13746687 title "Formal guarantees on controller performance for autonomous vehicles during highway lane changing manoeuvres" @default.
• W13746687 hasPublicationYear "2015" @default.
• W13746687 type Work @default.
• W13746687 sameAs 13746687 @default.
• W13746687 citedByCount "0" @default.
• W13746687 crossrefType "journal-article" @default.
• W13746687 hasAuthorship W13746687A5054718940 @default.
• W13746687 hasConcept C104317684 @default.
• W13746687 hasConcept C108710211 @default.
• W13746687 hasConcept C111498074 @default.
• W13746687 hasConcept C111919701 @default.
• W13746687 hasConcept C11413529 @default.
• W13746687 hasConcept C115901376 @default.
• W13746687 hasConcept C115903868 @default.
• W13746687 hasConcept C119599485 @default.
• W13746687 hasConcept C121332964 @default.
• W13746687 hasConcept C127413603 @default.
• W13746687 hasConcept C133731056 @default.
• W13746687 hasConcept C144171764 @default.
• W13746687 hasConcept C154945302 @default.
• W13746687 hasConcept C171146098 @default.
• W13746687 hasConcept C17500928 @default.
• W13746687 hasConcept C185592680 @default.
• W13746687 hasConcept C203479927 @default.
• W13746687 hasConcept C2524010 @default.
• W13746687 hasConcept C2775924081 @default.
• W13746687 hasConcept C2780323453 @default.
• W13746687 hasConcept C2780365114 @default.
• W13746687 hasConcept C31531917 @default.
• W13746687 hasConcept C33923547 @default.
• W13746687 hasConcept C41008148 @default.
• W13746687 hasConcept C47446073 @default.
• W13746687 hasConcept C55439883 @default.
• W13746687 hasConcept C55493867 @default.
• W13746687 hasConcept C63479239 @default.
• W13746687 hasConcept C6557445 @default.
• W13746687 hasConcept C75606506 @default.
• W13746687 hasConcept C76155785 @default.
• W13746687 hasConcept C78519656 @default.
• W13746687 hasConcept C79487989 @default.
• W13746687 hasConcept C86803240 @default.
• W13746687 hasConcept C97355855 @default.
• W13746687 hasConceptScore W13746687C104317684 @default.
• W13746687 hasConceptScore W13746687C108710211 @default.
• W13746687 hasConceptScore W13746687C111498074 @default.
• W13746687 hasConceptScore W13746687C111919701 @default.
• W13746687 hasConceptScore W13746687C11413529 @default.
• W13746687 hasConceptScore W13746687C115901376 @default.
• W13746687 hasConceptScore W13746687C115903868 @default.
• W13746687 hasConceptScore W13746687C119599485 @default.
• W13746687 hasConceptScore W13746687C121332964 @default.
• W13746687 hasConceptScore W13746687C127413603 @default.
• W13746687 hasConceptScore W13746687C133731056 @default.
• W13746687 hasConceptScore W13746687C144171764 @default.
• W13746687 hasConceptScore W13746687C154945302 @default.
• W13746687 hasConceptScore W13746687C171146098 @default.
• W13746687 hasConceptScore W13746687C17500928 @default.
• W13746687 hasConceptScore W13746687C185592680 @default.
• W13746687 hasConceptScore W13746687C203479927 @default.
• W13746687 hasConceptScore W13746687C2524010 @default.
• W13746687 hasConceptScore W13746687C2775924081 @default.
• W13746687 hasConceptScore W13746687C2780323453 @default.
• W13746687 hasConceptScore W13746687C2780365114 @default.
• W13746687 hasConceptScore W13746687C31531917 @default.
• W13746687 hasConceptScore W13746687C33923547 @default.
• W13746687 hasConceptScore W13746687C41008148 @default.
• W13746687 hasConceptScore W13746687C47446073 @default.
• W13746687 hasConceptScore W13746687C55439883 @default.
• W13746687 hasConceptScore W13746687C55493867 @default.
• W13746687 hasConceptScore W13746687C63479239 @default.
• W13746687 hasConceptScore W13746687C6557445 @default.
• W13746687 hasConceptScore W13746687C75606506 @default.
• W13746687 hasConceptScore W13746687C76155785 @default.
• W13746687 hasConceptScore W13746687C78519656 @default.
• W13746687 hasConceptScore W13746687C79487989 @default.
• W13746687 hasConceptScore W13746687C86803240 @default.
• W13746687 hasConceptScore W13746687C97355855 @default.
• W13746687 hasLocation W137466871 @default.
• W13746687 hasOpenAccess W13746687 @default.
• W13746687 hasPrimaryLocation W137466871 @default.
• W13746687 hasRelatedWork W1000809311 @default.
• W13746687 hasRelatedWork W1564199369 @default.
• W13746687 hasRelatedWork W1577754176 @default.
• W13746687 hasRelatedWork W1998658865 @default.
• W13746687 hasRelatedWork W2014861620 @default.
• W13746687 hasRelatedWork W2019209477 @default.
• W13746687 hasRelatedWork W2031915441 @default.
• W13746687 hasRelatedWork W2069826376 @default.
• W13746687 hasRelatedWork W2120957671 @default.
• W13746687 hasRelatedWork W2132296688 @default.
• W13746687 hasRelatedWork W2162419813 @default.
• W13746687 hasRelatedWork W2312495449 @default.
• W13746687 hasRelatedWork W2566170760 @default.
• W13746687 hasRelatedWork W2753412571 @default.
• W13746687 hasRelatedWork W2964568876 @default.

• next