Hugo Flordal

Showing 17 publications

2017

Supremica–An Efficient Tool for Large-Scale Discrete Event Systems

Robi Malik, Knut Åkesson, Hugo Flordal et al
IFAC-PapersOnLine. Vol. 50 (1), p. 5794-5799
Paper in proceedings
2009

A framework for automatic generation of interlocking functions for flexible manufacturing.

Avenir Kobetski, Hugo Flordal, Bengt Lennartson et al
Report
2009

Compositional Verification in Supervisory Control

Hugo Flordal, R. Malik
SIAM Journal on Control and Optimization. Vol. 48 (3), p. 1914-1938
Journal article
2008

Yet another approach to compositional synthesis of discrete event systems

Robi Malik, Hugo Flordal
9th International Workshop on Discrete Event Systems, WODES' 08; Goteborg; Sweden; 28 May 2008 through 30 May 2008, p. 16-21
Paper in proceedings
2007

Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence

Hugo Flordal, Robi Malik, Martin Fabian et al
Discrete Event Dynamic Systems: Theory and Applications. Vol. 17 (4), p. 475-504
Journal article
2007

Automatic model generation and PLC-code implementation for interlocking policies in industrial robot cells

Hugo Flordal, Martin Fabian, Knut Åkesson et al
Control Engineering Practice. Vol. 15 (11), p. 1416-1426
Journal article
2006

Supremica - An Integrated Environment for Verification, Synthesis and Simulation of Discrete Event Systems

Knut Åkesson, Martin Fabian, Hugo Flordal et al
Proceeding os the 8th Workshop on Discrete Event Systems (WODES'06), Ann Arbor, MI, USA, p. 384-385
Conference contribution
2006

Modular Nonblocking Verification Using Conflict Equivalence

Hugo Flordal, Malik Malik
8th International Workshop on Discrete Event Systems (WODES'06), p. 100-106
Paper in proceedings
2006

Supervision Equivalence

Hugo Flordal, Robi Malik
8th International Workshop on Discrete Event Systems (WODES'06), p. 155--160-
Paper in proceedings
2004

Supervision of Multiple Industrial Robots - Optimal and Collision Free Work Cycles

Hugo Flordal, Domenico Spensieri, Knut Åkesson et al
Proceedings of the IEEE Conference on Control Applications, Taipei, Taiwan, 2-4 Sept. 2004. Vol. 2, p. 1404 - 1409
Paper in proceedings
2004

Automatic Implementation And Verification Of Coordinating PLC-Code For Robot Cells

Hugo Flordal, Martin Fabian, Knut Åkesson
Proceedings of the 11th IFAC Symposium of Information Control Problems in Manufacturing, Salvador, Brazil
Paper in proceedings
2004

Controllability Revisited: A Generalization for the Modular Approach

Hugo Flordal, Martin Fabian, Knut Åkesson et al
Proceedings of the 11th IFAC Symposium of Information Control Problems in Manufacturing, Salvador, Brazil
Paper in proceedings
2003

Automatic Multi Robot Coordination

Hugo Flordal, Martin Fabian, Knut Åkesson
Konferensprogram för Mekatronikmötet 2003, Göteborg, Sweden
Paper in proceedings
2003

Supremica - A Tool for Verification and Synthesis of Discrete Event Supervisors

Knut Åkesson, Martin Fabian, Hugo Flordal et al
Proc. of the 11th Mediterranean Conference on Control and Automation, Rhodos, Greece
Paper in proceedings
2002

Exploiting Modularity for Synthesis and Verification of Supervisors

Knut Åkesson, Hugo Flordal, Martin Fabian
Proceedings of the IFAC World Congress on Automatic Control, Barcelona, Spain
Paper in proceedings

Save references

If you have installed Zotero or Mendeley on your computer you can use a plugin to extract references from the publications you see.

Download plugins:
Zotero
Mendeley

There are no projects.
There might be more projects where Hugo Flordal participates, but you have to be logged in as a Chalmers employee to see them.