Using Knowledge Awareness to improve Safety of Autonomous Driving

We present a method, which incorporates knowledge awareness into the symbolic computation of discrete controllers for reactive cyber physical systems, to improve decision making about the unknown operating environment under uncertain/incomplete inputs. Assuming an abstract model of the system and th...

Full description

Saved in:
Bibliographic Details
Published in:arXiv.org 2023-10
Main Authors: Calvagna, Andrea, Ghosh, Arabinda, Soudjani, Sadegh
Format: Article
Language:English
Subjects:
Controllers
Cyber-physical systems
Knowledge bases (artificial intelligence)
Motion planning
Safety
Temporal logic
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by
cites
container_end_page
container_issue
container_start_page
container_title arXiv.org
container_volume
creator Calvagna, Andrea
Ghosh, Arabinda
Soudjani, Sadegh
description We present a method, which incorporates knowledge awareness into the symbolic computation of discrete controllers for reactive cyber physical systems, to improve decision making about the unknown operating environment under uncertain/incomplete inputs. Assuming an abstract model of the system and the environment, we translate the knowledge awareness of the operating context into linear temporal logic formulas and incorporate them into the system specifications to synthesize a controller. The knowledge base is built upon an ontology model of the environment objects and behavioural rules, which includes also symbolic models of partial input features. The resulting symbolic controller support smoother, early reactions, which improves the security of the system over existing approaches based on incremental symbolic perception. A motion planning case study for an autonomous vehicle has been implemented to validate the approach, and presented results show significant improvements with respect to safety of state-of-the-art symbolic controllers for reactive systems.
format article
fullrecord <record><control><sourceid>proquest</sourceid><recordid>TN_cdi_proquest_journals_2882111224</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>2882111224</sourcerecordid><originalsourceid>FETCH-proquest_journals_28821112243</originalsourceid><addsrcrecordid>eNqNi00LgkAQQJcgSMr_MNBZcEctr9IHQcfqLEKjKLpTO7tK_z4P_YBO7_DeW6gAk0RHeYq4UqFIF8cx7vaYZUmgioe0poGr4amnZ0NQTJUlQyLgGNrhZXkkuFU1uQ9wDYV3bHhgL3C07Ti_G7Wsq14o_HGttufT_XCJ5vXtSVzZsbdmViXmOWqtEdPkv-oLiXg5hg</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>2882111224</pqid></control><display><type>article</type><title>Using Knowledge Awareness to improve Safety of Autonomous Driving</title><source>Publicly Available Content (ProQuest)</source><creator>Calvagna, Andrea ; Ghosh, Arabinda ; Soudjani, Sadegh</creator><creatorcontrib>Calvagna, Andrea ; Ghosh, Arabinda ; Soudjani, Sadegh</creatorcontrib><description>We present a method, which incorporates knowledge awareness into the symbolic computation of discrete controllers for reactive cyber physical systems, to improve decision making about the unknown operating environment under uncertain/incomplete inputs. Assuming an abstract model of the system and the environment, we translate the knowledge awareness of the operating context into linear temporal logic formulas and incorporate them into the system specifications to synthesize a controller. The knowledge base is built upon an ontology model of the environment objects and behavioural rules, which includes also symbolic models of partial input features. The resulting symbolic controller support smoother, early reactions, which improves the security of the system over existing approaches based on incremental symbolic perception. A motion planning case study for an autonomous vehicle has been implemented to validate the approach, and presented results show significant improvements with respect to safety of state-of-the-art symbolic controllers for reactive systems.</description><identifier>EISSN: 2331-8422</identifier><language>eng</language><publisher>Ithaca: Cornell University Library, arXiv.org</publisher><subject>Controllers ; Cyber-physical systems ; Knowledge bases (artificial intelligence) ; Motion planning ; Safety ; Temporal logic</subject><ispartof>arXiv.org, 2023-10</ispartof><rights>2023. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.</rights><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://www.proquest.com/docview/2882111224?pq-origsite=primo$$EHTML$$P50$$Gproquest$$Hfree_for_read</linktohtml><link.rule.ids>776,780,25731,36989,44566</link.rule.ids></links><search><creatorcontrib>Calvagna, Andrea</creatorcontrib><creatorcontrib>Ghosh, Arabinda</creatorcontrib><creatorcontrib>Soudjani, Sadegh</creatorcontrib><title>Using Knowledge Awareness to improve Safety of Autonomous Driving</title><title>arXiv.org</title><description>We present a method, which incorporates knowledge awareness into the symbolic computation of discrete controllers for reactive cyber physical systems, to improve decision making about the unknown operating environment under uncertain/incomplete inputs. Assuming an abstract model of the system and the environment, we translate the knowledge awareness of the operating context into linear temporal logic formulas and incorporate them into the system specifications to synthesize a controller. The knowledge base is built upon an ontology model of the environment objects and behavioural rules, which includes also symbolic models of partial input features. The resulting symbolic controller support smoother, early reactions, which improves the security of the system over existing approaches based on incremental symbolic perception. A motion planning case study for an autonomous vehicle has been implemented to validate the approach, and presented results show significant improvements with respect to safety of state-of-the-art symbolic controllers for reactive systems.</description><subject>Controllers</subject><subject>Cyber-physical systems</subject><subject>Knowledge bases (artificial intelligence)</subject><subject>Motion planning</subject><subject>Safety</subject><subject>Temporal logic</subject><issn>2331-8422</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2023</creationdate><recordtype>article</recordtype><sourceid>PIMPY</sourceid><recordid>eNqNi00LgkAQQJcgSMr_MNBZcEctr9IHQcfqLEKjKLpTO7tK_z4P_YBO7_DeW6gAk0RHeYq4UqFIF8cx7vaYZUmgioe0poGr4amnZ0NQTJUlQyLgGNrhZXkkuFU1uQ9wDYV3bHhgL3C07Ti_G7Wsq14o_HGttufT_XCJ5vXtSVzZsbdmViXmOWqtEdPkv-oLiXg5hg</recordid><startdate>20231025</startdate><enddate>20231025</enddate><creator>Calvagna, Andrea</creator><creator>Ghosh, Arabinda</creator><creator>Soudjani, Sadegh</creator><general>Cornell University Library, arXiv.org</general><scope>8FE</scope><scope>8FG</scope><scope>ABJCF</scope><scope>ABUWG</scope><scope>AFKRA</scope><scope>AZQEC</scope><scope>BENPR</scope><scope>BGLVJ</scope><scope>CCPQU</scope><scope>DWQXO</scope><scope>HCIFZ</scope><scope>L6V</scope><scope>M7S</scope><scope>PHGZM</scope><scope>PHGZT</scope><scope>PIMPY</scope><scope>PKEHL</scope><scope>PQEST</scope><scope>PQGLB</scope><scope>PQQKQ</scope><scope>PQUKI</scope><scope>PRINS</scope><scope>PTHSS</scope></search><sort><creationdate>20231025</creationdate><title>Using Knowledge Awareness to improve Safety of Autonomous Driving</title><author>Calvagna, Andrea ; Ghosh, Arabinda ; Soudjani, Sadegh</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-proquest_journals_28821112243</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2023</creationdate><topic>Controllers</topic><topic>Cyber-physical systems</topic><topic>Knowledge bases (artificial intelligence)</topic><topic>Motion planning</topic><topic>Safety</topic><topic>Temporal logic</topic><toplevel>online_resources</toplevel><creatorcontrib>Calvagna, Andrea</creatorcontrib><creatorcontrib>Ghosh, Arabinda</creatorcontrib><creatorcontrib>Soudjani, Sadegh</creatorcontrib><collection>ProQuest SciTech Collection</collection><collection>ProQuest Technology Collection</collection><collection>Materials Science &amp; Engineering Collection</collection><collection>ProQuest Central (Alumni)</collection><collection>ProQuest Central</collection><collection>ProQuest Central Essentials</collection><collection>ProQuest Central</collection><collection>Technology Collection</collection><collection>ProQuest One Community College</collection><collection>ProQuest Central</collection><collection>SciTech Premium Collection</collection><collection>ProQuest Engineering Collection</collection><collection>ProQuest Engineering Database</collection><collection>ProQuest Central (New)</collection><collection>ProQuest One Academic (New)</collection><collection>Publicly Available Content (ProQuest)</collection><collection>ProQuest One Academic Middle East (New)</collection><collection>ProQuest One Academic Eastern Edition (DO NOT USE)</collection><collection>ProQuest One Applied &amp; Life Sciences</collection><collection>ProQuest One Academic</collection><collection>ProQuest One Academic UKI Edition</collection><collection>ProQuest Central China</collection><collection>Engineering collection</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Calvagna, Andrea</au><au>Ghosh, Arabinda</au><au>Soudjani, Sadegh</au><format>book</format><genre>document</genre><ristype>GEN</ristype><atitle>Using Knowledge Awareness to improve Safety of Autonomous Driving</atitle><jtitle>arXiv.org</jtitle><date>2023-10-25</date><risdate>2023</risdate><eissn>2331-8422</eissn><abstract>We present a method, which incorporates knowledge awareness into the symbolic computation of discrete controllers for reactive cyber physical systems, to improve decision making about the unknown operating environment under uncertain/incomplete inputs. Assuming an abstract model of the system and the environment, we translate the knowledge awareness of the operating context into linear temporal logic formulas and incorporate them into the system specifications to synthesize a controller. The knowledge base is built upon an ontology model of the environment objects and behavioural rules, which includes also symbolic models of partial input features. The resulting symbolic controller support smoother, early reactions, which improves the security of the system over existing approaches based on incremental symbolic perception. A motion planning case study for an autonomous vehicle has been implemented to validate the approach, and presented results show significant improvements with respect to safety of state-of-the-art symbolic controllers for reactive systems.</abstract><cop>Ithaca</cop><pub>Cornell University Library, arXiv.org</pub><oa>free_for_read</oa></addata></record>
fulltext fulltext
identifier EISSN: 2331-8422
ispartof arXiv.org, 2023-10
issn 2331-8422
language eng
recordid cdi_proquest_journals_2882111224
source Publicly Available Content (ProQuest)
subjects Controllers
Cyber-physical systems
Knowledge bases (artificial intelligence)
Motion planning
Safety
Temporal logic
title Using Knowledge Awareness to improve Safety of Autonomous Driving
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-21T02%3A57%3A50IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=document&rft.atitle=Using%20Knowledge%20Awareness%20to%20improve%20Safety%20of%20Autonomous%20Driving&rft.jtitle=arXiv.org&rft.au=Calvagna,%20Andrea&rft.date=2023-10-25&rft.eissn=2331-8422&rft_id=info:doi/&rft_dat=%3Cproquest%3E2882111224%3C/proquest%3E%3Cgrp_id%3Ecdi_FETCH-proquest_journals_28821112243%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_pqid=2882111224&rft_id=info:pmid/&rfr_iscdi=true