Hugo Flordal
Visar 17 publikationer
Supremica–An Efficient Tool for Large-Scale Discrete Event Systems
Compositional Verification in Supervisory Control
A framework for automatic generation of interlocking functions for flexible manufacturing.
Yet another approach to compositional synthesis of discrete event systems
Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence
Modular Nonblocking Verification Using Conflict Equivalence
Automatic Implementation And Verification Of Coordinating PLC-Code For Robot Cells
Supervision of Multiple Industrial Robots - Optimal and Collision Free Work Cycles
Controllability Revisited: A Generalization for the Modular Approach
Supremica - A Tool for Verification and Synthesis of Discrete Event Supervisors
Automatic Multi Robot Coordination
Exploiting Modularity for Synthesis and Verification of Supervisors
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.