From Perception to a Framework for Verification of Autonomous Behaviour

Click the blue ribbon to register for this session

Want to watch this free session?

Sign in or create a free AutoSens account to access content and get the latest news and special offers.

Register

Your personal data will be used to support your experience throughout this website, to manage access to your account, and for other purposes described in our privacy policy. Sense Media, on behalf of AutoSens, needs the contact information you provide to us to update you with information about AutoSens and our products. You may unsubscribe from these communications at anytime. For information on how to unsubscribe, as well as our privacy practices and commitment to protecting your privacy, check out our privacy policy.

Perception supplies autonomous systems such as self-driving cars or unmanned aerial vehicles with inputs about the status of the system as well as the surroundings. These inputs are then combined with other information and used to plan, control and coordinate the behaviour of an autonomous system. Inputs from perception are also needed to verify whether the system behaves correctly. Correct behaviour is determined by the manufacturer, but also legal regulations such as road or air traffic acts. Such requirements are complex, and can greatly differ. To capture correct behaviour, we translate requirements and legal regulations into machine readable logic language constraints, which can be verified at runtime. In this talk, we show the path from perception to the verification framework and illustrate the ideas on some examples. By highlighting some of the challenges, we describe the requirements on perception and outline an interface between perception and verification.

Unlimited AutoSens

An AutoSensPLUS+ subscription is required to watch this video on demand.

Presentations, panel discussions, interviews and more from all AutoSens events, with brand new content streamed both live and on demand.

£99

PER YEAR

Already an AutoSensPLUS+ subscriber? Please sing in below.

Register

Your personal data will be used to support your experience throughout this website, to manage access to your account, and for other purposes described in our privacy policy. Sense Media, on behalf of AutoSens, needs the contact information you provide to us to update you with information about AutoSens and our products. You may unsubscribe from these communications at anytime. For information on how to unsubscribe, as well as our privacy practices and commitment to protecting your privacy, check out our privacy policy.

November, 2020