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

Ariane 62 and 64 European launch systems.
Platform System Design

25 February 2026

R&D case: Wind tunnel modelling for Europe's Ariane 6 launch system

The development of the Ariane 6 launcher was geared towards creating a reliable, flexible, and competitive European launch system. NLR played an important role in this endeavour by providing wind tunnel models at various development stages.

Sustainability and Environment

16 February 2026

R&D case: Liquid hydrogen composite tanks for civil aviation

Hydrogen has been identified as a key priority to achieve the European Green Deal for a sustainable economy. By converting the construction of the hydrogen tank from existing metallic solutions to composites, the liquid hydrogen (LH2) composite tank will achieve weight savings that enable the advancement of liquid hydrogen as a sustainable fuel source for civil aviation. This will lower the carbon footprint of air travel and extend the flight range of aircraft by reducing construction weight and cost.