Login / Signup
Fatima Ait Oumeziane
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 2
Top Topics
Cooperative
Control System
Formal Analysis
Agent Model
Top Venues
Int. J. Syst. Sci.
ETFA
</>
Publications
</>
Fatima Ait Oumeziane
,
Redouane Kara
,
Saïd Amari
Formal analysis and control of timed automata with guards using (max, +) and (min, +) algebras.
Int. J. Syst. Sci.
51 (11) (2020)
Fatima Ait Oumeziane
,
Alain Ourghanlian
,
Saïd Amari
Analysis of distributed control systems using timed automata with guards and dioid algebra.
ETFA
(2020)