Using Knowledge Awareness to Improve Safety of Autonomous Driving
Open Access
- 1 October 2023
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 11, 2997-3002
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.Keywords
All Related Versions
This publication has 23 references indexed in Scilit:
- Synthesis for Robots: Guarantees and Feedback for Robot BehaviorAnnual Review of Control, Robotics, and Autonomous Systems, 2018
- Perception, information processing and modeling: Critical stages for autonomous driving applicationsAnnual Reviews in Control, 2017
- Challenges in Perception and Decision Making for Intelligent Automotive Vehicles: A Case StudyIEEE Transactions on Intelligent Vehicles, 2016
- Correct-by-Construction Adaptive Cruise Control: Two ApproachesIEEE Transactions on Control Systems Technology, 2015
- The protégé projectAI Matters, 2015
- OWL: a Description-Logic-Based Ontology Language for the Semantic Web2007
- Temporal Logic Motion Planning for Mobile Robots2006
- Bridging the gap between fair simulation and trace inclusionInformation and Computation, 2005
- Discrete abstractions of hybrid systemsProceedings of the IEEE, 2000
- A model-theoretic analysis of knowledgeJournal of the ACM, 1991