SymAware: Symbolic logic framework for situational awareness in mixed autonomy

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

24 June 2025

R&D case: Breakthrough fuel cell technologies for aircraft

Project: BRAVA (Breakthrough Fuel Cell Technologies for Aviation) In the BRAVA project, technologies for a fuel cell-based power generation system (PGS) for aircraft are being developed. Since fuel cells generate a substantial amount of waste heat, a cooling system is required to remove this heat, which in turn accounts for a significant portion of the […]
Construction and Manufacturing

06 June 2025

R&D case: Laser ultrasonic inspection of complex-shaped composites

The manufacturing of complex-shaped composites is becoming increasingly common, driving up demand for fast automated quality control. Laser ultrasonic testing can be a viable technique to achieve this, as it is fast and contactless. However, it requires the inspected part to be perpendicular to the laser beam, posing a challenge for the positioning of the […]
Construction and Manufacturing

28 May 2025

R&D case: Fast non-destructive testing of large composite aircraft structures

Project: PENELOPE (Closed-loop digital pipeline for a flexible and modular manufacturing of large components) Automation of non-destructive and in-line inspection of aircraft composite parts contributes to efficient high-volume aircraft production, such as expected for the next-generation short-medium range (SMR) aircraft with entry-into-service in 2035. However, automation can also be cost-effective for smaller production volumes, as […]