Hugo Flordal

Publikationer (17)
Projekt (0)

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

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

2009

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

Avenir Kobetski, Hugo Flordal, Bengt Lennartson et al

Rapport

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

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

Hugo Flordal

Doktorsavhandling

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

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

Övrigt konferensbidrag

2006

Supervision Equivalence

Hugo Flordal, Robi Malik

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

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

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

Hugo Flordal

Licentiatavhandling

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

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

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

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.