6 citations · 12 across the 9 of their papers we have counts for
12 papers
A Safety-Driven Architectural Framework for Fail-Operational Drone Swarms in Critical Missions
Luiz Giacomossi, Zafer Yigit, Marwan Shakarna +4
The certification of Unmanned Aerial Vehicle (UAV) swarms for safety-critical operations requires verifiable design assurance. Airworthiness standards demand deterministic reliabil…
Scheduling Analysis of UAV Flight Control Workloads on PREEMPT_RT Linux Using a Raspberry Pi 5
Luiz Giacomossi, Håkan Forsberg, Ivan Tomasic +2
Modern UAV architectures increasingly aim to unify high-level autonomy and low-level flight control on a single General-Purpose Operating System (GPOS). However, complex multi-core…
Market-Based Replanning for Safety-Critical UAV Swarms in Search and Rescue Missions
Luiz Giacomossi, Andrea Haglund, Claire Namatovu +6
Reliable autonomous UAV swarms in Search and Rescue (SAR) missions require fault-tolerant coordination capable of sustaining operations despite agent degradation. This paper introd…
Hochschild cohomology in toposes
Cameron Michie, Ivan Tomasic
We develop a theory of internal Hochschild cohomology in a ringed topos. We construct it via the internal Hochschild cochain complex, as well as through derived functor/topos cohom…
Difference Galois theory and dynamics
Ivan Tomasic, Michael Wibmer
We develop a Galois theory for difference ring extensions, inspired by Magid's separable Galois theory for ring extensions and by Janelidze's categorical Galois theory. Our differe…
A topos-theoretic view of difference algebra
Ivan Tomasic
We view difference algebra as the study of algebraic objects in the topos of difference sets. The methods of topos theory and categorical logic enable us to develop difference homo…
Strongly étale difference algebras and Babbitt's decomposition
Ivan Tomašić, Michael Wibmer
We introduce a class of strongly étale difference algebras, whose role in the study of difference equations is analogous to the role of étale algebras in the study of algebraic equ…
Direct twisted Galois stratification
Ivan Tomašić
The theory ACFA admits a primitive recursive quantifier elimination procedure. It is therefore primitive recursively decidable.
A twisted theorem of Chebotarev
Ivan Tomašić
We prove a function-field version of Chebotarev's density theorem in the framework of difference algebraic geometry by developing the notion of Galois coverings of generalised diff…
Multiplicity in difference geometry
Ivan Tomasic
We prove a first principle of preservation of multiplicity in difference geometry, paving the way for the development of a more general intersection theory. In particular, the fibr…
Twisted Galois stratification
Ivan Tomasic
We prove a direct image theorem stating that the direct image of a Galois formula by a morphism of difference schemes is equivalent to a Galois formula over fields with powers of F…
On braided zeta functions
Shahn Majid, Ivan Tomasic
We propose a ribbon braided category approach to zeta-functions in q-deformed geometry. As a proof of concept we compute where is viewed as the standard representa…