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

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

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

Sequence Planner: Supporting Integrated Virtual Preparation and Commissioning

Patrik Bergagård, Petter Falkman, Kristofer Bengtsson et al
Paper in proceedings
2017

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

Hugo Flordal, Martin Fabian, Robi Malik et al
Paper in proceedings
2017

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

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

Virtual Engineering Framework forAutomatic Generation of Control Logic including Safety

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

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

Petter Falkman, Martin Fabian, Kristofer Bengtsson et al
Paper in proceedings
2016

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

Martin Fabian, Patrik Bergagård, Ashfaq Hussain Farooqui 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

Knut Åkesson, Anna Tidstam, 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 Fabian, Kristofer Bengtsson, Petter Falkman et al
IFAC-PapersOnLine. Vol. 49 (12), p. 1939-1944
Paper in proceedings
2015

Formulating Constraint Satisfaction Problems for the Inspection of Configuration Rules

Alexey Voronov, Anna Tidstam, Knut Åkesson et al
Artificial Intelligence for Engineering Design, Analysis and Manufacturing: AIEDAM. Vol. 30 (3), p. 313-328
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

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

Robi Malik, Sahar Mohajerani, Martin Fabian
Discrete Event Dynamic Systems: Theory and Applications (1), p. 1-52
Journal article
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

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

SYNTHESIS EQUIVALENCE OF TRIPLES

Robi Malik, Sahar Mohajerani, Martin Fabian
Report
2014

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

Oskar Wigström, Francesco Basile, Martin Fabian et al
Advances in the Astronautical Sciences. Vol. 12, p. 86-92
Paper in proceedings
2014

Certainly Unsupervisable States

Martin Fabian, R. Malik, Sahar Mohajerani et al
Communications in Computer and Information Science. Vol. 419, p. 280-296
Paper in proceedings
2014

A Framework for Compositional Synthesis of Modular Nonblocking Supervisors

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

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

Francesco Basile, Martin Fabian, Bengt Lennartson et al
IEEE Transactions on Automation Science and Engineering. Vol. 11 (1), p. 33-47
Journal article
2014

SYNTHESIS OBSERVATION EQUIVALENCE AND WEAK SYNTHESIS OBSERVATION EQUIVALENCE

Robi Malik, Martin Fabian, Sahar Mohajerani
Report
2014

Calculating restart states using reset transitions

Martin Fabian, Patrik Bergagård
IEEE International Conference on Robotics and Automation, ICRA 2014, Hong Kong, China, 31 May - 7 June 2014, p. 3345-3350
Paper in proceedings
2014

An Empirical Study of Control Logic Specifications for Programmable Logic Controllers

Knut Åkesson, Oscar Ljungkrantz, Amir Hossein Ebrahimi et al
Empirical Software Engineering. Vol. 19 (3), p. 655-677
Journal article
2014

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

Sahar Mohajerani, Martin Fabian, R. Malik
Advances in the Astronautical Sciences. Vol. 12, p. 376-382
Paper in proceedings
2014

Formal Methods for the Inspection of Vehicle Configuration Rules

Martin Fabian, Anna Tidstam, Johan Malmqvist et al
Preprint
2014

Robust manual control of a manufacturing system using supervisory control theory

Brian Bonafilia, Sebastian Nilsson, Martin Fabian 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
2013

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

Martin Fabian, Patrik Bergagård
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

Martin Fabian, Sahar Mohajerani, Robi Malik
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

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

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

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

An Algorithm for Weak Synthesis Observation Equivalence for Compositional Supervisor Synthesis

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

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

Bengt Lennartson, Åsa Fasth Berglund, Julien Provost et al
Paper in proceedings
2012

State-Vector Transition Model Applied to Supervisory Control

Mona Noori-Hosseini, Martin Fabian, Zhennan Fei et al
Paper in proceedings
2012

From Task Allocation Towards Resource Allocation when Optimising Assembly Systems

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

Towards Industrial Formal Specification of Programmable Safety Systems

Chengyin Yuan, Knut Åkesson, Martin Fabian et al
IEEE Transactions on Control Systems Technology. Vol. 20 (6), p. 1567-1574
Journal article
2012

From task allocation towards resource allocation when optimising assembly systems

Bengt Lennartson, Johan Stahre, Martin Fabian et al
Paper in proceedings
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
2011

On the Use of Observation Equivalence

Martin Fabian, Simon Ware, Sahar Mohajerani et al
Paper in proceedings
2011

THREE VARIATIONS OF OBSERVATION EQUIVALENCE PRESERVING SYNTHESIS ABSTRACTION

Martin Fabian, Robi Malik, Simon Ware et al
Report
2011

Compositional Synthesis of Discrete Event Systems Using Synthesis Abstraction

Sahar Mohajerani, Martin Fabian, Simon Ware et al
Paper in proceedings
2011

Planning transport sequences for flexible manufacturing systems

Kristofer Bengtsson, Bengt Lennartson, Martin Fabian 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

Generation of restart states for manufacturing cell controllers

Martin Fabian, Petter Falkman, Bengt Lennartson et al
Control Engineering Practice. Vol. 19 (9), p. 1014-1022
Journal article
2011

On the Use of Observation Equivalence

Martin Fabian, 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, Knut Åkesson, Martin Fabian
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

Martin Fabian, Robi Malik, Sahar Mohajerani
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

Robi Malik, Martin Fabian, Sahar Mohajerani
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

Knut Åkesson, Oscar Ljungkrantz, Chengyin Yuan 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

Formal Specification and Verification of Industrial Control Logic Components

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

Supervisor Computation and Representation: A Case Study

Bengt Lennartson, Knut Åkesson, Sajed Miremadi 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

Practice of Industrial Control Logic Programming using Library Components

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

Sequence Planning for Integrated Product, Process and Automation Design

Martin Fabian, Kristin Andersson, Bengt Lennartson 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

Knut Åkesson, Patrik Bergagård, Martin Fabian
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

Coordination of Operations by Relation Extraction for Manufacturing Cell Controllers

Martin Fabian, Bengt Lennartson, Johan Richardsson et al
IEEE Transactions on Control Systems Technology. Vol. 18 (2), p. 414-429
Journal article
2010

Restarting manufacturing systems; restart states and restartability

Martin Fabian, Bengt Lennartson, Kristin Andersson
IEEE Transactions on Automation Science and Engineering. Vol. 7 (3), p. 486-499
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

Synthesis of Restart States for Manufacturing Cell Controllers

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

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

Hugo Flordal, Martin Fabian, Bengt Lennartson et al
Report
2009

Special Issue on WODES'08

Martin Fabian, Alessandro Giua, Bengt Lennartson 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

Martin Fabian, Kristin Andersson, Bengt Lennartson 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, Martin Fabian, Knut Åkesson
Report
2008

Solving Two Supervisory Control Benchmark Problems Using Supremica

Martin Fabian, Knut Åkesson, Sajed Miremadi et al
9th International Workshop on Discrete Event Systems, 2008, p. 131-136
Paper in proceedings
2008

Formal Specification and Verification of Components for Industrial Logic Control Programming

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

Supervisory control applied to automata extended with variables

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

Johan Richardsson, Avenir Kobetski, Martin Fabian et al
Paper in proceedings
2007

Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence

Robi Malik, Hugo Flordal, Knut Åkesson 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, D. Spensieri, 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

Martin Fabian, Knut Åkesson, Markus Sköldstam
Journal article
2006

Hierachical control of flexible manufacturing systems applying information reuse

Bengt Lennartson, Martin Fabian, Kristin Andersson et al
Report
2006

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

Robi Malik, 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

Efficient Supervisory Synthesis of Large Systems

Arash Vahidi Mazinani, Martin Fabian, Bengt Lennartson
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, Bengt Lennartson, Martin Fabian et al
Conference contribution
2006

Velocity Balancing in Flexible Manufacturing Systems

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

Coordinated operations by relation extraction for manufacturing cell controllers

Bengt Lennartson, Kristin Andersson, Martin Fabian et al
Report
2006

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

Martin Fabian, Johan Richardsson
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, Bengt Lennartson, Martin Fabian et al
Paper in proceedings
2006

Hierarchical Control Applying Supervisor Synthesis and relation Extraction

Bengt Lennartson, Martin Fabian, Johan Richardsson et al
Paper in proceedings
2006

Scheduling of Discrete Event Systems Using Mixed Integer Linear Programming

Avenir Kobetski, Martin Fabian
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

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

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

Martin Fabian, Bengt Lennartson, Arash Vahidi Mazinani
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

Martin Fabian, Shigemasa Takai, Toshimitsu Ushio et al
Automatica. Vol. 41 (8), p. 1299-1312
Journal article
2005

On the execution of sequential function charts

Bengt Lennartson, Anders Hellgren, Martin Fabian
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

Martin Fabian, Johan Richardsson, Kristin Danielsson 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

Martin Fabian, Bengt Lennartson, 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

Martin Fabian, Knut Åkesson, Hugo Flordal 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, P. Holmström, Bengt Lennartson et al
Paper in proceedings
2004

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

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

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

Martin Fabian, Johan Richardsson, Kristin Danielsson
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

Early Termination by Local String in Incremental Language Containment Tests

Martin Fabian, Arash Vahidi Mazinani, Bengt Lennartson
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

Controllability Revisited: A Generalization for the Modular Approach

Knut Åkesson, Hugo Flordal, Anders Hellgren et al
Paper in proceedings
2004

Efficient Supervisory Synthesis of Large Systems

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

Verification of a Novel Approach in Control of Flexible Manufacturing Cells

G. Gore, Martin Fabian, Johan Richardsson et al
Paper in proceedings
2003

Automatic Multi Robot Coordination

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

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

Hugo Flordal, Knut Åkesson, Arash Vahidi Mazinani 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

Martin Fabian, Knut Åkesson, Hugo Flordal
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

Implementation of control and scheduling for production systems

Martin Fabian, Torbjörn Liljenvall
Proceedings of the 2001 IEEE International Symposium on Intelligent Control, 2001. (ISIC '01)., p. 264-269
Paper in proceedings
2001

Generic Resource Booking Models in Flexible Cells

Bengt Lennartson, Martin Fabian, Arash Vahidi Mazinani
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

On the Execution of Discrete Event Systems as Sequential Function Charts

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

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

Anders Hellgren, Bengt Lennartson, Martin Fabian
Proceedings of the 2001 IEEE Conference on Control Applications, SEP 05-07, 2001 Mexico City, Mexico, p. 453-458
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

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

Mutually Nonblocking Supervisory Control of Discrete Event Systems

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

Prioritised Synchronous Composition of Inhibitor Arc Petri Nets

Bengt Lennartson, Anders Hellgren, Martin Fabian
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

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

Implementing supervisory control for chemical batch processes

Martin Fabian, Knut Åkesson
Paper in proceedings
1998

Specification Structures for Supervisory Control

Michael Tittus, Bengt Lennartson, Anders Hellgren et al
Proc of WODES'98, Cagliary, Italy, p. 30--35-
Paper in proceedings
1998

Chalmers Architecture and Methodology for Flexible Production - Champ

Anders Adlemo, Bengt Lennartson, Martin Fabian 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

Martin Fabian, Bengt Lennartson, Michael Tittus et al
Proc of CDC'98, Tampa, FL, p. 3789-3794
Paper in proceedings
1998

Modeling Primitives for Supervisory Control

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

Database Design for Machining Cell Resource Models

Bengt Lennartson, Sven Arne Andreasson, Martin Fabian et al
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

A Generic System Architecure for Flexible Production

Martin Fabian, Bengt Lennartson, Anders Adlemo et al
Proc. of the First International Workshop on Intelligent Manufacturing Systems, p. 245-259
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
1997

Integrating Process Planning and Control for Flexible Production Systems

Bengt Lennartson, Per Gullander, Martin Fabian 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

Sven Arne Andreasson, Martin Fabian, Bengt Lennartson et al
Int. Journal of Computer Integrated Manufacturing. Vol. 10 (1-4), p. 221-31
Journal article
1996

On nondeterministic supervisory control

Bengt Lennartson, Martin Fabian
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

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

Towards a Truly Flexible Manufacturing System

Martin Fabian, Sven Arne Andreasson, Anders Adlemo 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

Martin Fabian, Michael Tittus, 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

Bengt Lennartson, Martin Fabian
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

Bengt Lennartson, Martin Fabian
Paper in proceedings
1995

A Machining Cell Level Language for Product Specification

Bengt Lennartson, Martin Fabian, Anders Adlemo et al
Proc of INCOM'95, Beijing, China, p. 118-124
Paper in proceedings
1995

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

Per Gullander, Anders Adlemo, Martin Fabian 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

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

Martin Fabian, Sven Arne Andreasson, Per Gullander et al
Proc. 8th IFAC Symposium on Information Control Problems in Manufacturing Technology, INCOM'95, Beijing, China, p. 157-162
Paper in proceedings
1995

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

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

A Class of Nondeterministic Specifications for Supervisory Control

Bengt Lennartson, Martin Fabian
Proc. 3rd European Control Conference, Rome, Italy, p. 2809-14
Paper in proceedings
1995

Dynamic Products in Control of an FMS Cell

Anders Adlemo, Bengt Lennartson, Sven Arne Andreasson et al
Proc 8th IFAC Symposium on Information Control Problems in Manufacturing Technology, INCOM'95, Beijing, China, p. 139-44
Paper in proceedings
1995

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

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

Controlling and Coordinating Recipes in Batch Applications

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

Control System Support for Manual Interaction in Flexible Manufacturing Systems

Martin Fabian, Per Gullander, Anders Adlemo et al
Proc of the IEEE Int. Conference on Recent Advances in Mechatronics, Istanbul, p. 333-339
Paper in proceedings
1995

Database Design for Machining Cell Level Product Specification

Anders Adlemo, Per Gullander, 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

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

Object Oriented Supervisory Control with a Class of Nondeterministic Specifications

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

Towards a True Flexible Manufacturing System

Martin Fabian, Per Gullander, Anders Adlemo 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

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

Bengt Lennartson, Martin Fabian
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 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

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