Concepedia

Hugo Flordal

HF

10

Publications

655

Citations

10

H-Index

2002

Active since

Affiliations

Chalmers University of Technology(Current)

University of Waikato

Hugo Flordal is an author at Chalmers University of Technology specializing in engineering, formal methods, and process control.

Top concepts

EngineeringFormal MethodsProcess ControlComputer ScienceSystems EngineeringComputer EngineeringAutomationFormal VerificationAutomated ReasoningVerification

Publications per year

2002–2017

10

Publications

10

Supremica - An integrated environment for verification, synthesis and simulation of discrete event systems

Knut Åkesson, Martin Fabian, Hugo Flordal et al. · 2006 · 209 citations · Full text

Event-driven Architecture, Engineering, Discrete Event Systems +21

EXPLOITING MODULARITY FOR SYNTHESIS AND VERIFICATION OF SUPERVISORS

Knut Åkesson, Hugo Flordal, Martin Fabian · IFAC Proceedings Volumes · 2002 · 81 citations

Formal Specification, Engineering, Formal Modeling +8

Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence

Hugo Flordal, Robi Malik, Martin Fabian et al. · Discrete Event Dynamic Systems · 2007 · 81 citations · Full text

Mathematical Programming, Engineering, Automated Reasoning +7

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

Robi Malik, Knut Åkesson, Hugo Flordal et al. · IFAC-PapersOnLine · 2017 · 74 citations · Full text

Event-driven Architecture, Industrial Robots, Synthesis Facilities +19

Compositional Verification in Supervisory Control

Hugo Flordal, Robi Malik · SIAM Journal on Control and Optimization · 2009 · 71 citations

Engineering, Verification, Computer-aided Verification +17

Rows per page

1–5 of 10