Martin Fabian

Martin Fabian

Chalmers University of Technology - Göteborg / Sweden
Others
AD Scientific Index ID: 1417171
Chalmers tekniska högskola
person_outline Martin Fabian's MOST POPULAR ARTICLES
1-) Supremica-an integrated environment for verification, synthesis and simulation of discrete event systemsK Akesson, M Fabian, H Flordal, R Malik2006 8th International Workshop on Discrete Event Systems, 384-385, 20062592006
2-) PLC-based implementation of supervisory control for discrete event systemsM Fabian, A HellgrenProceedings of the 37th IEEE Conference on Decision and Control (Cat. No …, 19982461998
3-) Modeling of discrete event systems using finite automata with variablesM Skoldstam, K Akesson, M Fabian2007 46th IEEE Conference on Decision and Control, 3387-3392, 20071852007
4-) Exploiting modularity for synthesis and verification of supervisorsK Åkesson, H Flordal, M FabianIFAC Proceedings Volumes 35 (1), 175-180, 20021142002
5-) Compositional synthesis of maximally permissive supervisors using supervision equivalenceH Flordal, R Malik, M Fabian, K ÅkessonDiscrete Event Dynamic Systems 17, 475-504, 20071072007