Hugo Flordal

发表

Compositional Verification in Supervisory Control

Robi Malik, Hugo Flordal, 2009, SIAM J. Control. Optim..

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

Bengt Lennartson, Martin Fabian, Avenir Kobetski, 2009 .

Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence

Knut Åkesson, Robi Malik, Martin Fabian, 2007, Discret. Event Dyn. Syst..

Automatic Multi Robot Coordination

Knut Åkesson, Martin Fabian, Hugo Flordal, 2003 .

Automatic Implementation and Verification of Coordinating PLC-Code for Robot Cells

Knut Åkesson, Martin Fabian, Hugo Flordal, 2004 .

Conflicts and projections

Patrícia N. Pena, Robi Malik, Hugo Flordal, 2007 .

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

Knut Åkesson, Martin Fabian, Hugo Flordal, 2003 .

Exploiting Modularity for Synthesis and Verification of Supervisors

Knut Åkesson, Martin Fabian, Hugo Flordal, 2002 .

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

Knut Åkesson, Robi Malik, Martin Fabian, 2017 .

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

Hugo Flordal, 2004 .

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

Hugo Flordal, 2006 .

Compositional synthesis of discrete event systems via synthesis equivalence

Robi Malik, Hugo Flordal, H. Flordal, 2008 .

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

Knut Åkesson, Martin Fabian, Domenico Spensieri, 2007 .

Controllability Revisited: A Generalization for the Modular Approach

Knut Åkesson, Martin Fabian, Anders Hellgren, 2004 .