A General Formulation for the Teaching Assignment Problem: Computational Analysis Over a Real-World Dataset.

Martin Fabian https://orcid.org/0000-0003-1287-9748

Moa Johannesson Lina Brink Alvin Combrink Sabino Francesco Roselli Martin Fabian A General Formulation for the Teaching Assignment Problem: Computational Analysis Over a Real-World Dataset. 2026 February abs/2602.09605 CoRR https://doi.org/10.48550/arXiv.2602.09605 db/journals/corr/corr2602.html#abs-2602-09605 streams/journals/corr

Nishant Parekh Wolfgang Ahrendt Martin Fabian Smart contract denial-of-service analysis using non-blocking verification. 355-387 2025 December 35 Discret. Event Dyn. Syst. 4 https://doi.org/10.1007/s10626-025-00418-5 db/journals/deds/deds35.html#ParekhAF25 streams/journals/deds

Alvin Combrink Sabino Francesco Roselli Martin Fabian Prioritized Planning for Continuous-time Lifelong Multi-agent Pathfinding. 1454-1459 2025 CoDIT https://doi.org/10.1109/CoDIT66093.2025.11321711 conf/codit/2025 db/conf/codit/codit2025.html#CombrinkRF25 Alvin Combrink Stephie Do Kristofer Bengtsson Sabino Francesco Roselli Martin Fabian A Comparative Study of SMT and MILP for the Nurse Rostering Problem. 2105-2110 2025 CoDIT https://doi.org/10.1109/CoDIT66093.2025.11321384 conf/codit/2025 db/conf/codit/codit2025.html#CombrinkDBRF25 Martina Vinetti Martin Fabian Identification of Minimally Restrictive Assembly Sequences Using Supervisory Control Theory. 1-4 2025 ICPS https://doi.org/10.1109/ICPS65515.2025.11087917 conf/icphys/2025 db/conf/icphys/icps2025.html#VinettiF25

Martina Vinetti Martin Fabian Identification of Minimally Restrictive Assembly Sequences using Supervisory Control Theory. 2025 March abs/2503.05285 CoRR https://doi.org/10.48550/arXiv.2503.05285 db/journals/corr/corr2503.html#abs-2503-05285 streams/journals/corr

Alvin Combrink Sabino Francesco Roselli Martin Fabian Prioritized Planning for Continuous-time Lifelong Multi-agent Pathfinding. 2025 March abs/2503.13175 CoRR https://doi.org/10.48550/arXiv.2503.13175 db/journals/corr/corr2503.html#abs-2503-13175 streams/journals/corr

Alvin Combrink Stephie Do Kristofer Bengtsson Sabino Francesco Roselli Martin Fabian A Comparative Study of SMT and MILP for the Nurse Rostering Problem. 2025 May abs/2505.10328 CoRR https://doi.org/10.48550/arXiv.2505.10328 db/journals/corr/corr2505.html#abs-2505-10328 streams/journals/corr

Alvin Combrink Sabino Francesco Roselli Martin Fabian Sound and Solution-Complete CCBS. 2025 August abs/2508.16410 CoRR https://doi.org/10.48550/arXiv.2508.16410 db/journals/corr/corr2508.html#abs-2508-16410 streams/journals/corr

Martina Vinetti Sabino Francesco Roselli Martin Fabian A Multi-Worker Assembly Line Rebalancing with Spatial and Ergonomic Considerations. 2025 December abs/2512.13331 CoRR https://doi.org/10.48550/arXiv.2512.13331 db/journals/corr/corr2512.html#abs-2512-13331 streams/journals/corr

Jonas Krook Robi Malik Sahar Mohajerani Martin Fabian Robust stutter bisimulation for abstraction and controller synthesis with disturbance. 111394 2024 February 160 Autom. https://doi.org/10.1016/j.automatica.2023.111394 db/journals/automatica/automatica160.html#KrookMMF24

Sabino Francesco Roselli Martin Fabian Knut Åkesson Conflict-free electric vehicle routing problem: an improved compositional algorithm. 21-51 2024 34 Discret. Event Dyn. Syst. 1 https://doi.org/10.1007/s10626-023-00388-6 db/journals/deds/deds34.html#RoselliFA24

Yuvaraj Selvaraj Jonas Krook Wolfgang Ahrendt Martin Fabian On proving that an unsafe controller is not proven safe. 100939 2024 February 137 J. Log. Algebraic Methods Program. https://doi.org/10.1016/j.jlamp.2023.100939 db/journals/jlap/jlap137.html#SelvarajKAF24

Aida Rashidinejad Michel A. Reniers Martin Fabian Supervisory Control Synthesis of Timed Automata Using Forcible Events. 1074-1080 2024 February 69 IEEE Trans. Autom. Control. 2 https://doi.org/10.1109/TAC.2023.3275440 db/journals/tac/tac69.html#RashidinejadRF24

Ashfaq Farooqui Ramon Tijsse Claase Martin Fabian On Active Learning for Supervisor Synthesis. 78-90 2024 January 21 IEEE Trans Autom. Sci. Eng. 1 https://doi.org/10.1109/TASE.2022.3216759 db/journals/tase/tase21.html#FarooquiCF24

Zahra Ramezani Alexandre Donzé Martin Fabian Knut Åkesson On Input Generators for Cyber-Physical Systems Falsification. 1274-1287 2024 April 43 IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 4 https://doi.org/10.1109/TCAD.2023.3333758 db/journals/tcad/tcad43.html#RamezaniDFA24

Francesco Popolizio Martina Vinetti Alvin Combrink Sabino Francesco Roselli Maria Pia Fanti Martin Fabian Online Conflict-Free Scheduling of Fleets of Autonomous Mobile Robots. 3063-3068 2024 CASE https://doi.org/10.1109/CASE59546.2024.10711693 conf/case/2024 db/conf/case/case2024.html#PopolizioVCRFF24 Alvin Combrink David Johnson Petr Moldan Martin Fabian Discrete-Event Based Patient Flow Simulation of an Emergency Surgery Department. 1243-1248 2024 CoDIT https://doi.org/10.1109/CoDIT62066.2024.10708150 conf/codit/2024 db/conf/codit/codit2024.html#CombrinkJMF24 streams/conf/codit

Robi Malik Sahar Mohajerani Martin Fabian A survey on compositional algorithms for verification and synthesis in supervisory control. 279-340 2023 September 33 Discret. Event Dyn. Syst. 3 https://doi.org/10.1007/s10626-023-00378-8 db/journals/deds/deds33.html#MalikMF23

Yuvaraj Selvaraj Wolfgang Ahrendt Martin Fabian Formal Development of Safe Automated Driving Using Differential Dynamic Logic. 988-1000 2023 January 8 IEEE Trans. Intell. Veh. 1 https://doi.org/10.1109/TIV.2022.3204574 db/journals/tiv/tiv8.html#SelvarajAF23

Tom Philip Huck Yuvaraj Selvaraj Constantin Cronrath Christoph Ledermann Martin Fabian Bengt Lennartson Torsten Kröger Hazard Analysis of Collaborative Automation Systems: A Two-layer Approach based on Supervisory Control and Simulation. 10560-10566 2023 ICRA https://doi.org/10.1109/ICRA48891.2023.10161338 conf/icra/2023 db/conf/icra/icra2023.html#HuckSCLFLK23

Sabino Francesco Roselli Per-Lage Götvall Martin Fabian Knut Åkesson A Compositional Algorithm for the Conflict-Free Electric Vehicle Routing Problem. 1405-1421 2022 19 IEEE Trans Autom. Sci. Eng. 3 https://doi.org/10.1109/TASE.2022.3169949 db/journals/tase/tase19.html#RoselliGFA22

Fredrik Hagebring Ashfaq Farooqui Martin Fabian Bengt Lennartson On Optimization of Automation Systems: Integrating Modular Learning and Optimization. 1662-1674 2022 19 IEEE Trans Autom. Sci. Eng. 3 https://doi.org/10.1109/TASE.2022.3144230 db/journals/tase/tase19.html#HagebringFFL22

Zahra Ramezani Koen Claessen Nicholas Smallbone Martin Fabian Knut Åkesson Testing Cyber-Physical Systems Using a Line-Search Falsification Method. 2393-2406 2022 41 IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 8 https://doi.org/10.1109/TCAD.2021.3110740 db/journals/tcad/tcad41.html#RamezaniCSFA22

Yuvaraj Selvaraj Jonas Krook Wolfgang Ahrendt Martin Fabian On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic. 281-297 2022 ICFEM https://doi.org/10.1007/978-3-031-17244-1_17 conf/icfem/2022 db/conf/icfem/icfem2022.html#SelvarajKAF22 Sarmad Riazi Jonathan Falk Alexander Greger Anton Pettersson Martin Fabian Formal verification of deadlock avoidance rules for AGV systems. 982-987 2022 MED https://doi.org/10.1109/MED54222.2022.9837154 conf/med/2022 db/conf/med/med2022.html#RiaziFGPF22

Sabino Francesco Roselli Per-Lage Götvall Martin Fabian Knut Åkesson A Compositional Algorithm for the Conflict-Free Electric Vehicle Routing Problem. 2022 abs/2203.06977 CoRR https://doi.org/10.48550/arXiv.2203.06977 db/journals/corr/corr2203.html#abs-2203-06977

Yuvaraj Selvaraj Wolfgang Ahrendt Martin Fabian Formal Development of Safe Automated Driving using Differential Dynamic Logic. 2022 abs/2204.06873 CoRR https://doi.org/10.48550/arXiv.2204.06873 db/journals/corr/corr2204.html#abs-2204-06873

Jonas Krook Robi Malik Sahar Mohajerani Martin Fabian Robust Stutter Bisimulation for Abstraction and Controller Synthesis with Disturbance: Proofs. 2022 abs/2205.13959 CoRR https://doi.org/10.48550/arXiv.2205.13959 db/journals/corr/corr2205.html#abs-2205-13959

Yuvaraj Selvaraj Jonas Krook Wolfgang Ahrendt Martin Fabian On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic. 2022 abs/2207.05854 CoRR https://doi.org/10.48550/arXiv.2207.05854 db/journals/corr/corr2207.html#abs-2207-05854

Tom Philip Huck Yuvaraj Selvaraj Constantin Cronrath Christoph Ledermann Martin Fabian Bengt Lennartson Torsten Kröger Hazard Analysis of Collaborative Automation Systems: A Two-layer Approach based on Supervisory Control and Simulation. 2022 abs/2209.12560 CoRR https://doi.org/10.48550/arXiv.2209.12560 db/journals/corr/corr2209.html#abs-2209-12560

Jonas Krook Yuvaraj Selvaraj Wolfgang Ahrendt Martin Fabian A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases. 2022 abs/2210.07798 CoRR https://doi.org/10.48550/arXiv.2210.07798 db/journals/corr/corr2210.html#abs-2210-07798

Martijn A. Goorden Martin Fabian Joanna M. van de Mortel-Fronczak Michel A. Reniers Wan J. Fokkink Jacobus E. Rooda Compositional coordinator synthesis of extended finite automata. 317-348 2021 31 Discret. Event Dyn. Syst. 3 https://doi.org/10.1007/s10626-020-00334-w db/journals/deds/deds31.html#GoordenFMRFR21

Sabino Francesco Roselli Fredrik Hagebring Sarmad Riazi Martin Fabian Knut Åkesson On the Use of Equivalence Classes for Optimal and Suboptimal Bin Packing and Bin Covering. 369-381 2021 18 IEEE Trans Autom. Sci. Eng. 1 https://doi.org/10.1109/TASE.2020.3022986 db/journals/tase/tase18.html#RoselliHRFA21

Zahra Ramezani Alexandre Donzé Martin Fabian Knut Åkesson Temporal Logic Falsification of Cyber-Physical Systems using Input Pulse Generators. 195-202 2021 ARCH@ADHS https://doi.org/10.29007/q4k7 conf/arch/2021 db/conf/arch/arch2021.html#RamezaniDFA21 Ashfaq Farooqui Fredrik Hagebring Martin Fabian MIDES: A Tool for Supervisor Synthesis via Active Learning. 792-797 2021 CASE https://doi.org/10.1109/CASE49439.2021.9551435 conf/case/2021 db/conf/case/case2021.html#FarooquiHF21 Sabino Francesco Roselli Martin Fabian Knut Åkesson An SMT Based Compositional Algorithm to Solve a Conflict-Free Electric Vehicle Routing Problem. 1364-1369 2021 CASE https://doi.org/10.1109/CASE49439.2021.9551521 conf/case/2021 db/conf/case/case2021.html#RoselliFA21 Sabino Francesco Roselli Martin Fabian Knut Åkesson Solving the Conflict-Free Electric Vehicle Routing Problem Using SMT Solvers. 542-547 2021 MED https://doi.org/10.1109/MED51440.2021.9480202 conf/med/2021 db/conf/med/med2021.html#RoselliFA21

Aida Rashidinejad Michel A. Reniers Martin Fabian Networked Supervisory Control Synthesis of Timed Discrete-Event Systems. 2021 abs/2102.09255 CoRR https://arxiv.org/abs/2102.09255 db/journals/corr/corr2102.html#abs-2102-09255

Aida Rashidinejad Michel A. Reniers Martin Fabian Supervisory Control Synthesis of Timed Automata Using Forcible Events. 2021 abs/2102.09338 CoRR https://arxiv.org/abs/2102.09338 db/journals/corr/corr2102.html#abs-2102-09338

Sabino Francesco Roselli Martin Fabian Knut Åkesson Solving the Conflict-Free Electric Vehicle Routing Problem Using SMT Solvers. 2021 abs/2103.08217 CoRR https://arxiv.org/abs/2103.08217 db/journals/corr/corr2103.html#abs-2103-08217

Sabino Francesco Roselli Martin Fabian Knut Åkesson An SMT Based Compositional Algorithm to Solve a Conflict-Free Electric Vehicle Routing Problem. 2021 abs/2106.07387 CoRR https://arxiv.org/abs/2106.07387 db/journals/corr/corr2106.html#abs-2106-07387

Ashfaq Farooqui Kristofer Bengtsson Petter Falkman Martin Fabian Towards data-driven approaches in manufacturing: an architecture to collect sequences of operations. 4947-4963 2020 58 Int. J. Prod. Res. 16 https://doi.org/10.1080/00207543.2020.1735660 db/journals/ijpr/ijpr58.html#FarooquiBFF20

Yuvaraj Selvaraj Ashfaq Farooqui Ghazaleh Panahandeh Martin Fabian Automatically learning formal models: an industrial case from autonomous driving development. 33:1-33:10 2020 MoDELS (Companion) https://doi.org/10.1145/3417990.3421262 conf/models/2020c db/conf/models/models2020c.html#SelvarajFPF20 Yuvaraj Selvaraj Zhennan Fei Martin Fabian Supervisory Control Theory in System Safety Analysis. 9-22 2020 SAFECOMP Workshops https://doi.org/10.1007/978-3-030-55583-2_1 conf/safecomp/2020w db/conf/safecomp/safecomp2020w.html#SelvarajFF20

Martijn A. Goorden Joanna M. van de Mortel-Fronczak Michel A. Reniers Martin Fabian Wan J. Fokkink Jacobus E. Rooda Model Properties for Efficient Synthesis of Nonblocking Modular Supervisors. 2020 abs/2007.05795 CoRR https://arxiv.org/abs/2007.05795 db/journals/corr/corr2007.html#abs-2007-05795

David Thönnessen Nick Smallbone Martin Fabian Koen Claessen Stefan Kowalewski Testing Safety PLCs Using QuickCheck. 1-6 2019 CASE https://doi.org/10.1109/COASE.2019.8843227 conf/case/2019 db/conf/case/case2019.html#ThonnessenSFCK19 Martijn A. Goorden Martin Fabian No synthesis needed, we are alright already. 195-202 2019 CASE https://doi.org/10.1109/COASE.2019.8843071 conf/case/2019 db/conf/case/case2019.html#GoordenF19 Aida Rashidinejad Michel A. Reniers Martin Fabian Supervisory Control of Discrete-Event Systems in an Asynchronous Setting. 494-501 2019 CASE https://doi.org/10.1109/COASE.2019.8843274 conf/case/2019 db/conf/case/case2019.html#RashidinejadRF19 Ashfaq Farooqui Martin Fabian Synthesis of Supervisors for Unknown Plant Models Using Active Learning. 502-508 2019 CASE https://doi.org/10.1109/COASE.2019.8843177 conf/case/2019 db/conf/case/case2019.html#FarooquiF19 Sabino Francesco Roselli Fredrik Hagebring Sarmad Riazi Martin Fabian Knut Åkesson On the Use of Equivalence Classes for Optimal and Sub-Optimal Bin Covering. 1004-1009 2019 CASE https://doi.org/10.1109/COASE.2019.8843323 conf/case/2019 db/conf/case/case2019.html#RoselliHRFA19 Martin Dahl Endre Erós Atieh Hanna Kristofer Bengtsson Martin Fabian Petter Falkman Control components for Collaborative and Intelligent Automation Systems. 378-384 2019 ETFA https://doi.org/10.1109/ETFA.2019.8869112 conf/etfa/2019 db/conf/etfa/etfa2019.html#DahlEHBFF19 Adnan Khan Martin Fabian On the Safe IOCOS relation for Testing Safety PLC Code. 1449-1452 2019 ETFA https://doi.org/10.1109/ETFA.2019.8869487 conf/etfa/2019 db/conf/etfa/etfa2019.html#KhanF19 Zahra Ramezani Jonas Krook Zhennan Fei Martin Fabian Knut Åkesson Comparative Case Studies of Reactive Synthesis and Supervisory Control. 1752-1759 2019 ECC https://doi.org/10.23919/ECC.2019.8795696 conf/eucc/2019 db/conf/eucc/eucc2019.html#RamezaniKFFA19 Yuvaraj Selvaraj Wolfgang Ahrendt Martin Fabian Verification of Decision Making Software in an Autonomous Vehicle: An Industrial Case Study. 143-159 2019 FMICS https://doi.org/10.1007/978-3-030-27008-7_9 conf/fmics/2019 db/conf/fmics/fmics2019.html#SelvarajAF19 Jonas Krook Lars J. Svensson Yuchao Li Lei Feng 0002 Martin Fabian Design and Formal Verification of a Safe Stop Supervisor for an Automated Vehicle<sup>*</sup>. 5607-5613 2019 ICRA https://doi.org/10.1109/ICRA.2019.8793636 conf/icra/2019 db/conf/icra/icra2019.html#KrookSLFF19 Zahra Ramezani Nicholas Smallbone Martin Fabian Knut Åkesson Evaluating Two Semantics for Falsification using an Autonomous Driving Example. 386-391 2019 INDIN https://doi.org/10.1109/INDIN41052.2019.8972229 conf/indin/2019 db/conf/indin/indin2019.html#RamezaniSFA19 Adnan Khan David Thönnessen Martin Fabian On-the-fly conformance testing of safety PLC code using QuickCheck. 419-424 2019 INDIN https://doi.org/10.1109/INDIN41052.2019.8972277 conf/indin/2019 db/conf/indin/indin2019.html#KhanTF19 Adnan Khan Martin Dahl Petter Falkman Martin Fabian Digital Twin for Legacy Systems: Simulation Model Testing and Validation. 421-426 2018 CASE https://doi.org/10.1109/COASE.2018.8560338 conf/case/2018 db/conf/case/case2018.html#KhanDFF18 Ashfaq Farooqui Petter Falkman Martin Fabian Towards Automatic Learning of Discrete-Event Models from Simulations. 857-862 2018 CASE https://doi.org/10.1109/COASE.2018.8560451 conf/case/2018 db/conf/case/case2018.html#FarooquiFF18

Sahar Mohajerani Robi Malik Martin Fabian Compositional synthesis of supervisors in the form of state machines and state maps. 277-281 2017 76 Autom. https://doi.org/10.1016/j.automatica.2016.10.012 db/journals/automatica/automatica76.html#MohajeraniMF17

Martin Fabian Bengt Lennartson Knut Åkesson Guest Editorial Special Section on the 2015 International Conference on Automation Science and Engineering. 692-693 2017 14 IEEE Trans Autom. Sci. Eng. 2 https://doi.org/10.1109/TASE.2017.2672118 db/journals/tase/tase14.html#FabianLA17

Adnan Khan Petter Falkman Martin Fabian Virtual engineering framework for automatic generation of control logic including safety. 648-653 2017 CASE https://doi.org/10.1109/COASE.2017.8256176 conf/case/2017 db/conf/case/case2017.html#KhanFF17 Anton Zita Sahar Mohajerani Martin Fabian Application of formal verification to the lane change module of an autonomous vehicle. 932-937 2017 CASE https://doi.org/10.1109/COASE.2017.8256223 conf/case/2017 db/conf/case/case2017.html#ZitaMF17 Johan Lidén Eddeland Sajed Miremadi Martin Fabian Knut Åkesson Objective functions for falsification of signal temporal logic properties in cyber-physical systems. 1326-1331 2017 CASE https://doi.org/10.1109/COASE.2017.8256285 conf/case/2017 db/conf/case/case2017.html#EddelandMFA17

Anna Tidstam Johan Malmqvist Alexey Voronov Knut Åkesson Martin Fabian Formulating constraint satisfaction problems for the inspection of configuration rules. 313-328 2016 30 Artif. Intell. Eng. Des. Anal. Manuf. 3 https://doi.org/10.1017/S0890060415000487 db/journals/aiedam/aiedam30.html#TidstamMVAF16

Sahar Mohajerani Robi Malik Martin Fabian A framework for compositional nonblocking verification of extended finite-state machines. 33-84 2016 26 Discret. Event Dyn. Syst. 1 https://doi.org/10.1007/s10626-015-0217-y db/journals/deds/deds26.html#MohajeraniMF16

Ashfaq Farooqui Patrik Bergagard Petter Falkman Martin Fabian Error handling within highly automated automotive industry: Current practice and research needs. 1-4 2016 ETFA https://doi.org/10.1109/ETFA.2016.7733628 conf/etfa/2016 db/conf/etfa/etfa2016.html#FarooquiBFF16 Patrik Bergagard Martin Fabian On restart of automated manufacturing systems using restart states. 166-167 2015 CASE https://doi.org/10.1109/CoASE.2015.7294056 conf/case/2015 db/conf/case/case2015.html#BergagardF15

Oscar Ljungkrantz Knut Åkesson Martin Fabian Amir Hossein Ebrahimi An empirical study of control logic specifications for programmable logic controllers. 655-677 2014 19 Empir. Softw. Eng. 3 https://doi.org/10.1007/s10664-012-9232-x db/journals/ese/ese19.html#LjungkrantzAFE14

Sahar Mohajerani Robi Malik Martin Fabian A Framework for Compositional Synthesis of Modular Nonblocking Supervisors. 150-162 2014 59 IEEE Trans. Autom. Control. 1 https://doi.org/10.1109/TAC.2013.2283109 db/journals/tac/tac59.html#MohajeraniMF14

Bengt Lennartson Francesco Basile Sajed Miremadi Zhennan Fei Mona Noori Hosseini Martin Fabian Knut Åkesson Supervisory Control for State-Vector Transition Models - A Unified Approach. 33-47 2014 11 IEEE Trans Autom. Sci. Eng. 1 https://doi.org/10.1109/TASE.2013.2291115 db/journals/tase/tase11.html#LennartsonBMFHFA14

Patrik Bergagard Martin Fabian Calculating restart states using reset transitions. 3345-3350 2014 ICRA https://doi.org/10.1109/ICRA.2014.6907340 conf/icra/2014 db/conf/icra/icra2014.html#BergagardF14 Bengt Lennartson Oskar Wigström Martin Fabian Francesco Basile Unified Model for Synthesis and Optimization of Discrete Event and Hybrid Systems. 86-92 2014 WODES https://doi.org/10.3182/20140514-3-FR-4046.00140 conf/wodes/2014 db/conf/wodes/wodes2014.html#LennartsonWFB14 Sahar Mohajerani Robi Malik Martin Fabian An Algorithm for Compositional Nonblocking Verification of Extended Finite-State Machines. 376-382 2014 WODES https://doi.org/10.3182/20140514-3-FR-4046.00039 conf/wodes/2014 db/conf/wodes/wodes2014.html#MohajeraniMF14 Sahar Mohajerani Robi Malik Martin Fabian Compositional nonblocking verification for extended finite-state automata using partial unfolding. 930-935 2013 CASE https://doi.org/10.1109/CoASE.2013.6654014 conf/case/2013 db/conf/case/case2013.html#MohajeraniMF13 Patrik Bergagard Martin Fabian Derivation of placement transitions for offline calculation of restart states. 1-8 2013 ETFA https://doi.org/10.1109/ETFA.2013.6648053 conf/etfa/2013 db/conf/etfa/etfa2013.html#BergagardF13 Simon Ware Robi Malik Sahar Mohajerani Martin Fabian Certainly Unsupervisable States. 280-296 2013 FTSCS https://doi.org/10.1007/978-3-319-05416-2_18 conf/ftscs/2013 db/conf/ftscs/ftscs2013.html#WareMMF13

Oscar Ljungkrantz Knut Åkesson Chengyin Yuan Martin Fabian Towards Industrial Formal Specification of Programmable Safety Systems. 1567-1574 2012 20 IEEE Trans. Control. Syst. Technol. 6 https://doi.org/10.1109/TCST.2011.2169262 db/journals/tcst/tcst20.html#LjungkrantzAYF12

Patrik Bergagard Martin Fabian Deadlock avoidance for multi product manufacturing systems modeled as sequences of operations. 515-520 2012 CASE https://doi.org/10.1109/CoASE.2012.6386378 conf/case/2012 db/conf/case/case2012.html#BergagardF12 Sahar Mohajerani Robi Malik Martin Fabian Transition removal for compositional supervisor synthesis. 694-699 2012 CASE https://doi.org/10.1109/CoASE.2012.6386447 conf/case/2012 db/conf/case/case2012.html#MohajeraniMF12 Bengt Lennartson Sajed Miremadi Zhennan Fei Mona Noori Hosseini Martin Fabian Knut Åkesson State-vector transition model applied to supervisory control. 1-8 2012 ETFA https://doi.org/10.1109/ETFA.2012.6489680 conf/etfa/2012 db/conf/etfa/etfa2012.html#LennartsonMFHFA12 Julien Provost Bengt Lennartson Martin Fabian Åsa Fasth Johan Stahre Planning in assembly systems - A common modeling for products and resources. 1-8 2012 ETFA https://doi.org/10.1109/ETFA.2012.6489594 conf/etfa/2012 db/conf/etfa/etfa2012.html#ProvostLFFS12 Sahar Mohajerani Robi Malik Martin Fabian An algorithm for weak synthesis observation equivalence for compositional supervisor synthesis. 239-244 2012 WODES https://doi.org/10.3182/20121003-3-MX-4033.00040 conf/wodes/2012 db/conf/wodes/wodes2012.html#MohajeraniMF12 Sahar Mohajerani Robi Malik Martin Fabian Nondeterminism avoidance in compositional synthesis of discrete event systems. 19-24 2011 CASE https://doi.org/10.1109/CASE.2011.6042432 conf/case/2011 db/conf/case/case2011.html#MohajeraniMF11

Kristin Andersson Bengt Lennartson Martin Fabian Restarting Manufacturing Systems; Restart States and Restartability. 486-499 2010 7 IEEE Trans Autom. Sci. Eng. 3 https://doi.org/10.1109/TASE.2009.2034136 db/journals/tase/tase7.html#AnderssonLF10

Oscar Ljungkrantz Knut Åkesson Martin Fabian Chengyin Yuan Formal Specification and Verification of Industrial Control Logic Components. 538-548 2010 7 IEEE Trans Autom. Sci. Eng. 3 https://doi.org/10.1109/TASE.2009.2031095 db/journals/tase/tase7.html#LjungkrantzAFY10

Bengt Lennartson Kristofer Bengtsson Chengyin Yuan Kristin Andersson Martin Fabian Petter Falkman Knut Åkesson Sequence Planning for Integrated Product, Process and Automation Design. 791-802 2010 7 IEEE Trans Autom. Sci. Eng. 4 https://doi.org/10.1109/TASE.2010.2051664 db/journals/tase/tase7.html#LennartsonBYAFFA10

Kristin Andersson Johan Richardsson Bengt Lennartson Martin Fabian Coordination of Operations by Relation Extraction for Manufacturing Cell Controllers. 414-429 2010 18 IEEE Trans. Control. Syst. Technol. 2 https://doi.org/10.1109/TCST.2009.2015591 db/journals/tcst/tcst18.html#AnderssonRLF10

Sajed Miremadi Knut Åkesson Bengt Lennartson Martin Fabian Supervisor computation and representation: A case study. 275-280 2010 WODES https://doi.org/10.3182/20100830-3-DE-4013.00046 conf/wodes/2010 db/conf/wodes/wodes2010.html#MiremadiALF10 Patrik Magnusson Martin Fabian Knut Åkesson Modular specification of forbidden states for supervisory control. 412-417 2010 WODES https://doi.org/10.3182/20100830-3-DE-4013.00068 conf/wodes/2010 db/conf/wodes/wodes2010.html#MagnussonFA10

Avenir Kobetski Martin Fabian Time-Optimal Coordination of Flexible Manufacturing Systems Using Deterministic Finite Automata and Mixed Integer Linear Programming. 287-315 2009 19 Discret. Event Dyn. Syst. 3 https://doi.org/10.1007/s10626-009-0064-9 db/journals/deds/deds19.html#KobetskiF09

Bengt Lennartson Martin Fabian Alessandro Giua Ratnesh Kumar 0001 Special Issue on WODES'08. 449-450 2009 19 Discret. Event Dyn. Syst. 4 https://doi.org/10.1007/s10626-009-0085-4 db/journals/deds/deds19.html#LennartsonFGK09

Kristin Andersson Bengt Lennartson Petter Falkman Martin Fabian Generation of restart states for manufacturing systems with discarded workpieces. 191-196 2009 CASE https://doi.org/10.1109/COASE.2009.5234175 conf/case/2009 db/conf/case/case2009.html#AnderssonLFF09 Oscar Ljungkrantz Knut Åkesson Martin Fabian Formal specification and verification of components for industrial logic control programming. 935-940 2008 CASE https://doi.org/10.1109/COASE.2008.4626518 conf/case/2008 db/conf/case/case2008.html#LjungkrantzAF08

Hugo Flordal Robi Malik Martin Fabian Knut Åkesson Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence. 475-504 2007 17 Discret. Event Dyn. Syst. 4 https://doi.org/10.1007/s10626-007-0018-z db/journals/deds/deds17.html#FlordalMFA07

Avenir Kobetski Johan Richardsson Knut Åkesson Martin Fabian Minimization of Expected Cycle Time in Manufacturing Cells with Uncontrollable Behavior. 14-19 2007 CASE https://doi.org/10.1109/COASE.2007.4341802 conf/case/2007 db/conf/case/case2007.html#KobetskiRAF07 Markus Sköldstam Knut Åkesson Martin Fabian Modeling of discrete event systems using finite automata with variables. 3387-3392 2007 CDC https://doi.org/10.1109/CDC.2007.4434894 conf/cdc/2007 db/conf/cdc/cdc2007.html#SkoldstamAF07 Kristin Andersson Johan Richardsson Bengt Lennartson Martin Fabian Sinthesis of hierarchical and distributed control functions for multi-product manufacturing cells. 325-330 2006 CASE https://doi.org/10.1109/COASE.2006.326902 conf/case/2006 db/conf/case/case2006.html#AndersonRLF06 Avenir Kobetski Domenico Spensieri Martin Fabian Scheduling algorithms for optimal robot cell coordination - a comparison. 381-386 2006 CASE https://doi.org/10.1109/COASE.2006.326912 conf/case/2006 db/conf/case/case2006.html#KobetskiSF06

Ratnesh Kumar 0001 Shigemasa Takai Martin Fabian Toshimitsu Ushio Maximally permissive mutually and globally nonblocking supervision with application to switching control. 1299-1312 2005 41 Autom. 8 https://doi.org/10.1016/j.automatica.2005.03.011 db/journals/automatica/automatica41.html#KumarTFU05

Bengt Lennartson Martin Fabian Petter Falkman Control architecture for flexible production systems. 307-312 2005 CASE https://doi.org/10.1109/COASE.2005.1506787 conf/case/2005 db/conf/case/case2005.html#LennartsonFF05 Arash Vahidi Bengt Lennartson Martin Fabian Efficient Analysis of Large Discrete-Event Systems with Binary Decision Diagrams. 2751-2756 2005 CDC/ECC https://doi.org/10.1109/CDC.2005.1582579 conf/cdc/2005 db/conf/cdc/cdc2005.html#VahidiLF05 Hugo Flordal Domenico Spensieri Knut Åkesson Martin Fabian Supervision of multiple industrial robots: optimal and collision free work cycles. 1404-1409 2004 CCA https://doi.org/10.1109/CCA.2004.1387571 conf/IEEEcca/2004 db/conf/IEEEcca/IEEEcca2004.html#FlordalSAF04 streams/conf/IEEEcca Johan Richardsson Kristin Danielsson Martin Fabian Design of Control Programs for Efficient Handling of Errors in Flexible Manufacturing Cells. 2273-2278 2004 conf/icra/2004 ICRA https://doi.org/10.1109/ROBOT.2004.1307400 db/conf/icra/icra2004-3.html#RichardssonDF04 Johan Richardsson Martin Fabian Automatic generation of PLC programs for control of flexible manufacturing cells. 337-344 2003 ETFA (2) https://doi.org/10.1109/ETFA.2003.1248719 conf/etfa/2003-2 db/conf/etfa/etfa2003-2.html#RichardssonF03 Johan Richardsson Martin Fabian Reuse of information as a base for development and verification of control programs for flexible manufacturing cells. 2078-2083 2003 IROS https://doi.org/10.1109/IROS.2003.1248980 conf/iros/2003 db/conf/iros/iros2003.html#RichardssonF03 Arash Vahidi Bengt Lennartson Dennis Arkeryd Martin Fabian Efficient application of symbolic tools for resource booking problems. 4937-4942 2001 ACC https://doi.org/10.1109/ACC.2001.945767 conf/amcc/2001 db/conf/amcc/acc2001.html#VahidiLAF01

Martin Fabian Ratnesh Kumar 0001 Mutually nonblocking supervisory control of discrete event systems. 1863-1869 2000 36 Autom. 12 https://doi.org/10.1016/S0005-1098(00)00102-3 db/journals/automatica/automatica36.html#FabianK00

Knut Åkesson Martin Fabian Arash Vahidi Coordination of batches in flexible production. 2735-2739 2000 ACC https://doi.org/10.1109/ACC.2000.878706 conf/amcc/2000 db/conf/amcc/acc2000.html#AkessonFV00 Bengt Lennartson Michael Tittus Martin Fabian Modeling, specification and controller synthesis for discrete event systems. 698-703 1998 SMC https://doi.org/10.1109/ICSMC.1998.725495 conf/smc/1998 db/conf/smc/smc1998.html#LennartsonTF98

Martin Fabian Bengt Lennartson A Class of Non-Deterministic Specifications for Supervisory Control. 81-90 1997 3 Eur. J. Control 1 https://doi.org/10.1016/S0947-3580(97)70063-3 db/journals/ejcon/ejcon3.html#FabianL97

P. Gullander Martin Fabian Sven-Arne Andréasson Bengt Lennartson Anders Adlemo Generic Resource Models and a Message-Passing Structure in an FMS Controller. 1447-1454 1995 conf/icra/1995 ICRA db/conf/icra/icra1995-1.html#GullanderFALA95 https://doi.org/10.1109/ROBOT.1995.526029 Anders Adlemo Wolfgang Ahrendt Knut Åkesson Kristin Andersson Sven-Arne Andréasson Dennis Arkeryd Francesco Basile Kristofer Bengtsson Patrik Bergagard Lina Brink Ramon Tijsse Claase Koen Claessen Alvin Combrink Constantin Cronrath Martin Dahl Kristin Danielsson Stephie Do Alexandre Donzé Amir Hossein Ebrahimi Johan Lidén Eddeland Endre Erós Jonathan Falk Petter Falkman Maria Pia Fanti Ashfaq Farooqui Åsa Fasth Zhennan Fei Lei Feng 0002 Hugo Flordal Wan J. Fokkink Alessandro Giua Martijn A. Goorden Per-Lage Götvall Alexander Greger P. Gullander Fredrik Hagebring Atieh Hanna Mona Noori Hosseini Tom Philip Huck Moa Johannesson David Johnson Adnan Khan Avenir Kobetski Stefan Kowalewski Torsten Kröger Jonas Krook Ratnesh Kumar 0001 Christoph Ledermann Bengt Lennartson Yuchao Li Oscar Ljungkrantz Patrik Magnusson Robi Malik Johan Malmqvist Sajed Miremadi Sahar Mohajerani Petr Moldan Joanna M. van de Mortel-Fronczak Ghazaleh Panahandeh Nishant Parekh Anton Pettersson Francesco Popolizio Julien Provost Zahra Ramezani Aida Rashidinejad Michel A. Reniers Sarmad Riazi Johan Richardsson Jacobus E. Rooda Sabino Francesco Roselli Yuvaraj Selvaraj Markus Sköldstam Nicholas SmallboneNick Smallbone Domenico Spensieri Johan Stahre Lars J. Svensson Shigemasa Takai David Thönnessen Anna Tidstam Michael Tittus Toshimitsu Ushio Arash Vahidi Martina Vinetti Alexey Voronov Simon Ware Oskar Wigström Chengyin Yuan Anton Zita