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 | 276 | 2006 |
Exploiting modularity for synthesis and verification of supervisors K Åkesson, H Flordal, M Fabian IFAC Proceedings Volumes 35 (1), 175-180, 2002 | 112 | 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 | 79 | 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 |
Supremica–An efficient tool for large-scale discrete event systems. IFAC-PapersOnLine 50 (1), 5794–5799 (2017) R Malik, K Åkesson, H Flordal, M Fabian 20th IFAC World Congress 6, 0 | 9 | |
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 | |