| Supremica-an integrated environment for verification, synthesis and simulation of discrete event systems K Akesson, M Fabian, H Flordal, R Malik 2006 8th International workshop on discrete event systems, 384-385, 2006 | 286 | 2006 |
| PLC-based implementation of supervisory control for discrete event systems M Fabian, A Hellgren Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No …, 1998 | 261 | 1998 |
| Modeling of discrete event systems using finite automata with variables M Skoldstam, K Akesson, M Fabian 2007 46th IEEE Conference on Decision and Control, 3387-3392, 2007 | 207 | 2007 |
| Exploiting modularity for synthesis and verification of supervisors K Åkesson, H Flordal, M Fabian IFAC Proceedings Volumes 35 (1), 175-180, 2002 | 116 | 2002 |
| Compositional synthesis of maximally permissive supervisors using supervision equivalence H Flordal, R Malik, M Fabian, K Åkesson Discrete Event Dynamic Systems 17, 475-504, 2007 | 108 | 2007 |
| Sequence planning for integrated product, process and automation design B Lennartson, K Bengtsson, C Yuan, K Andersson, M Fabian, P Falkman, ... Ieee transactions on automation science and engineering 7 (4), 791-802, 2010 | 96 | 2010 |
| Efficient supervisory synthesis of large systems A Vahidi, M Fabian, B Lennartson Control engineering practice 14 (10), 1157-1167, 2006 | 93 | 2006 |
| Supremica—a tool for verification and synthesis of discrete event supervisors K Akesson, M Fabian, H Flordal, A Vahidi 11th mediterranean conference on control and automation, 2003 | 92 | 2003 |
| Supremica–an efficient tool for large-scale discrete event systems R Malik, K Åkesson, H Flordal, M Fabian IFAC-PapersOnLine 50 (1), 5794-5799, 2017 | 90 | 2017 |
| A framework for compositional synthesis of modular nonblocking supervisors S Mohajerani, R Malik, M Fabian IEEE Transactions on Automatic Control 59 (1), 150-162, 2013 | 74 | 2013 |
| On object oriented nondeterministic supervisory control M Fabian PQDT-Global, 1995 | 63 | 1995 |
| Formal specification and verification of industrial control logic components O Ljungkrantz, K Akesson, M Fabian, C Yuan IEEE Transactions on Automation Science and Engineering 7 (3), 538-548, 2009 | 57 | 2009 |
| Digital twin for legacy systems: Simulation model testing and validation A Khan, M Dahl, P Falkman, M Fabian 2018 IEEE 14th International Conference on Automation Science and …, 2018 | 56 | 2018 |
| Towards a truly flexible manufacturing system A Adlemo, SA Andréasson, M Fabian, P Gullander, B Lennartsson Control Engineering Practice 3 (4), 545-554, 1995 | 53 | 1995 |
| Towards data-driven approaches in manufacturing: an architecture to collect sequences of operations A Farooqui, K Bengtsson, P Falkman, M Fabian International Journal of Production Research 58 (16), 4947-4963, 2020 | 51 | 2020 |
| Integrated virtual preparation and commissioning: supporting formal methods during automation systems development M Dahl, K Bengtsson, P Bergagård, M Fabian, P Falkman IFAC-PapersOnLine 49 (12), 1939-1944, 2016 | 51 | 2016 |
| The formation and microstructural properties of uniform α-GaOOH particles and their calcination products S Krehula, M Ristić, S Kubuki, Y Iida, M Fabián, S Musić Journal of alloys and compounds 620, 217-227, 2015 | 50 | 2015 |
| On the execution of sequential function charts A Hellgren, M Fabian, B Lennartson Control Engineering Practice 13 (10), 1283-1293, 2005 | 50 | 2005 |
| Automatic model generation and PLC-code implementation for interlocking policies in industrial robot cells H Flordal, M Fabian, K Åkesson, D Spensieri Control Engineering Practice 15 (11), 1416-1426, 2007 | 47 | 2007 |
| Modelling and PLC-based implementation of modular supervisory control A Hellgren, B Lennartson, M Fabian Sixth International Workshop on Discrete Event Systems, 2002. Proceedings …, 2002 | 45 | 2002 |
Bengt LennartsonProfessor of Automation, Chalmers University of TechnologyEmail verificata su chalmers.se
