Martin Fabian - Concepedia

Author

Martin Fabian

Chalmers University of Technology ORCID

Also Known As

Fabian, Martin, M. Fabian, M.A. Fabián, Martin Fabian, Vader, Remco, martin fabian

245

Publications

2.6K

Citations

H-Index

Concepts

All Affiliations

Chalmers University of Technology University of Waikato Volvo (Sweden)Volvo Cars (Sweden)General Motors (United States)

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	22	56	1.9K
2	Computer Science	18	36	1.4K
3	Computer Engineering	16	28	1K
4	Business	9	9	144
5	Social Sciences	8	8	255

Martin Fabian

Publications

Citations

H-Index

Page 1

	Year	Citations
Supremica - An integrated environment for verification, synthesis and simulation of discrete event systems Knut Åkesson, Martin Fabian, Hugo Flordal, Event-driven ArchitectureEngineeringDiscrete Event SystemsVerificationSimulation	2006	209
Modeling of discrete event systems using finite automata with variables Markus Sköldstam, Knut Åkesson, Martin Fabian EngineeringIndustrial EngineeringDiscrete Event SystemsSimulationIndustrial Control System	2007	157
PLC-based implementation of supervisory control for discrete event systems Martin Fabian, Anders Hellgren EngineeringIndustrial EngineeringDiscrete Event SystemsIndustrial Control SystemIntelligent Systems	2002	152
EXPLOITING MODULARITY FOR SYNTHESIS AND VERIFICATION OF SUPERVISORS Knut Åkesson, Hugo Flordal, Martin Fabian IFAC Proceedings Volumes Formal SpecificationEngineeringFormal ModelingAutomated ReasoningDesign	2002	81
Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence Hugo Flordal, Robi Malik, Martin Fabian, Discrete Event Dynamic Systems Mathematical ProgrammingEngineeringAutomated ReasoningCompositional SynthesisSupervision System	2007	81
Sequence Planning for Integrated Product, Process and Automation Design Bengt Lennartson, Kristofer Bengtsson, Chengyin Yuan, IEEE Transactions on Automation Science and Engineering EngineeringIndustrial EngineeringSocial SciencesAutomated ManufacturingSystems Engineering	2010	79
Supremica–An Efficient Tool for Large-Scale Discrete Event Systems Robi Malik, Knut Åkesson, Hugo Flordal, IFAC-PapersOnLine Event-driven ArchitectureIndustrial RobotsSynthesis FacilitiesEngineeringAutonomous Systems	2017	74
A Framework for Compositional Synthesis of Modular Nonblocking Supervisors Sahar Mohajerani, Robi Malik, Martin Fabian IEEE Transactions on Automatic Control EngineeringDiscrete Event SystemsComputational ComplexitySystem-level DesignSynthesis Equivalent Abstractions	2013	62
Efficient supervisory synthesis of large systems Arash Vahidi, Martin Fabian, Bengt Lennartson Control Engineering Practice EngineeringFormal MethodsProcess ControlSystems EngineeringController Synthesis	2006	61
Efficient supervisory synthesis of large systems Arash Vahidi, Bengt Lennartson, Martin Fabian IFAC Proceedings Volumes EngineeringFormal MethodsProcess ControlSystems EngineeringController Synthesis	2004	54

Page 1