A Decidable Characterization of a Graphical Pi-calculus with Iterators

Autor: Raymond Devillers, Hanna Klaudel, Frédéric Peschanski

Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 39, Iss Proc. INFINITY 2010, Pp 47-61 (2010)

This paper presents the Pi-graphs, a visual paradigm for the modelling and verification of mobile systems. The language is a graphical variant of the Pi-calculus with iterators to express non-terminating behaviors. The operational semantics of Pi-gra

Externí odkaz: https://doaj.org/article/a3c81d928d584cd0a6980edff7a9b355

Pattern Matching in Link Streams: Timed-Automata with Finite Memory

Autor: Matthieu Latapy, Hanna Klaudel, Clément Bertrand, Frédéric Peschanski

Publikováno v: Scientific Annals of Computer Science, Vol XXVIII, Iss 2, Pp 161-198 (2018)
Scientific Annals of Computer Science
Scientific Annals of Computer Science, 2018, 28 (36), pp.161-198. ⟨10.7561/SACS.2018.2.161⟩

International audience; Link streams model the dynamics of interactions in complex distributed systems as sequences of links (interactions) occurring at a given time. Detecting patterns in such sequences is crucial for many applications but it raises

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f08c28b0c5a6b6b4fd90e9f63c292efa
http://www.info.uaic.ro/bin/download/Annals/XXVIII2/XXVIII2_1.pdf

Filtering distributed information to build a plausible scene for autonomous and connected vehicles

Autor: Hanna Klaudel, Guillaume Hutzler, Abderrahmane Sali

Publikováno v: 17th International Conference on Distributed Computing and Artificial Intelligence (DCAI 2020)
17th International Conference on Distributed Computing and Artificial Intelligence (DCAI 2020), Oct 2020, L'Aquila, Italy. pp.89--101, ⟨10.1007/978-3-030-53036-5_10⟩
Advances in Intelligent Systems and Computing ISBN: 9783030530358
DCAI

International audience; To make their decisions, autonomous vehicles need to build a reliable representationof their environment. In the presence of sensors that are redundant, but not necessarilyequivalent, that may get unreliable, unavailable or fa

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8e3cf6db07c18ce6354e643e3f3fe392
https://hal.archives-ouvertes.fr/hal-02886993

Analysis of Discrete Models for Ecosystem Ecology

Autor: Cinzia Di Giusto, Cédric Gaucherel, Franck Pommereau, Hanna Klaudel

Publikováno v: Biomedical Engineering Systems and Technologies ISBN: 9783030469696
BIOSTEC (Selected Papers)
Biomedical Engineering Systems and Technologies, BIOSTEC 2019, Prague, Czech Republic, February 22–24, 2019
12th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2019)
12th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2019), Ana Roque; Arkadiusz Tomczyk; Elisabetta De Maria; Felix Putze; Roman Moucek; Ana Fred; Hugo Gamboa, Feb 2019, Prague, Czech Republic. pp.242--264, ⟨10.1007/978-3-030-46970-2_12⟩

International audience; We consider discrete qualitative models of ecosystems viewed as collections of interacting living (animals, plants..) and nonliving entities (air, water, soil..), whose conditions of appearance/disappearance are controlled by

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::df7c2cab950303b9efa42cbd4d17255d
https://doi.org/10.1007/978-3-030-46970-2_12

VerifCar: a framework for modeling and model checking communicating autonomous vehicles

Autor: Hanna Klaudel, Raymond Devillers, Johan Arcile

Publikováno v: Autonomous Agents and Multi-Agent Systems
Autonomous Agents and Multi-Agent Systems, Springer Verlag, 2019, 33 (3), pp.353--381. ⟨10.1007/s10458-019-09409-x⟩
19th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2020)
19th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2020), May 2020, Auckland, New Zealand. pp.2126--2127
Autonomous agents and multi-agent systems, 33 (3
19th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2020), May 2020, Auckland, New Zealand. pp.2126-2127, ⟨10.1007/s10458-019-09409-x⟩
Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, 2020-May
Autonomous Agents and Multi-Agent Systems, 2019, 33 (3), pp.353--381. ⟨10.1007/s10458-019-09409-x⟩
AAMAS

This paper presents a framework, called VerifCar, devoted to the validation of decision policies of communicating autonomous vehicles (CAVs). The approach focuses on the formal modeling of CAVs by means of timed automata, allowing a formal and exhaus

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::23e58223f65e68c96eea0146ad5ed530
https://hal.archives-ouvertes.fr/hal-02133680/document