Generic Resource Models and a Message-Passing Structure in an FMS Controller. - P. Gullander; Martin Fabian; Sven-Arne Andréasson; Bengt Lennartson; Anders Adlemo (ICRA, 1995)

A Class of Non-Deterministic Specifications for Supervisory Control. - Martin Fabian; Bengt Lennartson (Eur. J. Control, 1997)

Modeling, specification and controller synthesis for discrete event systems. - Bengt Lennartson; Michael Tittus; Martin Fabian (SMC, 1998)

Coordination of batches in flexible production. - Knut Åkesson; Martin Fabian; Arash Vahidi (ACC, 2000)

Mutually nonblocking supervisory control of discrete event systems. - Martin Fabian; Ratnesh Kumar 001 (Autom., 2000)

Efficient application of symbolic tools for resource booking problems. - Arash Vahidi; Bengt Lennartson; Dennis Arkeryd; Martin Fabian (ACC, 2001)

Automatic generation of PLC programs for control of flexible manufacturing cells. - Johan Richardsson; Martin Fabian (ETFA (2), 2003)

Reuse of information as a base for development and verification of control programs for flexible manufacturing cells. - Johan Richardsson; Martin Fabian (IROS, 2003)

Supervision of multiple industrial robots: optimal and collision free work cycles. - Hugo Flordal; Domenico Spensieri; Knut Åkesson; Martin Fabian (CCA, 2004)

Design of Control Programs for Efficient Handling of Errors in Flexible Manufacturing Cells. - Johan Richardsson; Kristin Danielsson; Martin Fabian (ICRA, 2004)

Control architecture for flexible production systems. - Bengt Lennartson; Martin Fabian; Petter Falkman (CASE, 2005)

Efficient Analysis of Large Discrete-Event Systems with Binary Decision Diagrams. - Arash Vahidi; Bengt Lennartson; Martin Fabian (CDC/ECC, 2005)

Maximally permissive mutually and globally nonblocking supervision with application to switching control. - Ratnesh Kumar 001; Shigemasa Takai; Martin Fabian; Toshimitsu Ushio (Autom., 2005)

Sinthesis of hierarchical and distributed control functions for multi-product manufacturing cells. - Kristin Andersson; Johan Richardsson; Bengt Lennartson; Martin Fabian (CASE, 2006)

Scheduling algorithms for optimal robot cell coordination - a comparison. - Avenir Kobetski; Domenico Spensieri; Martin Fabian (CASE, 2006)

Minimization of Expected Cycle Time in Manufacturing Cells with Uncontrollable Behavior. - Avenir Kobetski; Johan Richardsson; Knut Åkesson; Martin Fabian (CASE, 2007)

Modeling of discrete event systems using finite automata with variables. - Markus Sköldstam; Knut Åkesson; Martin Fabian (CDC, 2007)

Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence. - Hugo Flordal; Robi Malik; Martin Fabian; Knut Åkesson (Discret. Event Dyn. Syst., 2007)

Formal specification and verification of components for industrial logic control programming. - Oscar Ljungkrantz; Knut Åkesson; Martin Fabian (CASE, 2008)

Generation of restart states for manufacturing systems with discarded workpieces. - Kristin Andersson; Bengt Lennartson; Petter Falkman; Martin Fabian (CASE, 2009)

Time-Optimal Coordination of Flexible Manufacturing Systems Using Deterministic Finite Automata and Mixed Integer Linear Programming. - Avenir Kobetski; Martin Fabian (Discret. Event Dyn. Syst., 2009)

Special Issue on WODES'08. - Bengt Lennartson; Martin Fabian; Alessandro Giua; Ratnesh Kumar 001 (Discret. Event Dyn. Syst., 2009)

Modular specification of forbidden states for supervisory control. - Patrik Magnusson; Martin Fabian; Knut Åkesson (WODES, 2010)

Supervisor computation and representation: A case study. - Sajed Miremadi; Knut Åkesson; Bengt Lennartson; Martin Fabian (WODES, 2010)

Restarting Manufacturing Systems; Restart States and Restartability. - Kristin Andersson; Bengt Lennartson; Martin Fabian (IEEE Trans Autom. Sci. Eng., 2010)

Sequence Planning for Integrated Product, Process and Automation Design. - Bengt Lennartson; Kristofer Bengtsson; Chengyin Yuan; Kristin Andersson; Martin Fabian; Petter Falkman; Knut Åkesson (IEEE Trans Autom. Sci. Eng., 2010)

Formal Specification and Verification of Industrial Control Logic Components. - Oscar Ljungkrantz; Knut Åkesson; Martin Fabian; Chengyin Yuan (IEEE Trans Autom. Sci. Eng., 2010)

Coordination of Operations by Relation Extraction for Manufacturing Cell Controllers. - Kristin Andersson; Johan Richardsson; Bengt Lennartson; Martin Fabian (IEEE Trans. Control. Syst. Technol., 2010)

Nondeterminism avoidance in compositional synthesis of discrete event systems. - Sahar Mohajerani; Robi Malik; Martin Fabian (CASE, 2011)

Deadlock avoidance for multi product manufacturing systems modeled as sequences of operations. - Patrik Bergagard; Martin Fabian (CASE, 2012)

Transition removal for compositional supervisor synthesis. - Sahar Mohajerani; Robi Malik; Martin Fabian (CASE, 2012)

State-vector transition model applied to supervisory control. - Bengt Lennartson; Sajed Miremadi; Zhennan Fei; Mona Noori Hosseini; Martin Fabian; Knut Åkesson (ETFA, 2012)

Planning in assembly systems - A common modeling for products and resources. - Julien Provost; Bengt Lennartson; Martin Fabian; Åsa Fasth; Johan Stahre (ETFA, 2012)

An algorithm for weak synthesis observation equivalence for compositional supervisor synthesis. - Sahar Mohajerani; Robi Malik; Martin Fabian (WODES, 2012)

Towards Industrial Formal Specification of Programmable Safety Systems. - Oscar Ljungkrantz; Knut Åkesson; Chengyin Yuan; Martin Fabian (IEEE Trans. Control. Syst. Technol., 2012)

Compositional nonblocking verification for extended finite-state automata using partial unfolding. - Sahar Mohajerani; Robi Malik; Martin Fabian (CASE, 2013)

Derivation of placement transitions for offline calculation of restart states. - Patrik Bergagard; Martin Fabian (ETFA, 2013)

Certainly Unsupervisable States. - Simon Ware; Robi Malik; Sahar Mohajerani; Martin Fabian (FTSCS, 2013)

Calculating restart states using reset transitions. - Patrik Bergagard; Martin Fabian (ICRA, 2014)

Unified Model for Synthesis and Optimization of Discrete Event and Hybrid Systems. - Bengt Lennartson; Oskar Wigström; Martin Fabian; Francesco Basile (WODES, 2014)

An Algorithm for Compositional Nonblocking Verification of Extended Finite-State Machines. - Sahar Mohajerani; Robi Malik; Martin Fabian (WODES, 2014)

An empirical study of control logic specifications for programmable logic controllers. - Oscar Ljungkrantz; Knut Åkesson; Martin Fabian; Amir Hossein Ebrahimi (Empir. Softw. Eng., 2014)

A Framework for Compositional Synthesis of Modular Nonblocking Supervisors. - Sahar Mohajerani; Robi Malik; Martin Fabian (IEEE Trans. Autom. Control., 2014)

Supervisory Control for State-Vector Transition Models - A Unified Approach. - Bengt Lennartson; Francesco Basile; Sajed Miremadi; Zhennan Fei; Mona Noori Hosseini; Martin Fabian; Knut Åkesson (IEEE Trans Autom. Sci. Eng., 2014)

On restart of automated manufacturing systems using restart states. - Patrik Bergagard; Martin Fabian (CASE, 2015)

Error handling within highly automated automotive industry: Current practice and research needs. - Ashfaq Farooqui; Patrik Bergagard; Petter Falkman; Martin Fabian (ETFA, 2016)

Formulating constraint satisfaction problems for the inspection of configuration rules. - Anna Tidstam; Johan Malmqvist; Alexey Voronov; Knut Åkesson; Martin Fabian (Artif. Intell. Eng. Des. Anal. Manuf., 2016)

A framework for compositional nonblocking verification of extended finite-state machines. - Sahar Mohajerani; Robi Malik; Martin Fabian (Discret. Event Dyn. Syst., 2016)

Objective functions for falsification of signal temporal logic properties in cyber-physical systems. - Johan Lidén Eddeland; Sajed Miremadi; Martin Fabian; Knut Åkesson (CASE, 2017)

Virtual engineering framework for automatic generation of control logic including safety. - Adnan Khan; Petter Falkman; Martin Fabian (CASE, 2017)

Application of formal verification to the lane change module of an autonomous vehicle. - Anton Zita; Sahar Mohajerani; Martin Fabian (CASE, 2017)

Compositional synthesis of supervisors in the form of state machines and state maps. - Sahar Mohajerani; Robi Malik; Martin Fabian (Autom., 2017)

Guest Editorial Special Section on the 2015 International Conference on Automation Science and Engineering. - Martin Fabian; Bengt Lennartson; Knut Åkesson (IEEE Trans Autom. Sci. Eng., 2017)

Towards Automatic Learning of Discrete-Event Models from Simulations. - Ashfaq Farooqui; Petter Falkman; Martin Fabian (CASE, 2018)

Digital Twin for Legacy Systems: Simulation Model Testing and Validation. - Adnan Khan; Martin Dahl; Petter Falkman; Martin Fabian (CASE, 2018)

Synthesis of Supervisors for Unknown Plant Models Using Active Learning. - Ashfaq Farooqui; Martin Fabian (CASE, 2019)

No synthesis needed, we are alright already. - Martijn A. Goorden; Martin Fabian (CASE, 2019)

Supervisory Control of Discrete-Event Systems in an Asynchronous Setting. - Aida Rashidinejad; Michel A. Reniers; Martin Fabian (CASE, 2019)

On the Use of Equivalence Classes for Optimal and Sub-Optimal Bin Covering. - Sabino Francesco Roselli; Fredrik Hagebring; Sarmad Riazi; Martin Fabian; Knut Åkesson (CASE, 2019)

Testing Safety PLCs Using QuickCheck. - David Thönnessen; Nick Smallbone; Martin Fabian; Koen Claessen; Stefan Kowalewski (CASE, 2019)

Control components for Collaborative and Intelligent Automation Systems. - Martin Dahl; Endre Erós; Atieh Hanna; Kristofer Bengtsson; Martin Fabian; Petter Falkman (ETFA, 2019)

On the Safe IOCOS relation for Testing Safety PLC Code. - Adnan Khan; Martin Fabian (ETFA, 2019)

Comparative Case Studies of Reactive Synthesis and Supervisory Control. - Zahra Ramezani; Jonas Krook; Zhennan Fei; Martin Fabian; Knut Åkesson (ECC, 2019)

Verification of Decision Making Software in an Autonomous Vehicle: An Industrial Case Study. - Yuvaraj Selvaraj; Wolfgang Ahrendt; Martin Fabian (FMICS, 2019)

Design and Formal Verification of a Safe Stop Supervisor for an Automated Vehicle*. - Jonas Krook; Lars J. Svensson; Yuchao Li; Lei Feng 002; Martin Fabian (ICRA, 2019)

On-the-fly conformance testing of safety PLC code using QuickCheck. - Adnan Khan; David Thönnessen; Martin Fabian (INDIN, 2019)

Evaluating Two Semantics for Falsification using an Autonomous Driving Example. - Zahra Ramezani; Nicholas Smallbone; Martin Fabian; Knut Åkesson (INDIN, 2019)

Automatically learning formal models: an industrial case from autonomous driving development. - Yuvaraj Selvaraj; Ashfaq Farooqui; Ghazaleh Panahandeh; Martin Fabian (MoDELS (Companion), 2020)

Supervisory Control Theory in System Safety Analysis. - Yuvaraj Selvaraj; Zhennan Fei; Martin Fabian (SAFECOMP Workshops, 2020)

Model Properties for Efficient Synthesis of Nonblocking Modular Supervisors. - Martijn A. Goorden; Joanna M. van de Mortel-Fronczak; Michel A. Reniers; Martin Fabian; Wan J. Fokkink; Jacobus E. Rooda (CoRR, 2020)

Towards data-driven approaches in manufacturing: an architecture to collect sequences of operations. - Ashfaq Farooqui; Kristofer Bengtsson; Petter Falkman; Martin Fabian (Int. J. Prod. Res., 2020)

Temporal Logic Falsification of Cyber-Physical Systems using Input Pulse Generators. - Zahra Ramezani; Alexandre Donzé; Martin Fabian; Knut Åkesson (ARCH@ADHS, 2021)

MIDES: A Tool for Supervisor Synthesis via Active Learning. - Ashfaq Farooqui; Fredrik Hagebring; Martin Fabian (CASE, 2021)

An SMT Based Compositional Algorithm to Solve a Conflict-Free Electric Vehicle Routing Problem. - Sabino Francesco Roselli; Martin Fabian; Knut Åkesson (CASE, 2021)

Solving the Conflict-Free Electric Vehicle Routing Problem Using SMT Solvers. - Sabino Francesco Roselli; Martin Fabian; Knut Åkesson (MED, 2021)

Networked Supervisory Control Synthesis of Timed Discrete-Event Systems. - Aida Rashidinejad; Michel A. Reniers; Martin Fabian (CoRR, 2021)

Compositional coordinator synthesis of extended finite automata. - Martijn A. Goorden; Martin Fabian; Joanna M. van de Mortel-Fronczak; Michel A. Reniers; Wan J. Fokkink; Jacobus E. Rooda (Discret. Event Dyn. Syst., 2021)

On the Use of Equivalence Classes for Optimal and Suboptimal Bin Packing and Bin Covering. - Sabino Francesco Roselli; Fredrik Hagebring; Sarmad Riazi; Martin Fabian; Knut Åkesson (IEEE Trans Autom. Sci. Eng., 2021)

On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic. - Yuvaraj Selvaraj; Jonas Krook; Wolfgang Ahrendt; Martin Fabian (ICFEM, 2022)

Formal verification of deadlock avoidance rules for AGV systems. - Sarmad Riazi; Jonathan Falk; Alexander Greger; Anton Pettersson; Martin Fabian (MED, 2022)

Robust Stutter Bisimulation for Abstraction and Controller Synthesis with Disturbance: Proofs. - Jonas Krook; Robi Malik; Sahar Mohajerani; Martin Fabian (CoRR, 2022)

A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases. - Jonas Krook; Yuvaraj Selvaraj; Wolfgang Ahrendt; Martin Fabian (CoRR, 2022)

On Optimization of Automation Systems: Integrating Modular Learning and Optimization. - Fredrik Hagebring; Ashfaq Farooqui; Martin Fabian; Bengt Lennartson (IEEE Trans Autom. Sci. Eng., 2022)

A Compositional Algorithm for the Conflict-Free Electric Vehicle Routing Problem. - Sabino Francesco Roselli; Per-Lage Götvall; Martin Fabian; Knut Åkesson (IEEE Trans Autom. Sci. Eng., 2022)

Testing Cyber-Physical Systems Using a Line-Search Falsification Method. - Zahra Ramezani; Koen Claessen; Nicholas Smallbone; Martin Fabian; Knut Åkesson (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

Hazard Analysis of Collaborative Automation Systems: A Two-layer Approach based on Supervisory Control and Simulation. - Tom Philip Huck; Yuvaraj Selvaraj; Constantin Cronrath; Christoph Ledermann; Martin Fabian; Bengt Lennartson; Torsten Kröger (ICRA, 2023)

Formal Development of Safe Automated Driving Using Differential Dynamic Logic. - Yuvaraj Selvaraj; Wolfgang Ahrendt; Martin Fabian (IEEE Trans. Intell. Veh., 2023)

A survey on compositional algorithms for verification and synthesis in supervisory control. - Robi Malik; Sahar Mohajerani; Martin Fabian (Discret. Event Dyn. Syst., 2023)

Online Conflict-Free Scheduling of Fleets of Autonomous Mobile Robots. - Francesco Popolizio; Martina Vinetti; Alvin Combrink; Sabino Francesco Roselli; Maria Pia Fanti; Martin Fabian (CASE, 2024)

Discrete-Event Based Patient Flow Simulation of an Emergency Surgery Department. - Alvin Combrink; David Johnson; Petr Moldan; Martin Fabian (CoDIT, 2024)

Conflict-free electric vehicle routing problem: an improved compositional algorithm. - Sabino Francesco Roselli; Martin Fabian; Knut Åkesson (Discret. Event Dyn. Syst., 2024)

On Active Learning for Supervisor Synthesis. - Ashfaq Farooqui; Ramon Tijsse Claase; Martin Fabian (IEEE Trans Autom. Sci. Eng., 2024)

Robust stutter bisimulation for abstraction and controller synthesis with disturbance. - Jonas Krook; Robi Malik; Sahar Mohajerani; Martin Fabian (Autom., 2024)

On proving that an unsafe controller is not proven safe. - Yuvaraj Selvaraj; Jonas Krook; Wolfgang Ahrendt; Martin Fabian (J. Log. Algebraic Methods Program., 2024)

Supervisory Control Synthesis of Timed Automata Using Forcible Events. - Aida Rashidinejad; Michel A. Reniers; Martin Fabian (IEEE Trans. Autom. Control., 2024)

On Input Generators for Cyber-Physical Systems Falsification. - Zahra Ramezani; Alexandre Donzé; Martin Fabian; Knut Åkesson (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

Identification of Minimally Restrictive Assembly Sequences Using Supervisory Control Theory. - Martina Vinetti; Martin Fabian (ICPS, 2025)

Prioritized Planning for Continuous-time Lifelong Multi-agent Pathfinding. - Alvin Combrink; Sabino Francesco Roselli; Martin Fabian (CoRR, 2025)

A Comparative Study of SMT and MILP for the Nurse Rostering Problem. - Alvin Combrink; Stephie Do; Kristofer Bengtsson; Sabino Francesco Roselli; Martin Fabian (CoRR, 2025)

Sound and Solution-Complete CCBS. - Alvin Combrink; Sabino Francesco Roselli; Martin Fabian (CoRR, 2025)