Louis Bal dit Sollier

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 3

Top Topics

Formal Descriptions

Distributed Data

Spatio Temporal

Top Venues

IEEE Robotics Autom. Lett.

Publications

Louis Bal dit Sollier, Alain Ourghanlian, Saïd Amari
New Formal Descriptions for Timed Coloured Petri Nets Using Formal Series. CDC (2023)
Louis Bal dit Sollier, Alain Ourghanlian, Saïd Amari
Delays Evaluation of Networked Control System Switches using Timed Coloured Petri Nets and Formal Series. ETFA (2023)
Louis Bal dit Sollier, Alain Ourghanlian, Saïd Amari
Coloured Petri Nets for Temporal Performance Evaluation of Distributed Control Systems - Application to a FIFO Queue. IEEE Robotics Autom. Lett. 7 (4) (2022)