Alain Ourghanlian

Publication Activity (10 Years)

Years Active: 1998-2023
Publications (10 Years): 6

Top Topics

Formal Descriptions

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)
Ouail Himrane, Alain Ourghanlian, Saïd Amari
Response time evaluation of industrial-scale distributed control systems by discrete event systems formalisms. Int. J. Control 95 (2) (2022)
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)
Kévin Goloze Imama, Alain Ourghanlian, Saïd Amari
Modeling Distributed Control Systems response time: from theory to measures. ICCA (2020)
Fatima Ait Oumeziane, Alain Ourghanlian, Saïd Amari
Analysis of distributed control systems using timed automata with guards and dioid algebra. ETFA (2020)
Thuy Nguyen, Alain Ourghanlian
Dependability Assessment of Safety-Critical System Software by Static Analysis Methods. DSN (2003)
Vincent David, Jean Delcoigne, Evelyne Leret, Alain Ourghanlian, Philippe Hilsenkopf, Philippe Paris
Safety Properties Ensured by the OASIS Model for Safety Critical Real-Time Systems. SAFECOMP (1998)