SymAware: Symbolic logic framework for situational awareness in mixed autonomy

R&D case

R&D case: Symbolic logic framework for situational awareness (SymAware)

There will be a large increase in the number of aerial and ground vehicles that can operate fully autonomously or with a high level of automation requiring human intervention only in special conditions. In increasingly autonomous operations, the situation awareness, risk awareness and experience of human operators that have played such vital roles until now can no longer be counted upon.

The challenge

SymAware addresses the fundamental need for a new conceptual framework for awareness in multi-agent systems that is compatible with the internal models and specifications of robotic agents and that enables safe simultaneous operation of collaborating autonomous agents and humans. The goal of SymAware is to provide a comprehensive framework for situational awareness to support sustainable autonomy via agents that actively perceive risks and collaborate with other robots and humans to improve their awareness and understanding, while fulfilling complex and dynamically changing tasks.

The solution

The SymAware framework founded on compositional logic, symbolic computations, formal reasoning, and uncertainty quantification will characterise and support situational awareness of multi-agent systems by formally modelling and specifying awareness in its various dimensions, sustaining awareness by learning in social contexts, quantifying risks based on limited knowledge, and formulating riskaware negotiation of task distributions.

What did we do?

The SymAware approach for awareness engineering will be implemented and validated in use cases. Royal NLR will develop a use case for modelling, simulation and risk assessment of unmanned aircraft systems traffic management of drone operations in an urban environment, including disturbances and hazards during operations. The computational framework

building on compositional logic, symbolic computations, formal reasoning, and uncertainty quantification will allow for addressing risks and safety explicitly and in a quantifiable manner.

For more information about the SymAware project, please check here.

NLR Marknesse

Information

Latest cases

Construction and Manufacturing

20 March 2025

R&D case: Enabling temperature control for large scale additive manufacturing

The challenge One of the main challenges of Large Scale 3D printing of high temperature thermoplastics is the control of the interface temperature – which determines the degree of bonding between consecutive layers. When the deposited material has cooled down in excess, poor adhesion is achieved between layers, leading to insufficient strength, delamination, cracking and […]
Sustainability and Environment

28 January 2025

R&D case COCOLIH2T - Composite Conformal Liquid H2 Tank

The global aviation industry is committed to reducing global net aviation carbon emissions by 50% by the year 2050, with the European Commission pursuing a more ambitious goal of a 75% reduction in CO2 emissions per passenger kilometre. Alternative fuels such as liquid hydrogen (LH2) are seen as playing a central role in a zero-emission […]
GERDA robot for Smart maintenance inspections and smart training
Maintenance and Repair

18 December 2024

R&D case: Smart maintenance inspections and smart training devices

Maintenance is important to make aircraft operations a success. Unfortunately, the MRO industry is faced with a shortage of labour and pollution. How can we use innovations to help the industry? The challenge Aircraft maintenance organisations perform high-tech maintenance on aircraft. The maintenance activities are labour intensive and require considerable resources. In this research, we […]