Online Reachability Analysis and Space Convexification for Autonomous Racing

Autor: Bogomolov, Sergiy, Johnson, Taylor T., Lopez, Diego Manzanas, Musau, Patrick, Stankaitis, Paulius

Publikováno v: EPTCS 395, 2023, pp. 95-112

This paper presents an optimisation-based approach for an obstacle avoidance problem within an autonomous vehicle racing context. Our control regime leverages online reachability analysis and sensor data to compute the maximal safe traversable region

Externí odkaz: http://arxiv.org/abs/2311.09781

Automating Verification of Event-B Models

Autor: Stankaitis, Paulius, Iliasov, Alexei, Adjepon-Yamoah, David, Romanovsky, Alexander

Event-B is one of more popular notations for model-based, proof driven specification. It offers a fairly high-level mathematical lan- guage based on FOL and ZF set theory and an economical yet expres- sive modelling notation. Model correctness is est

Externí odkaz: http://arxiv.org/abs/1611.02923

Formal Distributed Protocol Development for Reservation of Railway Sections

Autor: Stankaitis, Paulius, Iliasov, Alexei, Kobayashi, Tsutomu, Aït-Ameur, Yamine, Ishikawa, Fuyuki, Romanovsky, Alexander

Publikováno v: Rigorous State-Based Methods

The decentralisation of railway signalling systems has the potential to increase railway network capacity, availability and reduce maintenance costs. Given the safety-critical nature of railway signalling and the complexity of novel distributed signa

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=pmc_________::ed82d7e3af31f5cb96b5b4656723c87a
http://europepmc.org/articles/PMC7242030

Modélisation hybride d'un contrôleur de vitesse ferroviaire à l'aide de la preuve et du raffinement

Autor: Stankaitis, Paulius, Dupont, Guillaume, Singh, Neeraj Kumar, Ait-Ameur, Yamine, Iliasov, Alexei, Romanovsky, Alexander

Publikováno v: 2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS)
2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS), Nov 2019, Guangzhou, France. pp.107-113, ⟨10.1109/ICECCS.2019.00019⟩

International audience

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::6733103b5709aa30774936702dde7322
https://hal.archives-ouvertes.fr/hal-03265768

Efficient composition of scenario‐based hardware specifications.

Autor: Gennaro, Alessandro¹ (AUTHOR) a.de‐gennaro@ncl.ac.uk, Stankaitis, Paulius¹ (AUTHOR), Mokhov, Andrey¹ (AUTHOR)

Publikováno v: IET Computers & Digital Techniques (Wiley-Blackwell). Mar2019, Vol. 13 Issue 2, p57-69. 13p.