Hugo Flordal

Publications (17)
Projects (0)

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 proceeding

2009

Compositional Verification in Supervisory Control

Hugo Flordal, R. Malik

SIAM Journal on Control and Optimization. Vol. 48 (3), p. 1914-1938

Journal article

2009

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

Avenir Kobetski, Hugo Flordal, Bengt Lennartson et al

Report

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 proceeding

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

Compositional Approaches in Supervisory Control with Application to Automatic Generation of Robot Interlocking Policies

Hugo Flordal

Doctoral thesis

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 proceeding

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

Other conference contribution

2006

Supervision Equivalence

Hugo Flordal, Robi Malik

8th International Workshop on Discrete Event Systems (WODES'06), p. 155--160-

Paper in proceeding

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 proceeding

2004

Modular verification and synthesis of discrete event systems : with application to coordination of industrial robots

Hugo Flordal

Licentiate thesis

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 proceeding

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 proceeding

2003

Automatic Multi Robot Coordination

Hugo Flordal, Martin Fabian, Knut Åkesson

Konferensprogram för Mekatronikmötet 2003, Göteborg, Sweden

Paper in proceeding

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 proceeding

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 proceeding

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

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.