Martin Fabian

Professor at Electrical Engineering, Reglerteknik, automation och mekatronik, 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

2016–2019

Modellbaserad Testning av Mekatroniska System (TESTRON)

Martin Fabian Automation
VINNOVA

2015–2018

Efficient Maintenance for Sustaninable Transport Solutions (EMATS)

Frida Lind Industrial Marketing
Patrik Bergagård Automation
Martin Fabian Automation
Anna Dubois Supply and Operations Management
Lisa Melander Supply and Operations Management
Klas Hedvall Supply and Operations Management
VINNOVA
Volvo Group

2015–2018

FFI Informationssystemarkitektur 2 - Smarta händelsestyrda tjänster

Martin Fabian Automation
VINNOVA

2016–2019

TESTRON - Model BAsed Testing of Mechatronic Systems

Knut Åkesson Automation
Martin Fabian Automation
VINNOVA

2014–2017

Virtual Commissioning of Production Systems - including PLC logics

Petter Falkman Automation
Martin Fabian Automation
VINNOVA

2015–2016

RObot based Autonomous Refuse handling (ROAR)

Martin Fabian Automation
Patrik Bergagård Automation
Petter Falkman Automation
Volvo Group

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
Automatica. Vol. 76, p. 277-281
Journal article
2017

Sequence Planner: Supporting Integrated Virtual Preparation and Commissioning

Martin Dahl, Kristofer Bengtsson, Patrik Bergagård et al
Paper in proceedings
2017

Application of Formal Verification to the Lane Change Module of an Autonomous Vehicle

Anton Zita, Sahar Mohajerani, Martin Fabian
Paper in proceedings
2017

Virtual Engineering Framework forAutomatic Generation of Control Logic including Safety

Adnan Khan, Petter Falkman, Martin Fabian
Paper in proceedings
2017

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

Robi Malik, Knut Åkesson, Hugo Flordal et al
Paper in proceedings
2017

Guest Editorial Special Section on the 2015 International Conference on Automation Science and Engineering

Martin Fabian, Bengt Lennartson, Knut Åkesson
IEEE Transactions on Automation Science and Engineering. Vol. 14 (2), p. 692-693
Magazine article
2017

Automatic modeling and simulation of robot program behavior in integrated virtual preparation and commissioning

Martin Dahl, Kristofer Bengtsson, Martin Fabian et al
Procedia Manufacturing, p. 284-291
Paper in proceedings
2016

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

Ashfaq Hussain 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-
Paper in proceedings
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: AIEDAM. Vol. 30 (3), p. 313-328
Journal article
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
Paper in proceedings
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: AIEDAM. Vol. 30 (3), p. 313-328
Journal article
2015

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

Sahar Mohajerani, Robi Malik, Martin Fabian
Discrete Event Dynamic Systems: Theory and Applications (1), p. 1-52
Journal article
2015

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

Patrik Bergagård, Petter Falkman, Martin Fabian
IFAC-PapersOnLine. Vol. 48 (3), p. 1030-1036
Paper in proceedings
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
Paper in proceedings
2015

Welcome message from general and program chairs

Bengt Lennartson, Martin Fabian
IEEE International Conference on Automation Science and Engineering. Vol. 2015-October
Conference contribution
2014

SYNTHESIS EQUIVALENCE OF TRIPLES

Sahar Mohajerani, Robi Malik, Martin Fabian
Report
2014

Certainly Unsupervisable States

S. Ware, R. Malik, Sahar Mohajerani et al
Communications in Computer and Information Science. Vol. 419, p. 280-296
Paper in proceedings
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. Vol. 12, p. 86-92
Paper in proceedings
2014

A Framework for Compositional Synthesis of Modular Nonblocking Supervisors

Sahar Mohajerani, Robi Malik, Martin Fabian
IEEE Transactions on Automatic Control. Vol. 59 (1), p. 150-162
Journal article
2014

SYNTHESIS OBSERVATION EQUIVALENCE AND WEAK SYNTHESIS OBSERVATION EQUIVALENCE

Sahar Mohajerani, Robi Malik, Martin Fabian
Report
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
Journal article
2014

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

Sahar Mohajerani, R. Malik, Martin Fabian
Advances in the Astronautical Sciences. Vol. 12, p. 376-382
Paper in proceedings
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
Journal article
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, p. 3345-3350
Paper in proceedings
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
Paper in proceedings
2014

Formal Methods for the Inspection of Vehicle Configuration Rules

Anna Tidstam, Johan Malmqvist, Alexey Voronov et al
Preprint
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
Journal article
2013

Derivation of placement transitions for offline calculation of restart states

Patrik Bergagård, Martin Fabian
Paper in proceedings
2013

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

Sahar Mohajerani, Robi Malik, Martin Fabian
IEEE International Conference on Automation Science and Engineering (CASE), 2013, p. 930 - 935
Paper in proceedings
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
Journal article
2012

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

Julien Provost, Bengt Lennartson, Martin Fabian et al
Paper in proceedings
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
Paper in proceedings
2012

An Algorithm for Weak Synthesis Observation Equivalence for Compositional Supervisor Synthesis

Sahar Mohajerani, Robi Malik, Martin Fabian
Proc. 11th International Workshop on Discrete Event Systems (WODES'12). Vol. 239--244
Paper in proceedings
2012

State-Vector Transition Model Applied to Supervisory Control

Bengt Lennartson, Sajed Miremadi, Zhennan Fei et al
Paper in proceedings
2012

From Task Allocation Towards Resource Allocation when Optimising Assembly Systems

Åsa Fasth Berglund, Julien Provost, Martin Fabian et al
Procedia CIRP - Elsevier. Vol. 3, p. 400-405
Journal article
2012

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

Julien Provost, Åsa Fasth Berglund, Johan Stahre et al
Paper in proceedings
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
Journal article
2012

Transition Removal for Compositional Supervisor Synthesis

Sahar Mohajerani, Robi Malik, 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. 694-699
Paper in proceedings
2012

From task allocation towards resource allocation when optimising assembly systems

Åsa Fasth Berglund, Julien Provost, Martin Fabian et al
Paper in proceedings
2011

On the Use of Observation Equivalence

Sahar Mohajerani, Robi Malik, Simon Ware et al
Paper in proceedings
2011

THREE VARIATIONS OF OBSERVATION EQUIVALENCE PRESERVING SYNTHESIS ABSTRACTION

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

On the Use of Observation Equivalence

Sahar Mohajerani, Robi Malik, Simon Ware et al
Paper in proceedings
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
Journal article
2011

Planning transport sequences for flexible manufacturing systems

Patrik Bergagård, Nina Sundström, Kristofer Bengtsson et al
IFAC Proceedings Volumes. 18th IFAC World Congress, Milano, 28 August - 2 September 2011. Vol. 18 (PART 1), p. 9494-9499
Paper in proceedings
2011

Compositional Synthesis of Discrete Event Systems Using Synthesis Abstraction

Sahar Mohajerani, Robi Malik, Simon Ware et al
Paper in proceedings
2011

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

R. Malik, Martin Fabian, Knut Åkesson
IFAC Proceedings Volumes. 18th IFAC World Congress, Milano, 28 August - 2 September 2011. Vol. 18 (PART 1), p. 7000-7005
Paper in proceedings
2011

Nondeterminism Avoidance in Compositional Synthesis of Discrete Event Systems

Sahar Mohajerani, Robi Malik, Martin Fabian
2011 7th IEEE International Conference on Automation Science and Engineering, CASE 2011; Trieste; Italy; 24 August 2011 through 27 August 2011, p. 19-24
Paper in proceedings
2011

Nondeterminism Avoidance in Compositional Synthesis of Discrete Event Systems

Sahar Mohajerani, Robi Malik, Martin Fabian
2011 7th IEEE International Conference on Automation Science and Engineering, CASE 2011; Trieste; Italy; 24 August 2011 through 27 August 2011, p. 19-24
Paper in proceedings
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
Paper in proceedings
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
Paper in proceedings
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
Journal article
2010

Practice of Industrial Control Logic Programming using Library Components

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

Sequence Planning for Integrated Product, Process and Automation Design

Bengt Lennartson, Kristofer Bengtsson, Chengyin Yuan et al
IEEE Transactions on Automation Science and Engineering. Vol. 7 (4), p. 791-802
Journal article
2010

Modular specification of forbidden states for supervisory control

Patrik Bergagård, Martin Fabian, Knut Åkesson
IFAC Proceedings Volumes. 10th International Workshop on Discrete Event Systems (WODES), Berlin, 30 August - 1 September 2010. Vol. 10, p. 412-417
Paper in proceedings
2010

Restarting manufacturing systems; restart states and restartability

Kristin Andersson, Bengt Lennartson, Martin Fabian
IEEE Transactions on Automation Science and Engineering. Vol. 7 (3), p. 486-499
Journal article
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
Journal article
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: Theory and Applications. Vol. 19 (3), p. 287-315
Journal article
2009

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

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

Synthesis of Restart States for Manufacturing Cell Controllers

Kristin Andersson, Bengt Lennartson, Martin Fabian
Paper in proceedings
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
Magazine article
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
Paper in proceedings
2008

Reusable Components for Industrial Logic Control Programming

Oscar Ljungkrantz, Knut Åkesson, Martin Fabian
Report
2008

Supervisory Control Applied to Automata Extended with Variables - Revised

Markus Sköldstam, Knut Åkesson, Martin Fabian
Report
2008

Formal Specification and Verification of Components for Industrial Logic Control Programming

Oscar Ljungkrantz, Knut Åkesson, Martin Fabian
Proceedings of the 4th IEEE Conference on Automation Science and Engineering, p. 935-940
Paper in proceedings
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
Paper in proceedings
2007

Supervisory control applied to automata extended with variables

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

Modeling of Discrete Event Systems using Automata With Variables

Markus Sköldstam, Knut Åkesson, Martin Fabian
Proceedings of the 46th IEEE Conference on Decision and Control, p. 3387-3392
Paper in proceedings
2007

Minimization of Expected Cycle Time in Manufacturing Cells with Uncontrollable Behavior

Avenir Kobetski, Johan Richardsson, Knut Åkesson et al
Paper in proceedings
2007

Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence

Hugo Flordal, Robi Malik, Martin Fabian et al
Discrete Event Dynamic Systems: Theory and Applications. Vol. 17 (4), p. 475-504
Journal article
2007

Reliable Control of Complex Manufacturing Cells

Johan Richardsson, Kristin Andersson, Martin Fabian
Paper in proceedings
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
Journal article
2007

Modeling of Discrete Event Systems using Finite Automata With Variables

Markus Sköldstam, Knut Åkesson, Martin Fabian
Journal article
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 contribution
2006

Hierachical control of flexible manufacturing systems applying information reuse

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

Velocity Balancing in Flexible Manufacturing Systems

Avenir Kobetski, Martin Fabian
Journal of Logic and Computation
Report
2006

Efficient Supervisory Synthesis of Large Systems

Arash Vahidi Mazinani, Bengt Lennartson, Martin Fabian
Control Engineering Practice. Vol. 14 (10), p. 1157-1167
Journal article
2006

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

Kristin Andersson, Johan Richardsson, Bengt Lennartson et al
Conference contribution
2006

Coordinated operations by relation extraction for manufacturing cell controllers

Kristin Andersson, Johan Richardsson, Bengt Lennartson et al
Report
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
Journal article
2006

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

Kristin Andersson, Johan Richardsson, Bengt Lennartson et al
Paper in proceedings
2006

Scheduling of Discrete Event Systems Using Mixed Integer Linear Programming

Avenir Kobetski, Martin Fabian
Paper in proceedings
2006

Hierarchical Control Applying Supervisor Synthesis and relation Extraction

Kristin Andersson, Johan Richardsson, Bengt Lennartson et al
Paper in proceedings
2006

Scheduling Algorithms for Optimal Robot Cell Coordination - a Comparison

Avenir Kobetski, Domenico Spensieri, Martin Fabian
Paper in proceedings
2006

Restarting Flexible Manufacturing Systems; Synthesis of Restart States

Kristin Andersson, Bengt Lennartson, Martin Fabian
Paper in proceedings
2005

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

Arash Vahidi Mazinani, Bengt Lennartson, Martin Fabian
Decision and Control, 2005 and 2005 European Control Conference. CDC-ECC '05. 44th IEEE Conference on, p. 2751 - 2756
Paper in proceedings
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
Journal article
2005

On the execution of sequential function charts

Anders Hellgren, Martin Fabian, Bengt Lennartson
Control Engineering Practice. Vol. 13, p. 1283-1293
Journal article
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, p. 80-85
Paper in proceedings
2005

Control architecture for flexible production systems

Bengt Lennartson, Martin Fabian, Petter Falkman
2005 IEEE Conference on Automation Science and Engineering, IEEE-CASE 2005; Edmonton; Canada; 1 August 2005 through 2 August 2005, p. 307-312
Paper in proceedings
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
Paper in proceedings
2004

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

Johan Richardsson, Kristin Danielsson, P. Holmström et al
Paper in proceedings
2004

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

Hugo Flordal, Martin Fabian, Knut Åkesson
Paper in proceedings
2004

Early Termination by Local String in Incremental Language Containment Tests

Arash Vahidi Mazinani, Martin Fabian, Bengt Lennartson
Paper in proceedings
2004

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

Johan Richardsson, Kristin Danielsson, Martin Fabian
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-
Paper in proceedings
2004

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

Arash Vahidi Mazinani, Bengt Lennartson, Martin Fabian
Journal article
2004

Verification of a Novel Approach in Control of Flexible Manufacturing Cells

F. Sharique, G. Gore, Johan Richardsson et al
Paper in proceedings
2004

Controllability Revisited: A Generalization for the Modular Approach

Hugo Flordal, Martin Fabian, Knut Åkesson et al
Paper in proceedings
2004

Efficient Supervisory Synthesis of Large Systems

Arash Vahidi Mazinani, Bengt Lennartson, Martin Fabian
Paper in proceedings
2003

Automatic Multi Robot Coordination

Hugo Flordal, Martin Fabian, Knut Åkesson
Paper in proceedings
2003

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

Knut Åkesson, Martin Fabian, Hugo Flordal et al
Paper in proceedings
2003

Automatic Generation of PLC programs for Control of Flexible Manufacturing Cells

Johan Richardsson, Martin Fabian
Paper in proceedings
2002

Exploiting Modularity for Synthesis and Verification of Supervisors

Knut Åkesson, Hugo Flordal, Martin Fabian
Paper in proceedings
2002

Modelling and PLC-based Implementation of Modular Supervisory Control

Anders Hellgren, Bengt Lennartson, Martin Fabian
Proceedings of the 6th Workshop on Discrete Event Systems, Zaragoza, Spain, OCT 02-04, 2002, p. 371-376
Paper in proceedings
2002

CHAMP - a Generic Architecture for Flexible Production

Bengt Lennartson, Martin Fabian, Per Gullander
Paper in proceedings
2001

Generic Resource Booking Models in Flexible Cells

Arash Vahidi Mazinani, Martin Fabian, Bengt Lennartson
Proceedings of the 2001 IEEE International Symposium on Intelligent Control, 2001. (ISIC '01). 5-7 Sept. 2001, Mexico City, p. 252-257
Paper in proceedings
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
Paper in proceedings
2001

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

Anders Hellgren, Martin Fabian, Bengt Lennartson
Proceedings of the 2001 IEEE Conference on Control Applications, SEP 05-07, 2001 Mexico City, Mexico, p. 453-458
Paper in proceedings
2001

On the Execution of Discrete Event Systems as Sequential Function Charts

Anders Hellgren, Martin Fabian, Bengt Lennartson
Paper in proceedings
2001

Efficient Application of Symbolic Tools for Resource Booking Problems

Arash Vahidi Mazinani, Bengt Lennartson, Dennis Arkeryd et al
American Control Conference, Arlington, VA, USA; 25 June through 27 June 2001. Vol. 6, p. 4937-4942
Paper in proceedings
2000

Prioritised Synchronous Composition of Inhibitor Arc Petri Nets

Anders Hellgren, Martin Fabian, Bengt Lennartson
Paper in proceedings
2000

Mutually Nonblocking Supervisory Control of Discrete Event Systems

Martin Fabian, Ratnesh Kumar
Automatica (36), p. 1863-1869
Journal article
2000

Coordination of batches in flexible production

Knut Åkesson, Martin Fabian, Arash Vahidi Mazinani
Proceedings of the 2000 American Control Conference. Vol. 4, p. 2735 -2739
Paper in proceedings
2000

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

Martin Fabian, Anders Hellgren
Paper in proceedings
1999

Synchronised Execution of Discrete Event Models Using Sequential Function Charts

Anders Hellgren, Martin Fabian, Bengt Lennartson
Paper in proceedings
1999

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

Anders Hellgren, Martin Fabian, Bengt Lennartson
Paper in proceedings
1999

Implementing supervisory control for chemical batch processes

Knut Åkesson, Martin Fabian
Paper in proceedings
1998

Specification Structures for Supervisory Control

Bengt Lennartson, Michael Tittus, Martin Fabian et al
Proc of WODES'98, Cagliary, Italy, p. 30--35-
Paper in proceedings
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
Paper in proceedings
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
Paper in proceedings
1998

Modeling Primitives for Supervisory Control

Bengt Lennartson, Martin Fabian, Michael Tittus et al
Proc of WODES'98, Cagliary, Italy, p. 67--72-
Paper in proceedings
1998

Modeling, Specification and Controller Synthesis for Discrete Event Systems

Bengt Lennartson, Michael Tittus, Martin Fabian
Proc of SMC'98, San Diego, CA, p. 698--703-
Paper in proceedings
1998

Database Design for Machining Cell Resource Models

Anders Hellgren, Sven Arne Andreasson, Per Gullander et al
Paper in proceedings
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
Paper in proceedings
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
Paper in proceedings
1997

Integrating Process Planning and Control for Flexible Production Systems

Martin Fabian, Bengt Lennartson, Per Gullander et al
Paper in proceedings
1997

A Class of Non-Deterministic Specifications for Supervisory Control

Martin Fabian, Bengt Lennartson
European Journal of Control. Vol. 3 (1), p. 81-90
Journal article
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
Journal article
1996

On nondeterministic supervisory control

Martin Fabian, Bengt Lennartson
Proc of the 35th IEEE Conference on Decision and Control, Kobe, Japan, p. 2213-8
Paper in proceedings
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
Paper in proceedings
1996

Controlling and Coordinating Recipes in Batch Applications

Michael Tittus, Martin Fabian, Bengt Lennartson
Paper in proceedings
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
Journal article
1995

On Object Oriented Nondeterministic Supervisory Control

Martin Fabian
Doctoral thesis
1995

Controlling and Coordinating Recipes in Batch Applications

Michael Tittus, Martin Fabian, Bengt Lennartson
Proc of the 34th IEEE Conference on Decision and Control, New Orleans, LA, DEC 13-15, p. 2484-2489
Paper in proceedings
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
Paper in proceedings
1995

A Class of Nondeterministic Marked Specification for Supervisory Control

Martin Fabian, Bengt Lennartson
Paper in proceedings
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
Paper in proceedings
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
Paper in proceedings
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
Paper in proceedings
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
Paper in proceedings
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
Paper in proceedings
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 - peer reviewed
1995

Controlling and Coordinating Recipes in Batch Applications

Michael Tittus, Martin Fabian, Bengt Lennartson
Paper in proceedings
1995

A Class of Nondeterministic Specifications for Supervisory Control

Martin Fabian, Bengt Lennartson
Proc. 3rd European Control Conference, Rome, Italy, p. 2809-14
Paper in proceedings
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
Paper in proceedings
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
Paper in proceedings
1995

Automated Generation of Plant-Specific Recipes in Batch Control

Michael Tittus, Martin Fabian
Proc of the ICCI'95, Hong-Kong, p. 99-102
Paper in proceedings
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
Paper in proceedings
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
Paper in proceedings
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
Paper in proceedings
1993

Distributed Objects for Real-Time Control Systems

Martin Fabian, Bengt Lennartson
Paper in proceedings
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
Paper in proceedings
1992

Control of Manufacturing Systems - An Object Oriented Approach

Martin Fabian, Bengt Lennartson
Conference contribution
1992

Object-Oriented Structuring of Real-Time Systems

Martin Fabian, Bengt Lennartson
Conference contribution
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
Paper in proceedings