M. Fabian

6 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Compositional coordinator synthesis of extended finite automata
M. A. Goorden and others (2021) · Springer Science and Business Media LLC
Supremica–An Efficient Tool for Large-Scale Discrete Event Systems
R. Malik and others (2017) · Elsevier BV
A Framework for Compositional Synthesis of Modular Nonblocking Supervisors
S. Mohajerani and others (2014) · Institute of Electrical and Electronics Engineers (IEEE)
Synthesis equivalence of triples
S. Mohajerani and others (2014) · Technical Report R004/2013
Compositional synthesis of discrete event systems using synthesis abstraction
S. Mohajerani and others (2011) · IEEE
PLC-based implementation of supervisory control for discrete event systems
M. Fabian and others (1998) · IEEE