| 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 | 275 | 2006 |
| Exploiting modularity for synthesis and verification of supervisors K Åkesson, H Flordal, M Fabian IFAC Proceedings Volumes 35 (1), 175-180, 2002 | 111 | 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 | 104 | 2007 |
| 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 | 93 | 2003 |
| Compositional verification in supervisory control H Flordal, R Malik SIAM Journal on Control and Optimization 48 (3), 1914-1938, 2009 | 84 | 2009 |
| 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 | 78 | 2017 |
| Modular nonblocking verification using conflict equivalence H Flordal, R Malik 2006 8th International workshop on discrete event systems, 100-106, 2006 | 61 | 2006 |
| 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 | 45 | 2007 |
| Yet another approach to compositional synthesis of discrete event systems R Malik, H Flordal 2008 9th International workshop on discrete event systems, 16-21, 2008 | 42 | 2008 |
| Supervision equivalence [supervisor synthesis] H Flordal, R Malik 2006 8th International Workshop on Discrete Event Systems, 155-160, 2006 | 16 | 2006 |
| Conflicts and projections R Malik, H Flordal, PN Pena IFAC Proceedings Volumes 40 (6), 205-210, 2007 | 15 | 2007 |
| Supervision of multiple industrial robots: optimal and collision free work cycles H Flordal, D Spensieri, K Akesson, M Fabian Proceedings of the 2004 IEEE International Conference on Control …, 2004 | 11 | 2004 |
| Compositional Approaches in Supervisory Control with Application to Automatic Generation of Robot Interlocking Policies H Flordal Chalmers University of Technology, 2006 | 10 | 2006 |
| Automatic implementation and verification of coordinating PLC-code for robot cells H Flordal, M Fabian, K Åkesson IFAC Proceedings Volumes 37 (4), 189-194, 2004 | 8 | 2004 |
| Supremica in a nutshell–draft K Akesson, M Fabian, H Flordal URL: http://www. supremica. org/media/SupremicaNutshell. pdf, 2007 | 7 | 2007 |
| Controllability revisited: A generalization for the modular approach H Flordal, M Fabian, K Åkesson, A Hellgren IFAC Proceedings Volumes 37 (4), 279-284, 2004 | 6 | 2004 |
| Compositional synthesis of discrete event systems via synthesis equivalence R Malik, H Flordal Department of Computer Science, University of Waikato, 2008 | 4 | 2008 |
| Modular controllability verification and synthesis of discrete event systems H Flordal Chalmers tekniska högsk., 2001 | 4 | 2001 |
| Heuristics for verification and synthesis of mutually nonblocking discrete event systems H Flordal, M Fabian, K Akesson Department of Signals and Systems, Chalmers University of Technology, Tech …, 0 | 2 | |
| A framework for automatic generation of interlocking functions for flexible manufacturing. A Kobetski, H Flordal, B Lennartson, M Fabian | 1 | 2009 |
