Synthesis of Switching Rules for Ensuring Reachability Properties of Sampled Linear Systems

Autor: Laurent Fribourg, Bertrand Revol, Romain Soulat

Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 73, Iss Proc. INFINITY 2011, Pp 35-48 (2011)

We consider here systems with piecewise linear dynamics that are periodically sampled with a given period τ . At each sampling time, the mode of the system, i.e., the parameters of the linear dynamics, can be switched, according to a switching rule.

Externí odkaz: https://doaj.org/article/69a81471db49435e918e9f6f2f33bbd3

DOL-BIP-Critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems

Autor: Dario Socci, Lothar Thiele, Georgia Giannopoulou, Peter Poplavko, Madeleine Faugere, Sylvain Girbal, Nikolay Stoimenov, Benoît Dupont de Dinechin, Paraskevas Bourgos, Saddek Bensalem, Romain Soulat, Pengcheng Huang, Marius Bozga

Publikováno v: Design Automation for Embedded Systems
Design Automation for Embedded Systems, Springer Verlag, 2018, 22 (1-2), pp.141-181. ⟨10.1007/s10617-018-9206-3⟩

International audience; Mixed-criticality systems are promoted in industry due to their potential to reduce size, weight, power, and cost. Nonetheless, deploying mixed-criticality applications on commercial multi-core platforms remains a highly chall

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cf0a48a24742c2d4dbccc1c192669bf6
https://doi.org/10.1007/s10617-018-9206-3

Verification of an industrial asynchronous leader election algorithm using abstractions and parametric model checking

Autor: Étienne André, Jean-Marc Mota, Laurent Fribourg, Romain Soulat

Publikováno v: 20th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2019)
20th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2019), Constantin Enea and Ruzica Piskac, Jan 2019, Lisboa, Portugal. ⟨10.1007/978-3-030-11245-5_23⟩
Lecture Notes in Computer Science ISBN: 9783030112448
VMCAI

The election of a leader in a network is a challenging task, especially when the processes are asynchronous, i.e., execute an algorithm with time-varying periods. Thales developed an industrial election algorithm with an arbitrary number of processes

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

3D reconstruction of surface cracks using bi-frequency eddy current images and a direct semi-analytic model

Autor: Caifang Cai, Thierry Bore, Florentin Delaine, Nicolas Gasnier, Romain Soulat, Eric Vourc'H

Publikováno v: 7th Conference on New Computational Methods for Inverse Problems
7th Conference on New Computational Methods for Inverse Problems, May 2017, Cachan, France
HAL

International audience

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d11f293e1de251853e944c130d2f616b
https://hal.science/hal-01727908

Compositional Analysis of Boolean Networks Using Local Fixed-Point Iterations

Autor: Adrien Le Coënt, Laurent Fribourg, Romain Soulat

Publikováno v: Lecture Notes in Computer Science ISBN: 9783319459936
RP

We present a compositional method which allows to over-approximate the set of attractors and under-approximate the set of basins of attraction of a Boolean network (BN). This merely consists in replacing a global fixed-point computation by a composit

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::729d9b290767837d13de86d6bb01ee88
https://doi.org/10.1007/978-3-319-45994-3_10