Ahmed Khoumsi

Available identifiers

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
Complete test graph synthesis for symbolic real-time systems	2013-09-26	Paper
A new method for transforming timed automata	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

This page was built for person: Ahmed Khoumsi