Hugo Flordal

3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence

Hugo Flordal and others (2007) · Discrete Event Dynamic Systems · Springer Science+Business Media

Modular Nonblocking Verification Using Conflict Equivalence

Hugo Flordal and others (2006) · International Workshop on Discrete Event Systems

EXPLOITING MODULARITY FOR SYNTHESIS AND VERIFICATION OF SUPERVISORS

Knut Åkesson and others (2002) · IFAC Proceedings Volumes · Elsevier BV