Towards Formal Modelling of Autonomous Systems

Dynamic Decision Making System for Public Transport Routes

“…Their interval travel times can define a best-case and a worst-case travel time. This idea is very similar to our formalisation within the TraDe framework (Spichkova, 2015).…”

“…(Hamilton & Berry, 2010;Hamilton et al, 2011;Spichkova et al, 2012;Spichkova, 2011;Feilikas et al, 2011). We apply in this work the TraDe framework, which we developed for formal modelling and analysis of transport systems (Spichkova, 2015). In the rest of the paper, we will emphasize the development of a formal model for incorporating the various personalized transport solutions for on-demand public transportation planning systems.…”

Software Development for Autonomous and Social Robotics Systems

“…The core results of our previous project on social robotics are presented in [6]: We focused on the Lab tours use case, where the robot takes guests on tours of our Innovation Labs and answers related questions. The framework presented in [6] is based on a formal framework for modelling and analysis of autonomous systems and their compositions [25], and can be applied to any kind of guided tours, as changing the application domain would mean changing only on the content of information provided about exhibits. In the project we present in this paper, we went further to extend the framework with web-based interface providing many useful features.…”

From Automotive to Autonomous: Time-Triggered Operating Systems

“…In [36], we introduced a formal framework for modelling and analysis of autonomous systems (AS) and their compositions, especially focusing on the adaptivity modelling aspects and reasoning about adaptive behaviour. In our current work we extend this framework with the core features of a framework for the verification of properties for automotive TTS, presented in [20,21].…”