8 citations · 14 across the 5 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2018★ 8 cited
Verification of an industrial asynchronous leader election algorithm using abstractions and parametric model checking
Étienne André, Laurent Fribourg, Jean-Marc Mota +1
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…
cs.LO2011
Synthesis of Switching Rules for Ensuring Reachability Properties of Sampled Linear Systems
Laurent Fribourg, Bertrand Revol, Romain Soulat
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…