| 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 | 260 | 2006 |
| 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 | 188 | 2007 |
| Exploiting modularity for synthesis and verification of supervisors K Åkesson, H Flordal, M Fabian IFAC Proceedings Volumes 35 (1), 175-180, 2002 | 105 | 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 | 96 | 2007 |
| Formal modeling of function block applications running in IEC 61499 execution runtime G Cengic, O Ljungkrantz, K Akesson 2006 IEEE Conference on Emerging Technologies and Factory Automation, 1269-1276, 2006 | 96 | 2006 |
| 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 | 93 | 2010 |
| 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 | 91 | 2003 |
| Nonblocking and safe control of discrete-event systems modeled as extended finite automata L Ouedraogo, R Kumar, R Malik, K Akesson IEEE Transactions on Automation Science and Engineering 8 (3), 560-569, 2011 | 85 | 2011 |
| A BDD-based approach for modeling plant and supervisor by extended finite automata S Miremadi, B Lennartson, K Akesson IEEE Transactions on Control Systems Technology 20 (6), 1421-1435, 2011 | 75 | 2011 |
| On formal analysis of IEC 61499 applications, Part A: Modeling G Cengic, K Akesson IEEE Transactions on Industrial Informatics 6 (2), 136-144, 2010 | 70 | 2010 |
| 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 | 66 | 2017 |
| Symbolic computation of reduced guards in supervisory control S Miremadi, K Akesson, B Lennartson IEEE Transactions on Automation Science and Engineering 8 (4), 754-765, 2011 | 59 | 2011 |
| On formal analysis of IEC 61499 applications, part B: Execution semantics G Cengic, K Akesson IEEE Transactions on Industrial Informatics 6 (2), 145-154, 2010 | 55 | 2010 |
| Extraction and representation of a supervisor using guards in extended finite automata S Miremadi, K Akesson, B Lennartson 2008 9th International Workshop on Discrete Event Systems, 193-199, 2008 | 48 | 2008 |
| Methods and Tools in Supervisory Control Theory: Operator Aspects, Computational Efficiency, and Applications K Åkesson Chalmers University of Technology, 2002 | 46* | 2002 |
| 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 | 44 | 2009 |
| Sequence planning using multiple and coordinated sequences of operations K Bengtsson, P Bergagard, C Thorstensson, B Lennartson, K Akesson, ... IEEE Transactions on Automation Science and Engineering 9 (2), 308-319, 2012 | 43 | 2012 |
| 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 | 41 | 2007 |
| SAT-solving in practice, with a tutorial example from supervisory control K Claessen, N Een, M Sheeran, N Sörensson, A Voronov, K Åkesson Discrete Event Dynamic Systems 19, 495-524, 2009 | 39 | 2009 |
| A framework for component based distributed control software development using IEC 61499 G Cengic, O Ljungkrantz, K Akesson 2006 IEEE Conference on Emerging Technologies and Factory Automation, 782-789, 2006 | 37 | 2006 |
Martin FabianChalmers University of TechnologyVerified email at chalmers.se
