Ahmed Khoumsi

Available identifiers

zbMath Open khoumsi.ahmedMaRDI QIDQ601047

List of research outcomes

Publication	Date of Publication	Type
Arborescent architecture for decentralized diagnosis of discrete event systems	2020-09-01	Paper
Correction to: ``Arborescent architecture for decentralized diagnosis of discrete event systems	2020-09-01	Paper
Decentralized Supervisory Control of Discrete Event Systems: An Arborescent Architecture to Realize Inference-Based Control	2018-12-18	Paper
Multi-Decision Supervisory Control: Parallel Decentralized Architectures Cooperating for Controlling Discrete Event Systems	2017-08-25	Paper
https://portal.mardi4nfdi.de/entity/Q2848434	2013-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q2848435	2013-09-26	Paper
Multi-decision diagnosis: decentralized architectures cooperating for diagnosing the presence of faults in discrete event systems	2012-12-05	Paper
A Method for Testing the Conformance of Real Time Systems	2011-04-08	Paper
SetExp: a method of transformation of timed automata into finite state automata	2010-11-03	Paper
A new method for centralised and modular supervisory control of real-time discrete event systems	2010-04-06	Paper
Formal Approaches to Software Testing	2009-06-04	Paper
Grid automata and supervisory control of dense real-time discrete event systems	2006-04-28	Paper
A supervisory control method for ensuring the conformance of real-time discrete event systems	2006-02-23	Paper
https://portal.mardi4nfdi.de/entity/Q4422937	2003-08-24	Paper
https://portal.mardi4nfdi.de/entity/Q4942027	2000-03-19	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ahmed Khoumsi