Hugo Flordal

According to our database, Hugo Flordal authored at least 3 papers between 2006 and 2009.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2009

Compositional Verification in Supervisory Control.

Hugo Flordal, Robi Malik

SIAM J. Control. Optim., 2009

2007

Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence.

Hugo Flordal, Robi Malik, Martin Fabian, Knut Åkesson

Discret. Event Dyn. Syst., 2007

2006

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

Hugo Flordal

PhD thesis, 2006