Hugo Flordal

Visar 17 publikationer

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 i proceeding
2009

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

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

Compositional Verification in Supervisory Control

Hugo Flordal, R. Malik
SIAM Journal on Control and Optimization. Vol. 48 (3), p. 1914-1938
Artikel i vetenskaplig tidskrift
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 i 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
Artikel i vetenskaplig tidskrift
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
Artikel i vetenskaplig tidskrift
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
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
2006

Modular Nonblocking Verification Using Conflict Equivalence

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

Supervision Equivalence

Hugo Flordal, Robi Malik
8th International Workshop on Discrete Event Systems (WODES'06), p. 155--160-
Paper i proceeding
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 i 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 i 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 i proceeding
2003

Automatic Multi Robot Coordination

Hugo Flordal, Martin Fabian, Knut Åkesson
Konferensprogram för Mekatronikmötet 2003, Göteborg, Sweden
Paper i 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 i 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 i proceeding

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

Det finns inga projekt att visa.
Det kan finnas fler projekt där Hugo Flordal medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.