Get started
Author

Hugo Flordal

Observed names: Flordal, Hugo, H. Flordal
OpenAlex ID: A5049855461
Supremica - An integrated environment for verification, synthesis and simulation of discrete event systems
2006 · Knut Akesson, Martin Fabian, et al. · International Workshop on Discrete Event Systems · 223
PDF
Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence
2007 · Hugo Flordal, Robi Malik, et al. · Discrete Event Dynamic Systems · 88
PDF
Supremica–An Efficient Tool for Large-Scale Discrete Event Systems
2017 · Robi Malik, Knut Åkesson, et al. · IFAC-PapersOnLine · 84
Exploiting Modularity for Synthesis and Verification of Supervisors
2002 · K. Åkesson, H. Flordal, et al. · IFAC Proceedings Volumes · 82
Compositional Verification in Supervisory Control
2009 · Hugo Flordal, Robi Malik · SIAM Journal on Control and Optimization · 75
Modular Nonblocking Verification Using Conflict Equivalence
2006 · H. Flordal, R. Malik · International Workshop on Discrete Event Systems · 48
PDF
Automatic model generation and PLC-code implementation for interlocking policies in industrial robot cells
2007 · H. Flordal, M. Fabian, et al. · Control Engineering Practice · 35
Supremica - A Tool for Verification and Synthesis of Discrete Event Supervisors
2003 · Åkesson, Knut, Fabian, Martin, et al. · Chalmers Publication Library (Chalmers University of Technology) · 34
Yet another approach to compositional synthesis of discrete event systems
2008 · Robi Malik, Hugo Flordal · International Workshop on Discrete Event Systems · 32
PDF
Conflicts and Projections
2007 · Robi Malik, Hugo Flordal, et al. · IFAC Proceedings Volumes · 15
Supervision Equivalence
2006 · H. Flordal, R. Malik · International Workshop on Discrete Event Systems · 11
PDF
Compositional Approaches in Supervisory Control with Application to Automatic Generation of Robot Interlocking Policies
2006 · Hugo Flordal · Chalmers Publication Library (Chalmers University of Technology) · 7
Supervision of multiple industrial robots: optimal and collision free work cycles
2005 · H. Flordal, D. Spensieri, et al. · The proceedings of the IEEE Conference on Control Applications/The proceedings of the ... IEEE Conference on Control Applications · 6
Controllability Revisited: A Generalization for the Modular Approach
2004 · H. Flordal, M. Fabian, et al. · IFAC Proceedings Volumes · 5
Automatic Implementation and Verification of Coordinating PLC-Code for Robot Cells
2004 · H. Flordal, M. Fabian, et al. · IFAC Proceedings Volumes · 4
Compositional synthesis of discrete event systems via synthesis equivalence
2008 · Robi Malik, Hugo Flordal · Research Commons (University of Waikato) · 3
PDF
A framework for automatic generation of interlocking functions for flexible manufacturing.
2009 · Avenir Kobetski, Hugo Flordal, et al. · Chalmers Publication Library (Chalmers University of Technology) · 1
Modular verification and synthesis of discrete event systems : with application to coordination of industrial robots
2004 · Hugo Flordal · Chalmers Publication Library (Chalmers University of Technology)
Automatic Multi Robot Coordination
2003 · Hugo Flordal, Martin Fabian, et al. · Chalmers Publication Library (Chalmers University of Technology)
Works count: 21
Citation count: 753
H-index: 11
I10-index: 11
Year
Topic
Type