Concepedia

Martin Fabian

MF

62

Publications

2K

Citations

23

H-Index

1992

Active since

Affiliations

Chalmers University of Technology(Current)

University of Waikato

Volvo Cars (Sweden)

General Motors (United States)

Martin Fabian is an author at Chalmers University of Technology specializing in engineering, systems engineering, and formal methods.

Top concepts

EngineeringSystems EngineeringAutomationComputer ScienceProcess ControlFormal MethodsComputer EngineeringFormal VerificationIndustrial EngineeringIndustrial Informatics

Publications per year

1992–2023

62

Publications

62

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

Modeling of discrete event systems using finite automata with variables

Markus Sköldstam, Knut Åkesson, Martin Fabian · 2007 · 157 citations

Engineering, Industrial Engineering, Discrete Event Systems +20

PLC-based implementation of supervisory control for discrete event systems

Martin Fabian, Anders Hellgren · 2002 · 152 citations

Engineering, Industrial Engineering, Discrete Event Systems +16

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

Rows per page

1–5 of 62