The following pages link to Ahmed Khoumsi (Q601047):
Displayed 15 items.
- SetExp: a method of transformation of timed automata into finite state automata (Q601048) (← links)
- Multi-decision diagnosis: decentralized architectures cooperating for diagnosing the presence of faults in discrete event systems (Q692384) (← links)
- A supervisory control method for ensuring the conformance of real-time discrete event systems (Q816702) (← links)
- Arborescent architecture for decentralized diagnosis of discrete event systems (Q2197584) (← links)
- Correction to: ``Arborescent architecture for decentralized diagnosis of discrete event systems'' (Q2197585) (← links)
- Grid automata and supervisory control of dense real-time discrete event systems (Q2489622) (← links)
- (Q2848434) (← links)
- (Q2848435) (← links)
- A new method for centralised and modular supervisory control of real-time discrete event systems (Q3550771) (← links)
- (Q4422937) (← links)
- Decentralized Supervisory Control of Discrete Event Systems: An Arborescent Architecture to Realize Inference-Based Control (Q4562806) (← links)
- (Q4942027) (← links)
- Multi-Decision Supervisory Control: Parallel Decentralized Architectures Cooperating for Controlling Discrete Event Systems (Q5347891) (← links)
- A Method for Testing the Conformance of Real Time Systems (Q5392298) (← links)
- Formal Approaches to Software Testing (Q5902015) (← links)