Martin Fabian

Professor at Department of Signals and Systems, Automation

Martin Fabian is Head of the Automation research group and Professor of Automation at the Department of Signals and systems.

Source: chalmers.se

Projects

2015–2018

Efficient Maintenance for Sustaninable Transport Solutions (EMATS)

Frida Lind Department of Technology Management and Economics, Industrial Marketing
Patrik Bergagård Department of Signals and Systems, Automation
Martin Fabian Department of Signals and Systems, Automation
Anna Dubois Department of Technology Management and Economics, Supply and Operations Management
Lisa Melander Department of Technology Management and Economics, Supply and Operations Management
Klas Hedvall Department of Technology Management and Economics, Supply and Operations Management
VINNOVA
Volvo Technology

2015–2018

FFI Informationssystemarkitektur 2 - Smarta händelsestyrda tjänster

Martin Fabian Department of Signals and Systems, Automation
VINNOVA

2016–2019

Modellbaserad Testning av Mekatroniska System (TESTRON)

Martin Fabian Department of Signals and Systems, Automation
VINNOVA

2016–2019

Engineering Tool Chain for Efficient and Iterative Development of Smart Factories (ENTOC)

Martin Fabian Department of Signals and Systems, Automation
VINNOVA

2016–2019

TESTRON - Model BAsed Testing of Mechatronic Systems

Knut Åkesson Department of Signals and Systems, Automation
Martin Fabian Department of Signals and Systems, Automation
VINNOVA

2014–2017

Virtual Commissioning of Production Systems - including PLC logics

Petter Falkman Department of Signals and Systems, Automation
Martin Fabian Department of Signals and Systems, Automation
VINNOVA

2015–2016

RObot based Autonomous Refuse handling (ROAR)

Martin Fabian Department of Signals and Systems, Automation
Patrik Bergagård Department of Signals and Systems, Automation
Petter Falkman Department of Signals and Systems, Automation
Volvo Technology

There might be more projects where Martin Fabian participates, but you have to be logged in as a Chalmers employee to see them.

Publications

2017

Compositional synthesis of supervisors in the form of state machines and state maps

Sahar Mohajerani, Robi Malik, Martin Fabian et al
Automatica. Vol. 76, p. 277-281
Scientific journal article - peer reviewed
2016

Formulating constraint satisfaction problems for the inspection of configuration rules

Anna Tidstam, Johan Malmqvist, Alexey Voronov et al
Artificial intelligence for engineering design, analysis and manufacturing. Vol. 30 (3), p. 313-328
Scientific journal article - peer reviewed
2016

Error handling within highly automated automotive industry: Current practice and research needs

Ashfaq Farooqui, Patrik Bergagård, Petter Falkman et al
21st IEEE international conference on Emerging Technologies and Factory Automation, September 6 - 9, 2016, Berlin, Germany. Vol. 2016-November, p. Art no 7733628
Conference paper - peer reviewed
2016

Integrated Virtual Preparation and Commissioning: supporting formal methods during automation systems development

Martin Dahl, Kristofer Bengtsson, Patrik Bergagård et al
IFAC-PapersOnLine. Vol. 49 (12), p. 1939-1944
Conference paper - peer reviewed
2015

Welcome message from general and program chairs

Bengt Lennartson, Martin Fabian,
IEEE International Conference on Automation Science and Engineering. Vol. 2015-October
Conference paper - non peer reviewed
2015

A framework for compositional nonblocking verification of extended finite-state machines

Sahar Mohajerani, Robi Malik, Martin Fabian et al
Journal of Discrete Event Dynamic Systems, p. 1-52
Scientific journal article - peer reviewed
2015

On restart of automated manufacturing systems using restart states

Patrik Bergagård, Martin Fabian,
11th IEEE International Conference on Automation Science and Engineering, CASE 2015, Gothenburg, Sweden, 24-28 August 2015, p. 166-167
Conference paper - peer reviewed
2015

Formulating Constraint Satisfaction Problems for the Inspection of Configuration Rules

Anna Tidstam, Johan Malmqvist, Alexey Voronov et al
Artificial intelligence for engineering design, analysis and manufacturing. Vol. 30 (3), p. 313-328
Scientific journal article - peer reviewed
2015

Modeling and automatic calculation of restart states for an industrial windscreen mounting station

Patrik Bergagård, Petter Falkman, Martin Fabian et al
15th IFAC Symposium on Information Control Problems in Manufacturing, INCOM 2015; Ottawa; Canada; 11-13 May 2015. Vol. 48 (3), p. 1030-1036
Conference paper - peer reviewed
2014

An algorithm for compositional nonblocking verification of extended finite-state machines

Sahar Mohajerani, Robi Malik, Martin Fabian et al
12th IFAC/IEEE Workshop on Discrete Event Systems, WODES 2104, Cachan, France, 14-16 May 2014. Vol. 12, p. 376-382
Conference paper - peer reviewed
2014

Robust manual control of a manufacturing system using supervisory control theory

Brian Bonafilia, Pontus Carlsson, Sebastian Nilsson et al
19th IFAC World Congress on International Federation of Automatic Control, IFAC 2014, Cape Town, South Africa, 24-29 August 2014. Vol. 19, p. 748-753
Conference paper - peer reviewed
2014

Certainly Unsupervisable States

S. Ware, R.P. Malik, Sahar Mohajerani et al
2nd International Workshop of Formal Techniques for Safety-Critical Systems, FTSCS 2013; Queenstown; New Zealand; 29 October 2013 through 30 October 2013. Vol. 419, p. 280-296
Conference paper - peer reviewed
2014

Unified model for synthesis and optimization of discrete event and hybrid systems

Bengt Lennartson, Oskar Wigström, Martin Fabian et al
Advances in the Astronautical Sciences. 12th IFAC/IEEE Workshop on Discrete Event Systems, WODES 2104, Cachan, France, 14-16 May 2014. Vol. 12, p. 86-92
Conference paper - peer reviewed
2014

A Framework for Compositional Synthesis of Modular Nonblocking Supervisors

Sahar Mohajerani, Robi Malik, Martin Fabian et al
IEEE TRANSACTIONS ON AUTOMATIC CONTROL. Vol. 59 (1), p. 150-162
Scientific journal article - peer reviewed
2014

Calculating restart states using reset transitions

Patrik Bergagård, Martin Fabian,
IEEE International Conference on Robotics and Automation, ICRA 2014, Hong Kong, China, 31 May - 7 June 2014
Conference paper - peer reviewed
2014

Formal Methods for the Inspection of Vehicle Configuration Rules

Anna Tidstam, Johan Malmqvist, Alexey Voronov et al
Preprint
2014

Supervisory Control for State-Vector Transition Models—A Unified Approach

Bengt Lennartson, Francesco Basile, Sajed Miremadi et al
IEEE Transactions on Automation Science and Engineering. Vol. 11 (1), p. 33-47
Scientific journal article - peer reviewed
2014

SYNTHESIS EQUIVALENCE OF TRIPLES

Sahar Mohajerani, Robi Malik, Martin Fabian et al
Report
2014

FIVE ABSTRACTION RULES TO REMOVE TRANSITIONS WHILE PRESERVING COMPOSITIONAL SYNTHESIS RESULTS

Sahar Mohajerani, Robi Malik, Martin Fabian et al
Report
2014

SYNTHESIS OBSERVATION EQUIVALENCE AND WEAK SYNTHESIS OBSERVATION EQUIVALENCE

Sahar Mohajerani, Robi Malik, Martin Fabian et al
Report
2014

An Empirical Study of Control Logic Specifications for Programmable Logic Controllers

Oscar Ljungkrantz, Knut Åkesson, Martin Fabian et al
Empirical Software Engineering. Vol. 19 (3), p. 655-677
Scientific journal article - peer reviewed
2013

Compositional Nonblocking Verification for Extended Finite-State Automata Using Partial Unfolding

Sahar Mohajerani, Robi Malik, Martin Fabian et al
IEEE International Conference on Automation Science and Engineering (CASE), 2013, p. 930 - 935
Conference paper - peer reviewed
2013

Calculating Restart States for Systems Modeled by Operations Using Supervisory Control Theory

Patrik Bergagård, Martin Fabian,
Machines. Vol. 1 (3), p. 116-141
Scientific journal article - peer reviewed
2013

Derivation of placement transitions for offline calculation of restart states

Patrik Bergagård, Martin Fabian,
Proc. 18th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2013)
Conference paper - peer reviewed
2013

PARTIAL UNFOLDING FOR COMPOSITIONAL NONBLOCKING VERIFICATION OF EXTENDED FINITE-STATE MACHINES

Sahar Mohajerani, Robi Malik, Martin Fabian et al
Report
2012

State-Vector Transition Model Applied to Supervisory Control

Bengt Lennartson, Sajed Miremadi, Zhennan Fei et al
17th IEEE International Conference on Emerging Technologies & Factory Automation (ETFA)
Conference paper - peer reviewed
2012

Transition Removal for Compositional Supervisor Synthesis

Sahar Mohajerani, Robi Malik, Martin Fabian et al
2012 IEEE International Conference on Automation Science and Engineering: Green Automation Toward a Sustainable Society, CASE 2012, Seoul, 20-24 August 2012, p. 694-699
Conference paper - peer reviewed
2012

An Algorithm for Weak Synthesis Observation Equivalence for Compositional Supervisor Synthesis

Sahar Mohajerani, Robi Malik, Martin Fabian et al
Proc. 11th International Workshop on Discrete Event Systems (WODES'12). Vol. 239--244
Conference paper - peer reviewed
2012

Planning in assembly systems – A common modeling for products and resources

Julien Provost, Bengt Lennartson, Martin Fabian et al
Emerging Technologies & Factory Automation (ETFA)
Conference paper - peer reviewed
2012

Deadlock avoidance for multi product manufacturing systems modeled as sequences of operations

Patrik Bergagård, Martin Fabian,
2012 IEEE International Conference on Automation Science and Engineering: Green Automation Toward a Sustainable Society, CASE 2012, Seoul, 20-24 August 2012, p. 515 - 520
Conference paper - peer reviewed
2012

From Task Allocation Towards Resource Allocation when Optimising Assembly Systems

Åsa Fasth, Julien Provost, Martin Fabian et al
Procedia CIRP - Elsevier. Vol. 3, p. 400-405
Scientific journal article - peer reviewed
2012

From task allocation towards resource allocation when optimising assembly systems

Åsa Fasth, Julien Provost, Martin Fabian et al
45th CIRP Conference on Manufacturing Systems 16-18 May 2012 Athens, University of Patras
Conference paper - peer reviewed
2012

Human operator and robot resource modeling for planning purposes in assembly systems

Julien Provost, Åsa Fasth, Johan Stahre et al
4th CIRP Conference on Assembly Technologies and Systems (CATS 2012), Ann Arbor, 21-22 May 2012
Conference paper - peer reviewed
2012

Towards Industrial Formal Specification of Programmable Safety Systems

Oscar Ljungkrantz, Knut Åkesson, Chengyin Yuan et al
IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY. Vol. 20 (6), p. 1567-1574
Scientific journal article - peer reviewed
2011

Modelling large-scale discrete-event systems using modules, aliases, and extended finite-state automata

R. Malik, Martin Fabian, Knut Åkesson et al
IFAC Proceedings Volumes. 18th IFAC World Congress, Milano, 28 August - 2 September 2011. Vol. 18, p. 7000-7005
Conference paper - peer reviewed
2011

Nondeterminism Avoidance in Compositional Synthesis of Discrete Event Systems

Sahar Mohajerani, Robi Malik, Martin Fabian et al
2011 7th IEEE International Conference on Automation Science and Engineering, CASE 2011; Trieste; Italy; 24 August 2011 through 27 August 2011, p. 19-24
Conference paper - peer reviewed
2011

Generation of restart states for manufacturing cell controllers

Kristin Andersson, Bengt Lennartson, Petter Falkman et al
Control Engineering Practice. Vol. 19 (9), p. 1014-1022
Scientific journal article - peer reviewed
2011

THREE VARIATIONS OF OBSERVATION EQUIVALENCE PRESERVING SYNTHESIS ABSTRACTION

Sahar Mohajerani, Robi Malik, Simon Ware et al
Report
2011

Planning transport sequences for flexible manufacturing systems

Patrik Magnusson, Nina Sundström, Kristofer Bengtsson et al
IFAC Proceedings Volumes. 18th IFAC World Congress, Milano, 28 August - 2 September 2011. Vol. 18, p. 9494-9499
Conference paper - peer reviewed
2011

Compositional Synthesis of Discrete Event Systems Using Synthesis Abstraction

Sahar Mohajerani, Robi Malik, Simon Ware et al
The 23rd Chinese Control and Decision Conference
Conference paper - peer reviewed
2011

On the Use of Observation Equivalence

Sahar Mohajerani, Robi Malik, Simon Ware et al
3rd INTERNATIONAL WORKSHOP ON DEPENDABLE CONTROL OF DISCRETE SYSTEMS
Conference paper - peer reviewed
2010

Modular specification of forbidden states for supervisory control

Patrik Magnusson, Martin Fabian, Knut Åkesson et al
IFAC Proceedings Volumes. 10th International Workshop on Discrete Event Systems (WODES), Berlin, 30 August - 1 September 2010. Vol. 10, p. 412-417
Conference paper - peer reviewed
2010

Sequence Planning for Integrated Product, Process and Automation Design

Bengt Lennartson, K. Bengtsson, C. Y. Yuan et al
IEEE Transactions on Automation Science and Engineering. Vol. 7 (4), p. 791-802
Scientific journal article - peer reviewed
2010

Practice of Industrial Control Logic Programming using Library Components

Oscar Ljungkrantz, Knut Åkesson, Martin Fabian et al
Programmable Logic Controller, p. 17-32
Chapter in monograph, book
2010

Formal Specification and Verification of Industrial Control Logic Components

Oscar Ljungkrantz, Knut Åkesson, Martin Fabian et al
IEEE Transactions on Automation Science and Engineering. Vol. 7 (3), p. 538-548
Scientific journal article - peer reviewed
2010

A formal specification language for PLC-based control logic

Oscar Ljungkrantz, Knut Åkesson, Martin Fabian et al
Proceedings of the 8th IEEE International Conference on Industrial Informatics, INDIN 2010; Osaka; 13 July 2010 through 16 July 2010, p. 1067-1072
Conference paper - peer reviewed
2010

Supervisor Computation and Representation: A Case Study

Sajed Miremadi, Knut Åkesson, Bengt Lennartson et al
10th International Workshop on Discrete Event Systems, Berlin; 30 August 2010 through 1 September 2010. Vol. 10 (1), p. 275-280
Conference paper - peer reviewed
2010

Restarting manufacturing systems; restart states and restartability

Kristin Andersson, Bengt Lennartson, Martin Fabian et al
IEEE Transactions on Automation Science and Engineering. Vol. 7 (3), p. 486-499
Scientific journal article - peer reviewed
2010

Coordination of Operations by Relation Extraction for Manufacturing Cell Controllers

Kristin Andersson, Johan Richardsson, Bengt Lennartson et al
IEEE Transactions on Control Systems Technology. Vol. 18 (2), p. 414-429
Scientific journal article - peer reviewed
2009

Special Issue on WODES'08

Bengt Lennartson, Martin Fabian, Alessandro Giua et al
Discrete Event Dynamic Systems: Theory and Applications. Vol. 19 (4), p. 449-50
Scientific journal article - non peer reviewed
2009

Generation of restart states for manufacturing systems with discarded workpieces

Kristin Andersson, Bengt Lennartson, Petter Falkman et al
2009 IEEE Conference on Automation Science and Engineering, CASE 2009, Bangalore, India, p. 191-196
Conference paper - peer reviewed
2009

Time-Optimal Coordination of Flexible Manufacturing Systems Using Deterministic Finite Automata and Mixed Integer Linear Programming

Avenir Kobetski, Martin Fabian,
Discrete Event Dynamic Systems. Vol. 19 (3), p. 287-315
Scientific journal article - peer reviewed
2009

Synthesis of Restart States for Manufacturing Cell Controllers

Kristin Andersson, Bengt Lennartson, Martin Fabian et al
2nd IFAC Workshop on Dependable Control of Discrete Systems, DCDS’09, Bari, Italy
Conference paper - peer reviewed
2009

A framework for automatic generation of interlocking functions for flexible manufacturing.

Avenir Kobetski, Hugo Flordal, Bengt Lennartson et al
Report
2008

Formal Specification and Verification of Components for Industrial Logic Control Programming

Oscar Ljungkrantz, Knut Åkesson, Martin Fabian et al
Proceedings of the 4th IEEE Conference on Automation Science and Engineering, p. 935-940
Conference paper - peer reviewed
2008

Solving Two Supervisory Control Benchmark Problems Using Supremica

Sajed Miremadi, Knut Åkesson, Martin Fabian et al
9th International Workshop on Discrete Event Systems, 2008, p. 131-136
Conference paper - peer reviewed
2008

Reusable Components for Industrial Logic Control Programming

Oscar Ljungkrantz, Knut Åkesson, Martin Fabian et al
Report
2008

Supervisory Control Applied to Automata Extended with Variables - Revised

Markus Sköldstam, Knut Åkesson, Martin Fabian et al
Report
2007

Automatic model generation and PLC-code implementation for interlocking policies in industrial robot cells

Hugo Flordal, Martin Fabian, Knut Åkesson et al
Control Engineering Practice. Vol. 15 (11), p. 1416-1426
Scientific journal article - peer reviewed
2007

Reliable Control of Complex Manufacturing Cells

Johan Richardsson, Kristin Andersson, Martin Fabian et al
Proceedings of the 2007 IEEE International Symposium on Assembly and Manufacturing
Conference paper - peer reviewed
2007

Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence

Hugo Flordal, Robi Malik, Martin Fabian et al
Discrete Event Dynamic Systems. Vol. 17 (4), p. 475-504
Scientific journal article - peer reviewed
2007

Modeling of Discrete Event Systems using Automata With Variables

Markus Sköldstam, Knut Åkesson, Martin Fabian et al
Proceedings of the 46th IEEE Conference on Decision and Control, p. 3387-3392
Conference paper - peer reviewed
2007

Supervisory control applied to automata extended with variables

Markus Sköldstam, Knut Åkesson, Martin Fabian et al
Report
2007

Modeling of Discrete Event Systems using Finite Automata With Variables

Markus Sköldstam, Knut Åkesson, Martin Fabian et al
Proceedings of the 46th IEEE Conference on Decision and Control
Scientific journal article - peer reviewed
2007

Minimization of Expected Cycle Time in Manufacturing Cells with Uncontrollable Behavior

Avenir Kobetski, Johan Richardsson, Knut Åkesson et al
IEEE Conference on Automation Science and Engineering
Conference paper - peer reviewed
2006

Modeling the Control of a Flexible Manufacturing Cell for Automatic Verification and Control Program Generation

Johan Richardsson, Martin Fabian,
International Journal of Flexible Manufacturing Systems. Vol. 18 (3), p. 191-208
Scientific journal article - peer reviewed
2006

Efficient Supervisory Synthesis of Large Systems

Arash Vahidi, Bengt Lennartson, Martin Fabian et al
Control Engineering Practice. Vol. 14 (10), p. 1157-1167
Scientific journal article - peer reviewed
2006

Modeling the Control of a Flexible Manufacturing Cell for Automatic Verification and Control Program Generation

Johan Richardsson, Martin Fabian,
3rd International Conference on Reconfigurable Manufacturing, Ann Arbor, USA, May 2005
Conference paper - peer reviewed
2006

Supremica - An Integrated Environment for Verification, Synthesis and Simulation of Discrete Event Systems

Knut Åkesson, Martin Fabian, Hugo Flordal et al
Proceeding os the 8th Workshop on Discrete Event Systems (WODES'06), Ann Arbor, MI, USA, p. 384-385
Conference paper - non peer reviewed
2006

Automatic Generation of Distributed Control Functions for Multi-Product Manufacturing Cells

Kristin Andersson, Johan Richardsson, Bengt Lennartson et al
New Trends in Automation and Industrial IT
Conference paper - non peer reviewed
2006

Coordinated operations by relation extraction for manufacturing cell controllers

Kristin Andersson, Johan Richardsson, Bengt Lennartson et al
Report
2006

Hierachical control of flexible manufacturing systems applying information reuse

Kristin Andersson, Johan Richardsson, Bengt Lennartson et al
Report
2006

Synthesis of Hierarchical and Distributed Control Functions for Multi-Product Manufacturing Cells

Kristin Andersson, Johan Richardsson, Bengt Lennartson et al
Proc. of the IEEE Conference on Automation Science and Engineering
Conference paper - peer reviewed
2006

Hierarchical Control Applying Supervisor Synthesis and relation Extraction

Kristin Andersson, Johan Richardsson, Bengt Lennartson et al
Proc. of the International Congress ANIPLA 2006 - Methodologies for Emerging Technologies in Automation
Conference paper - peer reviewed
2006

Velocity Balancing in Flexible Manufacturing Systems

Avenir Kobetski, Martin Fabian,
Report
2006

Scheduling Algorithms for Optimal Robot Cell Coordination - a Comparison

Avenir Kobetski, Domenico Spensieri, Martin Fabian et al
Proc. of IEEE Conference on Automation Science and Engineering
Conference paper - peer reviewed
2006

Scheduling of Discrete Event Systems Using Mixed Integer Linear Programming

Avenir Kobetski, Martin Fabian,
8th International Workshop on Discrete Event Systems
Conference paper - peer reviewed
2006

Restarting Flexible Manufacturing Systems; Synthesis of Restart States

Kristin Andersson, Bengt Lennartson, Martin Fabian et al
Workshop on Discrete Event Systems
Conference paper - peer reviewed
2005

Efficient Analysis of Large Discrete-Event Systems with Binary Decision Diagrams

Arash Vahidi, Bengt Lennartson, Martin Fabian et al
Decision and Control, 2005 and 2005 European Control Conference. CDC-ECC '05. 44th IEEE Conference on, p. 2751 - 2756
Conference paper - peer reviewed
2005

Maximally Permissive Mutually & Globally Nonblocking Supervision with Application to Switching Control

Ratnesh Kumar, Shigemasa Takai, Martin Fabian et al
Automatica. Vol. 41 (8), p. 1299-1312
Scientific journal article - peer reviewed
2005

On the execution of sequential function charts

Anders Hellgren, Martin Fabian, Bengt Lennartson et al
Control Engineering Practice. Vol. 13, p. 1283-1293
Scientific journal article - peer reviewed
2005

Control architecture for flexible production systems

Bengt Lennartson, Martin Fabian, Petter Falkman et al
2005 IEEE Conference on Automation Science and Engineering, IEEE-CASE 2005; Edmonton; Canada; 1 August 2005 through 2 August 2005, p. 307-312
Conference paper - peer reviewed
2005

Automatic Scheduling and Verification of the Control Function of Flexible Assembly Cells in an Information Reuse Environment

Kristin Danielsson, Johan Richardsson, Bengt Lennartson et al
Proc. of the IEEE Symposium on Assembly and Task Planning
Conference paper - peer reviewed
2004

Verification of a Novel Approach in Control of Flexible Manufacturing Cells

F. Sharique, G. Gore, Johan Richardsson et al
FAIM 2004 Intl. Conference on Flexible Automation and Intelligent Manufacturing, , Toronto, Canada
Conference paper - peer reviewed
2004

Design of Control Programs for Efficient Handling of Errors in Flexible Manufacturing Cells

Johan Richardsson, Kristin Danielsson, Martin Fabian et al
Proceedings of ICRA '04, 2004 IEEE International Conference on Robotics and Automation, New Orleans, LA, APR 26-MAY 01, 2004 . Vol. 3 (2273-2278), p. 6
Conference paper - peer reviewed
2004

Efficient Analysis of Large Discrete-Event Systems with Binary Decision Diagrams

Arash Vahidi, Bengt Lennartson, Martin Fabian et al
(to be submitted to) IEEE Transactions on Automation Science and Engineering
Scientific journal article - peer reviewed
2004

Supervision of Multiple Industrial Robots - Optimal and Collision Free Work Cycles

Hugo Flordal, Domenico Spensieri, Knut Åkesson et al
Proceedings of the IEEE Conference on Control Applications, Taipei, Taiwan, 2-4 Sept. 2004 . Vol. 2, p. 1404 - 1409
Conference paper - peer reviewed
2004

Controllability Revisited: A Generalization for the Modular Approach

Hugo Flordal, Martin Fabian, Knut Åkesson et al
Proceedings of the 11th IFAC Symposium of Information Control Problems in Manufacturing, Salvador, Brazil
Conference paper - peer reviewed
2004

Automatic Implementation And Verification Of Coordinating PLC-Code For Robot Cells

Hugo Flordal, Martin Fabian, Knut Åkesson et al
Proceedings of the 11th IFAC Symposium of Information Control Problems in Manufacturing, Salvador, Brazil
Conference paper - peer reviewed
2004

Steps Toward Automatic Generation, Verification and Optimization of Control Programs for Flexible Manufacturing Cells

Johan Richardsson, Kristin Danielsson, P. Holmström et al
FAIM2004, Int. Conf. on Flexible Automation and Intelligent Manufacturing, Toronto, Canada
Conference paper - peer reviewed
2004

Efficient Supervisory Synthesis of Large Systems

Arash Vahidi, Bengt Lennartson, Martin Fabian et al
7th Workshop on Discrete Event Systems
Conference paper - peer reviewed
2004

Early Termination by Local String in Incremental Language Containment Tests

Arash Vahidi, Martin Fabian, Bengt Lennartson et al
7th Workshop on Discrete Event Systems
Conference paper - peer reviewed
2003

Automatic Multi Robot Coordination

Hugo Flordal, Martin Fabian, Knut Åkesson et al
Konferensprogram för Mekatronikmötet 2003, Göteborg, Sweden
Conference paper - peer reviewed
2003

Supremica - A Tool for Verification and Synthesis of Discrete Event Supervisors

Knut Åkesson, Martin Fabian, Hugo Flordal et al
Proc. of the 11th Mediterranean Conference on Control and Automation, Rhodos, Greece
Conference paper - peer reviewed
2003

Reuse of Information as a Base for Development and Verification of Control Programs for Flexible Manufacturing Cells

Johan Richardsson, Martin Fabian,
IROS2003, IEEE/RSJ Int. Conf. on Intelligent Robots and Systems, Las Vegas, USA
Conference paper - peer reviewed
2003

Automatic Generation of PLC programs for Control of Flexible Manufacturing Cells

Johan Richardsson, Martin Fabian,
ETFA2003, Int. Conf. on Emerging Technologies and Factory Automation, Lisbon, Portugal
Conference paper - peer reviewed
2002

CHAMP - a Generic Architecture for Flexible Production

Bengt Lennartson, Martin Fabian, Per Gullander et al
Symposium on Robotics, paper 022, Stockholm
Conference paper - peer reviewed
2002

Exploiting Modularity for Synthesis and Verification of Supervisors

Knut Åkesson, Hugo Flordal, Martin Fabian et al
Proceedings of the IFAC World Congress on Automatic Control, Barcelona, Spain
Conference paper - peer reviewed
2002

Modelling and PLC-based Implementation of Modular Supervisory Control

Anders Hellgren, Bengt Lennartson, Martin Fabian et al
Proceedings of the 6th Workshop on Discrete Event Systems, Zaragoza, Spain, OCT 02-04, 2002, p. 371-376
Conference paper - peer reviewed
2001

Implementation of control and scheduling for production systems

Torbjörn Liljenvall, Martin Fabian,
Proceedings of the 2001 IEEE International Symposium on Intelligent Control, 2001. (ISIC '01). , p. 264-269
Conference paper - peer reviewed
2001

Generic Resource Booking Models in Flexible Cells

Arash Vahidi, Martin Fabian, Bengt Lennartson et al
Proceedings of the 2001 IEEE International Symposium on Intelligent Control, 2001. (ISIC '01). 5-7 Sept. 2001, Mexico City, p. 252-257
Conference paper - peer reviewed
2001

Efficient Application of Symbolic Tools for Resource Booking Problems

Arash Vahidi, Bengt Lennartson, Dennis Arkeryd et al
American Control Conference, Arlington, VA, USA; 25 June through 27 June 2001. Vol. 6, p. 4937-4942
Conference paper - peer reviewed
2001

Modular Implementation of Discrete Event Systems as Sequential Function Charts Applied to an Assembly Cell

Anders Hellgren, Martin Fabian, Bengt Lennartson et al
Proceedings of the 2001 IEEE Conference on Control Applications, SEP 05-07, 2001 Mexico City, Mexico, p. 453-458
Conference paper - peer reviewed
2001

On the Execution of Discrete Event Systems as Sequential Function Charts

Anders Hellgren, Martin Fabian, Bengt Lennartson et al
Proceedings of the 2001 IEEE Conference on Control Applications, Mexico City, Mexico
Conference paper - peer reviewed
2000

Desco - a Tool for Education and Control of Discrete Event Systems

Martin Fabian, Anders Hellgren,
Discrete Event Systems, Analysis and Control
Conference paper - peer reviewed
2000

Coordination of batches in flexible production

Knut Åkesson, Martin Fabian, Arash Vahidi et al
Proceedings of the 2000 American Control Conference. Vol. 4, p. 2735 -2739
Conference paper - peer reviewed
2000

Mutually Nonblocking Supervisory Control of Discrete Event Systems

Martin Fabian, Ratnesh Kumar,
Automatica (36), p. 1863-1869
Scientific journal article - peer reviewed
2000

Prioritised Synchronous Composition of Inhibitor Arc Petri Nets

Anders Hellgren, Martin Fabian, Bengt Lennartson et al
Discrete Event Systems: Analysis and Control
Conference paper - peer reviewed
1999

Synchronised Execution of Discrete Event Models Using Sequential Function Charts

Anders Hellgren, Martin Fabian, Bengt Lennartson et al
Proceedings of the 38th IEEE Conference on Decision and Control, Phoenix, Arizona, USA
Conference paper - peer reviewed
1999

Deadlock Detection and Controller Synthesis for Production Systems Using Partial Order Techniques

Anders Hellgren, Martin Fabian, Bengt Lennartson et al
Proceedings of the 1999 IEEE International Conference on Control Applications, Kohala Coast, Hawaii, USA
Conference paper - peer reviewed
1999

Implementing supervisory control for chemical batch processes

Knut Åkesson, Martin Fabian,
Proc of IEEE Conference on Control Applications, Hawaii
Conference paper - peer reviewed
1998

Chalmers Architecture and Methodology for Flexible Production - Champ

Martin Fabian, Bengt Lennartson, Per Gullander et al
Advances in Design and Manufacturing, vol 8, Changing the Ways We Work, p. 720-731
Conference paper - peer reviewed
1998

PLC-based Implementation of Supervisory Control for Discrete Event Systems

Martin Fabian, Anders Hellgren,
Proceedings of the 37th IEEE Conference on Decision and Control, Tampa, Florida, USA, 16 Dec 1998-18 Dec 1998 . Vol. 3, p. 3305 - 3310
Conference paper - peer reviewed
1998

Modeling Primitives and Specification Structures for Supervisory Control

Bengt Lennartson, Martin Fabian, Michael Tittus et al
Proc of CDC'98, Tampa, FL, p. 3789-3794
Conference paper - peer reviewed
1998

Modeling, Specification and Controller Synthesis for Discrete Event Systems

Bengt Lennartson, Michael Tittus, Martin Fabian et al
Proc of SMC'98, San Diego, CA, p. 698--703
Conference paper - peer reviewed
1998

Specification Structures for Supervisory Control

Bengt Lennartson, Michael Tittus, Martin Fabian et al
Proc of WODES'98, Cagliary, Italy, p. 30--35
Conference paper - peer reviewed
1998

Modeling Primitives for Supervisory Control

Bengt Lennartson, Martin Fabian, Michael Tittus et al
Proc of WODES'98, Cagliary, Italy, p. 67--72
Conference paper - peer reviewed
1998

Database Design for Machining Cell Resource Models

Anders Hellgren, Sven-Arne Andreasson, Per Gullander et al
Preprints of the 8th IFAC/IFORS/IMACS/IFIP Symposium on Large Scale Systems: Theory and Applications, Rio-Patras, Greece
Conference paper - peer reviewed
1998

A Generic System Architecure for Flexible Production

Martin Fabian, Bengt Lennartson, Per Gullander et al
Proc. of the First International Workshop on Intelligent Manufacturing Systems, p. 245-259
Conference paper - peer reviewed
1997

A Class of Non-Deterministic Specifications for Supervisory Control

Martin Fabian, Bengt Lennartson,
European Journal of Control. Vol. 3 (1), p. 81-90
Scientific journal article - peer reviewed
1997

Integrating Process Planning and Control for Flexible Production Systems

Martin Fabian, Bengt Lennartson, Per Gullander et al
Proc of the 4th European Control Conference, Brussels, Belgium
Conference paper - peer reviewed
1997

Operator control activities in flexible manufacturing systems

Anders Adlemo, Sven-Arne Andreasson, Martin Fabian et al
Int. Journal of Computer Integrated Manufacturing. Vol. 10 (1-4), p. 221-31
Scientific journal article - peer reviewed
1996

On nondeterministic supervisory control

Martin Fabian, Bengt Lennartson,
Proc of the 35th IEEE Conference on Decision and Control, Kobe, Japan, p. 2213-8
Conference paper - peer reviewed
1996

Concurrently competing production sequences - A case for nondeterministic supervisory control

Martin Fabian, Bengt Lennartson,
Proc of Int Workshop on Discrete Event Systems, WODES'96, Edinburgh, Scotland, UK, p. 120-126
Conference paper - peer reviewed
1996

Controlling and Coordinating Recipes in Batch Applications

Michael Tittus, Martin Fabian, Bengt Lennartson et al
Preprints, Reglermöte 96, Luleå, Sweden
Conference paper - peer reviewed
1995

Guidelines for a generic message-based structure to obtain flexible cell control

Per Gullander, Anders Adlemo, Sven-Arne Andreasson et al
Advances in Design and Manufacturing: Opening Productive Partnerships - Concerted Efforts in Europe, editor K.R. von Barisani and T.A. MacConaill and K. Tierny, IMS Press, p. 371-80
Chapter in monograph, book
1995

Controlling and Coordinating Recipes in Batch Applications

Michael Tittus, Martin Fabian, Bengt Lennartson et al
Proc of the 34th IEEE Conference on Decision and Control, New Orleans, LA, DEC 13-15, p. 2484-2489
Conference paper - peer reviewed
1995

Database Design for Machining Cell Level Product Specification

Sven-Arne Andreasson, Anders Adlemo, Martin Fabian et al
Proc of the 21st IEEE Int Conference on Industrial Electronics, Control, and Instrumentation, Orlando, Florida, p. 121-126
Conference paper - peer reviewed
1995

Applying Supervisory Control to Discrete Event Systems Modeled by Object Oriented Principles

Martin Fabian, Bengt Lennartson,
Proc. INRIA/IEEE Conference on Emerging Technologies and Factory Automation, ETFA'95, Paris, France, p. 93-104
Conference paper - peer reviewed
1995

Dynamic Products in Control of an FMS Cell

Martin Fabian, Per Gullander, Bengt Lennartson et al
Proc 8th IFAC Symposium on Information Control Problems in Manufacturing Technology, INCOM'95, Beijing, China, p. 139-44
Conference paper - peer reviewed
1995

A Machining Cell Level Language for Product Specification

Sven-Arne Andreasson, Anders Adlemo, Martin Fabian et al
Proc of INCOM'95, Beijing, China, p. 118-124
Conference paper - peer reviewed
1995

Operator Control Activities in Manufacturing Systems - A Case Study of a Machining Cell

Anders Adlemo, Per Gullander, Sven-Arne Andreasson et al
Proc. 8th IFAC Symposium on Information Control Problems in Manufacturing Technology, INCOM'95, Beijing, China, p. 157-162
Conference paper - peer reviewed
1995

Petri Net Constructs for High Level Operation Lists

Martin Fabian, Bengt Lennartson,
Proc. 8th IFAC Symposium on Information Control Problems in Manufacturing Technology, INCOM'95, Beijing, China, p. 163-8
Conference paper - peer reviewed
1995

A Class of Nondeterministic Specifications for Supervisory Control

Martin Fabian, Bengt Lennartson,
Proc. 3rd European Control Conference, Rome, Italy, p. 2809-14
Conference paper - peer reviewed
1995

Control System Support for Manual Interaction in Flexible Manufacturing Systems

Anders Adlemo, Sven-Arne Andreasson, Martin Fabian et al
Proc of the IEEE Int. Conference on Recent Advances in Mechatronics, Istanbul, p. 333-339
Conference paper - peer reviewed
1995

Automated Generation of Plant-Specific Recipes in Batch Control

Michael Tittus, Martin Fabian,
Proc of the ICCI'95, Hong-Kong, p. 99-102
Conference paper - peer reviewed
1995

Generic Resource Models and a Message-Passing Structure in an FMS Controller

Per Gullander, Martin Fabian, Sven-Arne Andreasson et al
Proc. IEEE International Conference on Robotics and Automation, ICRA '95, Nagoya, Japan, p. 1447-54
Conference paper - peer reviewed
1995

Towards a Truly Flexible Manufacturing System

Anders Adlemo, Sven-Arne Andreasson, Martin Fabian et al
Control Engineering Practice. Vol. 3 (4), p. 545-554
Scientific journal article - peer reviewed
1995

Controlling and Coordinating Recipes in Batch Applications

Michael Tittus, Martin Fabian, Bengt Lennartson et al
Proc of Workshop on Analysis and Design of Event-Driven Operation in Process Systems, London, UK
Conference paper - peer reviewed
1995

A Class of Nondeterministic Marked Specification for Supervisory Control

Martin Fabian, Bengt Lennartson,
The 3rd SIAM Conference on Control and Its Applications, St Louis, Missouri
Conference paper - peer reviewed
1995

On Object Oriented Nondeterministic Supervisory Control

Martin Fabian,
Doctoral thesis
1994

Object Oriented Supervisory Control with a Class of Nondeterministic Specifications

Martin Fabian, Bengt Lennartson,
Proc of the 33rd IEEE Conference on Decision and Control, Orlando, Florida, p. 3634-5
Conference paper - peer reviewed
1994

Towards a True Flexible Manufacturing System

Anders Adlemo, Sven-Arne Andreasson, Martin Fabian et al
Proc of the 10th ISPE/IFAC Int. Conference on CAD/CAM, Robotics and Factories of the Future, CARS & FOF '94, Ottawa, Canada, p. 401-410
Conference paper - peer reviewed
1994

Petri Nets and Control Synthesis; An Object Oriented Approach

Martin Fabian, Bengt Lennartson,
Proc of the 2nd IFAC/IFIP/IFORS Workshop on Intelligent Manufacturing Systems, IMS '94, Vienna, Austria, p. 427-32
Conference paper - peer reviewed
1993

Distributed Objects for Real-Time Control Systems

Martin Fabian, Bengt Lennartson,
Proc of the 12th IFAC World Congress, Sydney, Australia
Conference paper - peer reviewed
1992

Object Oriented Structuring of Real Time Control Systems

Martin Fabian, Bengt Lennartson,
Proc of the 31st IEEE Conference on Decision and Control, Tucson, Arizona, p. 2529-2530
Conference paper - peer reviewed
1992

Object-Oriented Structuring of Real-Time Systems

Martin Fabian, Bengt Lennartson,
Swedish-Russian Control Conference, Linköping, Sweden
Conference paper - non peer reviewed
1992

Control of Manufacturing Systems - An Object Oriented Approach

Martin Fabian, Bengt Lennartson,
Proc. 7th IFAC Symposium on Information Control Problems in Manufacturing Technology, Toronto, Canada, p. 43-48
Conference paper - peer reviewed
1992

Control of Manufacturing Systems - An Object Oriented Approach

Martin Fabian, Bengt Lennartson,
DUP Conference, Stockholm, Sweden
Conference paper - non peer reviewed