Ahmed Khoumsi

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Arborescent architecture for decentralized diagnosis of discrete event systems Discrete Event Dynamic Systems	2020-09-01	Paper
Correction to: ``Arborescent architecture for decentralized diagnosis of discrete event systems Discrete Event Dynamic Systems	2020-09-01	Paper
Decentralized Supervisory Control of Discrete Event Systems: An Arborescent Architecture to Realize Inference-Based Control IEEE Transactions on Automatic Control	2018-12-18	Paper
Multi-Decision Supervisory Control: Parallel Decentralized Architectures Cooperating for Controlling Discrete Event Systems IEEE Transactions on Automatic Control	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 Discrete Event Dynamic Systems	2012-12-05	Paper
A Method for Testing the Conformance of Real Time Systems Lecture Notes in Computer Science	2011-04-08	Paper
SetExp: a method of transformation of timed automata into finite state automata Real-Time Systems	2010-11-03	Paper
A new method for centralised and modular supervisory control of real-time discrete event systems International Journal of Control	2010-04-06	Paper
Formal Approaches to Software Testing Lecture Notes in Computer Science	2009-06-04	Paper
Grid automata and supervisory control of dense real-time discrete event systems Mathematics and Computers in Simulation	2006-04-28	Paper
A supervisory control method for ensuring the conformance of real-time discrete event systems Discrete Event Dynamic Systems	2006-02-23	Paper
scientific article; zbMATH DE number 1969674 (Why is no real title available?)	2003-08-24	Paper
scientific article; zbMATH DE number 1418467 (Why is no real title available?)	2000-03-19	Paper

Research outcomes over time

This page was built for person: Ahmed Khoumsi