BibTeX records: Martin Fabian

download as .bib file

@article{DBLP:journals/automatica/KrookMMF24,
  author       = {Jonas Krook and
                  Robi Malik and
                  Sahar Mohajerani and
                  Martin Fabian},
  title        = {Robust stutter bisimulation for abstraction and controller synthesis
                  with disturbance},
  journal      = {Autom.},
  volume       = {160},
  pages        = {111394},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.automatica.2023.111394},
  doi          = {10.1016/J.AUTOMATICA.2023.111394},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/automatica/KrookMMF24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/RoselliFA24,
  author       = {Sabino Francesco Roselli and
                  Martin Fabian and
                  Knut {\AA}kesson},
  title        = {Conflict-free electric vehicle routing problem: an improved compositional
                  algorithm},
  journal      = {Discret. Event Dyn. Syst.},
  volume       = {34},
  number       = {1},
  pages        = {21--51},
  year         = {2024},
  url          = {https://doi.org/10.1007/s10626-023-00388-6},
  doi          = {10.1007/S10626-023-00388-6},
  timestamp    = {Fri, 08 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/deds/RoselliFA24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/SelvarajKAF24,
  author       = {Yuvaraj Selvaraj and
                  Jonas Krook and
                  Wolfgang Ahrendt and
                  Martin Fabian},
  title        = {On proving that an unsafe controller is not proven safe},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {137},
  pages        = {100939},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.jlamp.2023.100939},
  doi          = {10.1016/J.JLAMP.2023.100939},
  timestamp    = {Fri, 08 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlap/SelvarajKAF24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/RashidinejadRF24,
  author       = {Aida Rashidinejad and
                  Michel A. Reniers and
                  Martin Fabian},
  title        = {Supervisory Control Synthesis of Timed Automata Using Forcible Events},
  journal      = {{IEEE} Trans. Autom. Control.},
  volume       = {69},
  number       = {2},
  pages        = {1074--1080},
  year         = {2024},
  url          = {https://doi.org/10.1109/TAC.2023.3275440},
  doi          = {10.1109/TAC.2023.3275440},
  timestamp    = {Thu, 29 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tac/RashidinejadRF24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/FarooquiCF24,
  author       = {Ashfaq Farooqui and
                  Ramon Tijsse Claase and
                  Martin Fabian},
  title        = {On Active Learning for Supervisor Synthesis},
  journal      = {{IEEE} Trans Autom. Sci. Eng.},
  volume       = {21},
  number       = {1},
  pages        = {78--90},
  year         = {2024},
  url          = {https://doi.org/10.1109/TASE.2022.3216759},
  doi          = {10.1109/TASE.2022.3216759},
  timestamp    = {Fri, 26 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tase/FarooquiCF24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/MalikMF23,
  author       = {Robi Malik and
                  Sahar Mohajerani and
                  Martin Fabian},
  title        = {A survey on compositional algorithms for verification and synthesis
                  in supervisory control},
  journal      = {Discret. Event Dyn. Syst.},
  volume       = {33},
  number       = {3},
  pages        = {279--340},
  year         = {2023},
  url          = {https://doi.org/10.1007/s10626-023-00378-8},
  doi          = {10.1007/S10626-023-00378-8},
  timestamp    = {Wed, 01 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/deds/MalikMF23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tiv/SelvarajAF23,
  author       = {Yuvaraj Selvaraj and
                  Wolfgang Ahrendt and
                  Martin Fabian},
  title        = {Formal Development of Safe Automated Driving Using Differential Dynamic
                  Logic},
  journal      = {{IEEE} Trans. Intell. Veh.},
  volume       = {8},
  number       = {1},
  pages        = {988--1000},
  year         = {2023},
  url          = {https://doi.org/10.1109/TIV.2022.3204574},
  doi          = {10.1109/TIV.2022.3204574},
  timestamp    = {Fri, 10 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tiv/SelvarajAF23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/HuckSCLFLK23,
  author       = {Tom Philip Huck and
                  Yuvaraj Selvaraj and
                  Constantin Cronrath and
                  Christoph Ledermann and
                  Martin Fabian and
                  Bengt Lennartson and
                  Torsten Kr{\"{o}}ger},
  title        = {Hazard Analysis of Collaborative Automation Systems: {A} Two-layer
                  Approach based on Supervisory Control and Simulation},
  booktitle    = {{IEEE} International Conference on Robotics and Automation, {ICRA}
                  2023, London, UK, May 29 - June 2, 2023},
  pages        = {10560--10566},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ICRA48891.2023.10161338},
  doi          = {10.1109/ICRA48891.2023.10161338},
  timestamp    = {Mon, 27 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icra/HuckSCLFLK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/RoselliGFA22,
  author       = {Sabino Francesco Roselli and
                  Per{-}Lage G{\"{o}}tvall and
                  Martin Fabian and
                  Knut {\AA}kesson},
  title        = {A Compositional Algorithm for the Conflict-Free Electric Vehicle Routing
                  Problem},
  journal      = {{IEEE} Trans Autom. Sci. Eng.},
  volume       = {19},
  number       = {3},
  pages        = {1405--1421},
  year         = {2022},
  url          = {https://doi.org/10.1109/TASE.2022.3169949},
  doi          = {10.1109/TASE.2022.3169949},
  timestamp    = {Mon, 25 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tase/RoselliGFA22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/HagebringFFL22,
  author       = {Fredrik Hagebring and
                  Ashfaq Farooqui and
                  Martin Fabian and
                  Bengt Lennartson},
  title        = {On Optimization of Automation Systems: Integrating Modular Learning
                  and Optimization},
  journal      = {{IEEE} Trans Autom. Sci. Eng.},
  volume       = {19},
  number       = {3},
  pages        = {1662--1674},
  year         = {2022},
  url          = {https://doi.org/10.1109/TASE.2022.3144230},
  doi          = {10.1109/TASE.2022.3144230},
  timestamp    = {Mon, 25 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tase/HagebringFFL22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/RamezaniCSFA22,
  author       = {Zahra Ramezani and
                  Koen Claessen and
                  Nicholas Smallbone and
                  Martin Fabian and
                  Knut {\AA}kesson},
  title        = {Testing Cyber-Physical Systems Using a Line-Search Falsification Method},
  journal      = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
  volume       = {41},
  number       = {8},
  pages        = {2393--2406},
  year         = {2022},
  url          = {https://doi.org/10.1109/TCAD.2021.3110740},
  doi          = {10.1109/TCAD.2021.3110740},
  timestamp    = {Mon, 08 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcad/RamezaniCSFA22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/SelvarajKAF22,
  author       = {Yuvaraj Selvaraj and
                  Jonas Krook and
                  Wolfgang Ahrendt and
                  Martin Fabian},
  editor       = {Adri{\'{a}}n Riesco and
                  Min Zhang},
  title        = {On How to Not Prove Faulty Controllers Safe in Differential Dynamic
                  Logic},
  booktitle    = {Formal Methods and Software Engineering - 23rd International Conference
                  on Formal Engineering Methods, {ICFEM} 2022, Madrid, Spain, October
                  24-27, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13478},
  pages        = {281--297},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-17244-1\_17},
  doi          = {10.1007/978-3-031-17244-1\_17},
  timestamp    = {Tue, 18 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/SelvarajKAF22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/med/RiaziFGPF22,
  author       = {Sarmad Riazi and
                  Jonathan Falk and
                  Alexander Greger and
                  Anton Pettersson and
                  Martin Fabian},
  title        = {Formal verification of deadlock avoidance rules for {AGV} systems},
  booktitle    = {30th Mediterranean Conference on Control and Automation, {MED} 2022,
                  Vouliagmeni, Greece, June 28 - July 1, 2022},
  pages        = {982--987},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/MED54222.2022.9837154},
  doi          = {10.1109/MED54222.2022.9837154},
  timestamp    = {Mon, 08 Aug 2022 16:44:11 +0200},
  biburl       = {https://dblp.org/rec/conf/med/RiaziFGPF22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-06977,
  author       = {Sabino Francesco Roselli and
                  Per{-}Lage G{\"{o}}tvall and
                  Martin Fabian and
                  Knut {\AA}kesson},
  title        = {A Compositional Algorithm for the Conflict-Free Electric Vehicle Routing
                  Problem},
  journal      = {CoRR},
  volume       = {abs/2203.06977},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2203.06977},
  doi          = {10.48550/ARXIV.2203.06977},
  eprinttype    = {arXiv},
  eprint       = {2203.06977},
  timestamp    = {Wed, 16 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2203-06977.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-06873,
  author       = {Yuvaraj Selvaraj and
                  Wolfgang Ahrendt and
                  Martin Fabian},
  title        = {Formal Development of Safe Automated Driving using Differential Dynamic
                  Logic},
  journal      = {CoRR},
  volume       = {abs/2204.06873},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2204.06873},
  doi          = {10.48550/ARXIV.2204.06873},
  eprinttype    = {arXiv},
  eprint       = {2204.06873},
  timestamp    = {Tue, 19 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2204-06873.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-13959,
  author       = {Jonas Krook and
                  Robi Malik and
                  Sahar Mohajerani and
                  Martin Fabian},
  title        = {Robust Stutter Bisimulation for Abstraction and Controller Synthesis
                  with Disturbance: Proofs},
  journal      = {CoRR},
  volume       = {abs/2205.13959},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2205.13959},
  doi          = {10.48550/ARXIV.2205.13959},
  eprinttype    = {arXiv},
  eprint       = {2205.13959},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2205-13959.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-05854,
  author       = {Yuvaraj Selvaraj and
                  Jonas Krook and
                  Wolfgang Ahrendt and
                  Martin Fabian},
  title        = {On How to Not Prove Faulty Controllers Safe in Differential Dynamic
                  Logic},
  journal      = {CoRR},
  volume       = {abs/2207.05854},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2207.05854},
  doi          = {10.48550/ARXIV.2207.05854},
  eprinttype    = {arXiv},
  eprint       = {2207.05854},
  timestamp    = {Tue, 19 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2207-05854.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-12560,
  author       = {Tom Philip Huck and
                  Yuvaraj Selvaraj and
                  Constantin Cronrath and
                  Christoph Ledermann and
                  Martin Fabian and
                  Bengt Lennartson and
                  Torsten Kr{\"{o}}ger},
  title        = {Hazard Analysis of Collaborative Automation Systems: {A} Two-layer
                  Approach based on Supervisory Control and Simulation},
  journal      = {CoRR},
  volume       = {abs/2209.12560},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2209.12560},
  doi          = {10.48550/ARXIV.2209.12560},
  eprinttype    = {arXiv},
  eprint       = {2209.12560},
  timestamp    = {Mon, 27 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2209-12560.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-07798,
  author       = {Jonas Krook and
                  Yuvaraj Selvaraj and
                  Wolfgang Ahrendt and
                  Martin Fabian},
  title        = {A Formal-Methods Approach to Provide Evidence in Automated-Driving
                  Safety Cases},
  journal      = {CoRR},
  volume       = {abs/2210.07798},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2210.07798},
  doi          = {10.48550/ARXIV.2210.07798},
  eprinttype    = {arXiv},
  eprint       = {2210.07798},
  timestamp    = {Tue, 18 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2210-07798.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/GoordenFMRFR21,
  author       = {Martijn A. Goorden and
                  Martin Fabian and
                  Joanna M. van de Mortel{-}Fronczak and
                  Michel A. Reniers and
                  Wan J. Fokkink and
                  Jacobus E. Rooda},
  title        = {Compositional coordinator synthesis of extended finite automata},
  journal      = {Discret. Event Dyn. Syst.},
  volume       = {31},
  number       = {3},
  pages        = {317--348},
  year         = {2021},
  url          = {https://doi.org/10.1007/s10626-020-00334-w},
  doi          = {10.1007/S10626-020-00334-W},
  timestamp    = {Thu, 16 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/deds/GoordenFMRFR21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/RoselliHRFA21,
  author       = {Sabino Francesco Roselli and
                  Fredrik Hagebring and
                  Sarmad Riazi and
                  Martin Fabian and
                  Knut {\AA}kesson},
  title        = {On the Use of Equivalence Classes for Optimal and Suboptimal Bin Packing
                  and Bin Covering},
  journal      = {{IEEE} Trans Autom. Sci. Eng.},
  volume       = {18},
  number       = {1},
  pages        = {369--381},
  year         = {2021},
  url          = {https://doi.org/10.1109/TASE.2020.3022986},
  doi          = {10.1109/TASE.2020.3022986},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tase/RoselliHRFA21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arch/RamezaniDFA21,
  author       = {Zahra Ramezani and
                  Alexandre Donz{\'{e}} and
                  Martin Fabian and
                  Knut {\AA}kesson},
  editor       = {Goran Frehse and
                  Matthias Althoff},
  title        = {Temporal Logic Falsification of Cyber-Physical Systems using Input
                  Pulse Generators},
  booktitle    = {8th International Workshop on Applied Verification of Continuous and
                  Hybrid Systems (ARCH21), Brussels, Belgium, July 9, 2021},
  series       = {EPiC Series in Computing},
  volume       = {80},
  pages        = {195--202},
  publisher    = {EasyChair},
  year         = {2021},
  url          = {https://doi.org/10.29007/q4k7},
  doi          = {10.29007/Q4K7},
  timestamp    = {Mon, 03 Jan 2022 17:42:19 +0100},
  biburl       = {https://dblp.org/rec/conf/arch/RamezaniDFA21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/FarooquiHF21,
  author       = {Ashfaq Farooqui and
                  Fredrik Hagebring and
                  Martin Fabian},
  title        = {{MIDES:} {A} Tool for Supervisor Synthesis via Active Learning},
  booktitle    = {17th {IEEE} International Conference on Automation Science and Engineering,
                  {CASE} 2021, Lyon, France, August 23-27, 2021},
  pages        = {792--797},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/CASE49439.2021.9551435},
  doi          = {10.1109/CASE49439.2021.9551435},
  timestamp    = {Fri, 08 Oct 2021 19:47:37 +0200},
  biburl       = {https://dblp.org/rec/conf/case/FarooquiHF21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/RoselliFA21,
  author       = {Sabino Francesco Roselli and
                  Martin Fabian and
                  Knut {\AA}kesson},
  title        = {An {SMT} Based Compositional Algorithm to Solve a Conflict-Free Electric
                  Vehicle Routing Problem},
  booktitle    = {17th {IEEE} International Conference on Automation Science and Engineering,
                  {CASE} 2021, Lyon, France, August 23-27, 2021},
  pages        = {1364--1369},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/CASE49439.2021.9551521},
  doi          = {10.1109/CASE49439.2021.9551521},
  timestamp    = {Fri, 08 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/case/RoselliFA21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/med/RoselliFA21,
  author       = {Sabino Francesco Roselli and
                  Martin Fabian and
                  Knut {\AA}kesson},
  title        = {Solving the Conflict-Free Electric Vehicle Routing Problem Using {SMT}
                  Solvers},
  booktitle    = {29th Mediterranean Conference on Control and Automation, {MED} 2021,
                  Bari, Italy, June 22-25, 2021},
  pages        = {542--547},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/MED51440.2021.9480202},
  doi          = {10.1109/MED51440.2021.9480202},
  timestamp    = {Wed, 21 Jul 2021 15:31:25 +0200},
  biburl       = {https://dblp.org/rec/conf/med/RoselliFA21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-09255,
  author       = {Aida Rashidinejad and
                  Michel A. Reniers and
                  Martin Fabian},
  title        = {Networked Supervisory Control Synthesis of Timed Discrete-Event Systems},
  journal      = {CoRR},
  volume       = {abs/2102.09255},
  year         = {2021},
  url          = {https://arxiv.org/abs/2102.09255},
  eprinttype    = {arXiv},
  eprint       = {2102.09255},
  timestamp    = {Wed, 24 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2102-09255.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-09338,
  author       = {Aida Rashidinejad and
                  Michel A. Reniers and
                  Martin Fabian},
  title        = {Supervisory Control Synthesis of Timed Automata Using Forcible Events},
  journal      = {CoRR},
  volume       = {abs/2102.09338},
  year         = {2021},
  url          = {https://arxiv.org/abs/2102.09338},
  eprinttype    = {arXiv},
  eprint       = {2102.09338},
  timestamp    = {Wed, 24 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2102-09338.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-08217,
  author       = {Sabino Francesco Roselli and
                  Martin Fabian and
                  Knut {\AA}kesson},
  title        = {Solving the Conflict-Free Electric Vehicle Routing Problem Using {SMT}
                  Solvers},
  journal      = {CoRR},
  volume       = {abs/2103.08217},
  year         = {2021},
  url          = {https://arxiv.org/abs/2103.08217},
  eprinttype    = {arXiv},
  eprint       = {2103.08217},
  timestamp    = {Tue, 23 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2103-08217.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-07387,
  author       = {Sabino Francesco Roselli and
                  Martin Fabian and
                  Knut {\AA}kesson},
  title        = {An {SMT} Based Compositional Algorithm to Solve a Conflict-Free Electric
                  Vehicle Routing Problem},
  journal      = {CoRR},
  volume       = {abs/2106.07387},
  year         = {2021},
  url          = {https://arxiv.org/abs/2106.07387},
  eprinttype    = {arXiv},
  eprint       = {2106.07387},
  timestamp    = {Mon, 05 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2106-07387.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpr/FarooquiBFF20,
  author       = {Ashfaq Farooqui and
                  Kristofer Bengtsson and
                  Petter Falkman and
                  Martin Fabian},
  title        = {Towards data-driven approaches in manufacturing: an architecture to
                  collect sequences of operations},
  journal      = {Int. J. Prod. Res.},
  volume       = {58},
  number       = {16},
  pages        = {4947--4963},
  year         = {2020},
  url          = {https://doi.org/10.1080/00207543.2020.1735660},
  doi          = {10.1080/00207543.2020.1735660},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijpr/FarooquiBFF20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/SelvarajFPF20,
  author       = {Yuvaraj Selvaraj and
                  Ashfaq Farooqui and
                  Ghazaleh Panahandeh and
                  Martin Fabian},
  editor       = {Esther Guerra and
                  Ludovico Iovino},
  title        = {Automatically learning formal models: an industrial case from autonomous
                  driving development},
  booktitle    = {{MODELS} '20: {ACM/IEEE} 23rd International Conference on Model Driven
                  Engineering Languages and Systems, Virtual Event, Canada, 18-23 October,
                  2020, Companion Proceedings},
  pages        = {33:1--33:10},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3417990.3421262},
  doi          = {10.1145/3417990.3421262},
  timestamp    = {Wed, 23 Feb 2022 12:16:51 +0100},
  biburl       = {https://dblp.org/rec/conf/models/SelvarajFPF20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/SelvarajFF20,
  author       = {Yuvaraj Selvaraj and
                  Zhennan Fei and
                  Martin Fabian},
  editor       = {Ant{\'{o}}nio Casimiro and
                  Frank Ortmeier and
                  Erwin Schoitsch and
                  Friedemann Bitsch and
                  Pedro M. Ferreira},
  title        = {Supervisory Control Theory in System Safety Analysis},
  booktitle    = {Computer Safety, Reliability, and Security. {SAFECOMP} 2020 Workshops
                  - DECSoS 2020, DepDevOps 2020, {USDAI} 2020, and {WAISE} 2020, Lisbon,
                  Portugal, September 15, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12235},
  pages        = {9--22},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-55583-2\_1},
  doi          = {10.1007/978-3-030-55583-2\_1},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/safecomp/SelvarajFF20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-05795,
  author       = {Martijn A. Goorden and
                  Joanna M. van de Mortel{-}Fronczak and
                  Michel A. Reniers and
                  Martin Fabian and
                  Wan J. Fokkink and
                  Jacobus E. Rooda},
  title        = {Model Properties for Efficient Synthesis of Nonblocking Modular Supervisors},
  journal      = {CoRR},
  volume       = {abs/2007.05795},
  year         = {2020},
  url          = {https://arxiv.org/abs/2007.05795},
  eprinttype    = {arXiv},
  eprint       = {2007.05795},
  timestamp    = {Mon, 03 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2007-05795.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/ThonnessenSFCK19,
  author       = {David Th{\"{o}}nnessen and
                  Nick Smallbone and
                  Martin Fabian and
                  Koen Claessen and
                  Stefan Kowalewski},
  title        = {Testing Safety PLCs Using QuickCheck},
  booktitle    = {15th {IEEE} International Conference on Automation Science and Engineering,
                  {CASE} 2019, Vancouver, BC, Canada, August 22-26, 2019},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/COASE.2019.8843227},
  doi          = {10.1109/COASE.2019.8843227},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/case/ThonnessenSFCK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/GoordenF19,
  author       = {Martijn A. Goorden and
                  Martin Fabian},
  title        = {No synthesis needed, we are alright already},
  booktitle    = {15th {IEEE} International Conference on Automation Science and Engineering,
                  {CASE} 2019, Vancouver, BC, Canada, August 22-26, 2019},
  pages        = {195--202},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/COASE.2019.8843071},
  doi          = {10.1109/COASE.2019.8843071},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/case/GoordenF19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/RashidinejadRF19,
  author       = {Aida Rashidinejad and
                  Michel A. Reniers and
                  Martin Fabian},
  title        = {Supervisory Control of Discrete-Event Systems in an Asynchronous Setting},
  booktitle    = {15th {IEEE} International Conference on Automation Science and Engineering,
                  {CASE} 2019, Vancouver, BC, Canada, August 22-26, 2019},
  pages        = {494--501},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/COASE.2019.8843274},
  doi          = {10.1109/COASE.2019.8843274},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/case/RashidinejadRF19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/FarooquiF19,
  author       = {Ashfaq Farooqui and
                  Martin Fabian},
  title        = {Synthesis of Supervisors for Unknown Plant Models Using Active Learning},
  booktitle    = {15th {IEEE} International Conference on Automation Science and Engineering,
                  {CASE} 2019, Vancouver, BC, Canada, August 22-26, 2019},
  pages        = {502--508},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/COASE.2019.8843177},
  doi          = {10.1109/COASE.2019.8843177},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/case/FarooquiF19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/RoselliHRFA19,
  author       = {Sabino Francesco Roselli and
                  Fredrik Hagebring and
                  Sarmad Riazi and
                  Martin Fabian and
                  Knut {\AA}kesson},
  title        = {On the Use of Equivalence Classes for Optimal and Sub-Optimal Bin
                  Covering},
  booktitle    = {15th {IEEE} International Conference on Automation Science and Engineering,
                  {CASE} 2019, Vancouver, BC, Canada, August 22-26, 2019},
  pages        = {1004--1009},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/COASE.2019.8843323},
  doi          = {10.1109/COASE.2019.8843323},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/case/RoselliHRFA19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/DahlEHBFF19,
  author       = {Martin Dahl and
                  Endre Er{\'{o}}s and
                  Atieh Hanna and
                  Kristofer Bengtsson and
                  Martin Fabian and
                  Petter Falkman},
  title        = {Control components for Collaborative and Intelligent Automation Systems},
  booktitle    = {24th {IEEE} International Conference on Emerging Technologies and
                  Factory Automation, {ETFA} 2019, Zaragoza, Spain, September 10-13,
                  2019},
  pages        = {378--384},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ETFA.2019.8869112},
  doi          = {10.1109/ETFA.2019.8869112},
  timestamp    = {Thu, 05 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/etfa/DahlEHBFF19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/KhanF19,
  author       = {Adnan Khan and
                  Martin Fabian},
  title        = {On the Safe {IOCOS} relation for Testing Safety {PLC} Code},
  booktitle    = {24th {IEEE} International Conference on Emerging Technologies and
                  Factory Automation, {ETFA} 2019, Zaragoza, Spain, September 10-13,
                  2019},
  pages        = {1449--1452},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ETFA.2019.8869487},
  doi          = {10.1109/ETFA.2019.8869487},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/etfa/KhanF19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eucc/RamezaniKFFA19,
  author       = {Zahra Ramezani and
                  Jonas Krook and
                  Zhennan Fei and
                  Martin Fabian and
                  Knut {\AA}kesson},
  title        = {Comparative Case Studies of Reactive Synthesis and Supervisory Control},
  booktitle    = {17th European Control Conference, {ECC} 2019, Naples, Italy, June
                  25-28, 2019},
  pages        = {1752--1759},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.23919/ECC.2019.8795696},
  doi          = {10.23919/ECC.2019.8795696},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/eucc/RamezaniKFFA19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/SelvarajAF19,
  author       = {Yuvaraj Selvaraj and
                  Wolfgang Ahrendt and
                  Martin Fabian},
  editor       = {Kim Guldstrand Larsen and
                  Tim A. C. Willemse},
  title        = {Verification of Decision Making Software in an Autonomous Vehicle:
                  An Industrial Case Study},
  booktitle    = {Formal Methods for Industrial Critical Systems - 24th International
                  Conference, {FMICS} 2019, Amsterdam, The Netherlands, August 30-31,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11687},
  pages        = {143--159},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-27008-7\_9},
  doi          = {10.1007/978-3-030-27008-7\_9},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmics/SelvarajAF19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/KrookSLFF19,
  author       = {Jonas Krook and
                  Lars J. Svensson and
                  Yuchao Li and
                  Lei Feng and
                  Martin Fabian},
  title        = {Design and Formal Verification of a Safe Stop Supervisor for an Automated
                  Vehicle\({}^{\mbox{*}}\)},
  booktitle    = {International Conference on Robotics and Automation, {ICRA} 2019,
                  Montreal, QC, Canada, May 20-24, 2019},
  pages        = {5607--5613},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICRA.2019.8793636},
  doi          = {10.1109/ICRA.2019.8793636},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icra/KrookSLFF19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indin/RamezaniSFA19,
  author       = {Zahra Ramezani and
                  Nicholas Smallbone and
                  Martin Fabian and
                  Knut {\AA}kesson},
  title        = {Evaluating Two Semantics for Falsification using an Autonomous Driving
                  Example},
  booktitle    = {17th {IEEE} International Conference on Industrial Informatics, {INDIN}
                  2019, Helsinki, Finland, July 22-25, 2019},
  pages        = {386--391},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/INDIN41052.2019.8972229},
  doi          = {10.1109/INDIN41052.2019.8972229},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/indin/RamezaniSFA19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indin/KhanTF19,
  author       = {Adnan Khan and
                  David Th{\"{o}}nnessen and
                  Martin Fabian},
  title        = {On-the-fly conformance testing of safety {PLC} code using QuickCheck},
  booktitle    = {17th {IEEE} International Conference on Industrial Informatics, {INDIN}
                  2019, Helsinki, Finland, July 22-25, 2019},
  pages        = {419--424},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/INDIN41052.2019.8972277},
  doi          = {10.1109/INDIN41052.2019.8972277},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/indin/KhanTF19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/KhanDFF18,
  author       = {Adnan Khan and
                  Martin Dahl and
                  Petter Falkman and
                  Martin Fabian},
  title        = {Digital Twin for Legacy Systems: Simulation Model Testing and Validation},
  booktitle    = {14th {IEEE} International Conference on Automation Science and Engineering,
                  {CASE} 2018, Munich, Germany, August 20-24, 2018},
  pages        = {421--426},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/COASE.2018.8560338},
  doi          = {10.1109/COASE.2018.8560338},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/case/KhanDFF18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/FarooquiFF18,
  author       = {Ashfaq Farooqui and
                  Petter Falkman and
                  Martin Fabian},
  title        = {Towards Automatic Learning of Discrete-Event Models from Simulations},
  booktitle    = {14th {IEEE} International Conference on Automation Science and Engineering,
                  {CASE} 2018, Munich, Germany, August 20-24, 2018},
  pages        = {857--862},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/COASE.2018.8560451},
  doi          = {10.1109/COASE.2018.8560451},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/case/FarooquiFF18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/MohajeraniMF17,
  author       = {Sahar Mohajerani and
                  Robi Malik and
                  Martin Fabian},
  title        = {Compositional synthesis of supervisors in the form of state machines
                  and state maps},
  journal      = {Autom.},
  volume       = {76},
  pages        = {277--281},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.automatica.2016.10.012},
  doi          = {10.1016/J.AUTOMATICA.2016.10.012},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/automatica/MohajeraniMF17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/FabianLA17,
  author       = {Martin Fabian and
                  Bengt Lennartson and
                  Knut {\AA}kesson},
  title        = {Guest Editorial Special Section on the 2015 International Conference
                  on Automation Science and Engineering},
  journal      = {{IEEE} Trans Autom. Sci. Eng.},
  volume       = {14},
  number       = {2},
  pages        = {692--693},
  year         = {2017},
  url          = {https://doi.org/10.1109/TASE.2017.2672118},
  doi          = {10.1109/TASE.2017.2672118},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tase/FabianLA17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/KhanFF17,
  author       = {Adnan Khan and
                  Petter Falkman and
                  Martin Fabian},
  title        = {Virtual engineering framework for automatic generation of control
                  logic including safety},
  booktitle    = {13th {IEEE} Conference on Automation Science and Engineering, {CASE}
                  2017, Xi'an, China, August 20-23, 2017},
  pages        = {648--653},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/COASE.2017.8256176},
  doi          = {10.1109/COASE.2017.8256176},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/case/KhanFF17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/ZitaMF17,
  author       = {Anton Zita and
                  Sahar Mohajerani and
                  Martin Fabian},
  title        = {Application of formal verification to the lane change module of an
                  autonomous vehicle},
  booktitle    = {13th {IEEE} Conference on Automation Science and Engineering, {CASE}
                  2017, Xi'an, China, August 20-23, 2017},
  pages        = {932--937},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/COASE.2017.8256223},
  doi          = {10.1109/COASE.2017.8256223},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/case/ZitaMF17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/EddelandMFA17,
  author       = {Johan Lid{\'{e}}n Eddeland and
                  Sajed Miremadi and
                  Martin Fabian and
                  Knut {\AA}kesson},
  title        = {Objective functions for falsification of signal temporal logic properties
                  in cyber-physical systems},
  booktitle    = {13th {IEEE} Conference on Automation Science and Engineering, {CASE}
                  2017, Xi'an, China, August 20-23, 2017},
  pages        = {1326--1331},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/COASE.2017.8256285},
  doi          = {10.1109/COASE.2017.8256285},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/case/EddelandMFA17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aiedam/TidstamMVAF16,
  author       = {Anna Tidstam and
                  Johan Malmqvist and
                  Alexey Voronov and
                  Knut {\AA}kesson and
                  Martin Fabian},
  title        = {Formulating constraint satisfaction problems for the inspection of
                  configuration rules},
  journal      = {Artif. Intell. Eng. Des. Anal. Manuf.},
  volume       = {30},
  number       = {3},
  pages        = {313--328},
  year         = {2016},
  url          = {https://doi.org/10.1017/S0890060415000487},
  doi          = {10.1017/S0890060415000487},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aiedam/TidstamMVAF16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/MohajeraniMF16,
  author       = {Sahar Mohajerani and
                  Robi Malik and
                  Martin Fabian},
  title        = {A framework for compositional nonblocking verification of extended
                  finite-state machines},
  journal      = {Discret. Event Dyn. Syst.},
  volume       = {26},
  number       = {1},
  pages        = {33--84},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10626-015-0217-y},
  doi          = {10.1007/S10626-015-0217-Y},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/deds/MohajeraniMF16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/FarooquiBFF16,
  author       = {Ashfaq Farooqui and
                  Patrik Bergagard and
                  Petter Falkman and
                  Martin Fabian},
  title        = {Error handling within highly automated automotive industry: Current
                  practice and research needs},
  booktitle    = {21st {IEEE} International Conference on Emerging Technologies and
                  Factory Automation, {ETFA} 2016, Berlin, Germany, September 6-9, 2016},
  pages        = {1--4},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/ETFA.2016.7733628},
  doi          = {10.1109/ETFA.2016.7733628},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/etfa/FarooquiBFF16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/BergagardF15,
  author       = {Patrik Bergagard and
                  Martin Fabian},
  title        = {On restart of automated manufacturing systems using restart states},
  booktitle    = {{IEEE} International Conference on Automation Science and Engineering,
                  {CASE} 2015, Gothenburg, Sweden, August 24-28, 2015},
  pages        = {166--167},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/CoASE.2015.7294056},
  doi          = {10.1109/COASE.2015.7294056},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/case/BergagardF15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ese/LjungkrantzAFE14,
  author       = {Oscar Ljungkrantz and
                  Knut {\AA}kesson and
                  Martin Fabian and
                  Amir Hossein Ebrahimi},
  title        = {An empirical study of control logic specifications for programmable
                  logic controllers},
  journal      = {Empir. Softw. Eng.},
  volume       = {19},
  number       = {3},
  pages        = {655--677},
  year         = {2014},
  url          = {https://doi.org/10.1007/s10664-012-9232-x},
  doi          = {10.1007/S10664-012-9232-X},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ese/LjungkrantzAFE14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/MohajeraniMF14,
  author       = {Sahar Mohajerani and
                  Robi Malik and
                  Martin Fabian},
  title        = {A Framework for Compositional Synthesis of Modular Nonblocking Supervisors},
  journal      = {{IEEE} Trans. Autom. Control.},
  volume       = {59},
  number       = {1},
  pages        = {150--162},
  year         = {2014},
  url          = {https://doi.org/10.1109/TAC.2013.2283109},
  doi          = {10.1109/TAC.2013.2283109},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tac/MohajeraniMF14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/LennartsonBMFHFA14,
  author       = {Bengt Lennartson and
                  Francesco Basile and
                  Sajed Miremadi and
                  Zhennan Fei and
                  Mona Noori Hosseini and
                  Martin Fabian and
                  Knut {\AA}kesson},
  title        = {Supervisory Control for State-Vector Transition Models - {A} Unified
                  Approach},
  journal      = {{IEEE} Trans Autom. Sci. Eng.},
  volume       = {11},
  number       = {1},
  pages        = {33--47},
  year         = {2014},
  url          = {https://doi.org/10.1109/TASE.2013.2291115},
  doi          = {10.1109/TASE.2013.2291115},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tase/LennartsonBMFHFA14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/BergagardF14,
  author       = {Patrik Bergagard and
                  Martin Fabian},
  title        = {Calculating restart states using reset transitions},
  booktitle    = {2014 {IEEE} International Conference on Robotics and Automation, {ICRA}
                  2014, Hong Kong, China, May 31 - June 7, 2014},
  pages        = {3345--3350},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICRA.2014.6907340},
  doi          = {10.1109/ICRA.2014.6907340},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icra/BergagardF14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/LennartsonWFB14,
  author       = {Bengt Lennartson and
                  Oskar Wigstr{\"{o}}m and
                  Martin Fabian and
                  Francesco Basile},
  editor       = {Jean{-}Jacques Lesage and
                  Jean{-}Marc Faure and
                  Jos{\'{e}} E. R. Cury and
                  Bengt Lennartson},
  title        = {Unified Model for Synthesis and Optimization of Discrete Event and
                  Hybrid Systems},
  booktitle    = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
                  Cachan, France, May 14-16, 2014},
  pages        = {86--92},
  publisher    = {International Federation of Automatic Control},
  year         = {2014},
  url          = {https://doi.org/10.3182/20140514-3-FR-4046.00140},
  doi          = {10.3182/20140514-3-FR-4046.00140},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wodes/LennartsonWFB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/MohajeraniMF14,
  author       = {Sahar Mohajerani and
                  Robi Malik and
                  Martin Fabian},
  editor       = {Jean{-}Jacques Lesage and
                  Jean{-}Marc Faure and
                  Jos{\'{e}} E. R. Cury and
                  Bengt Lennartson},
  title        = {An Algorithm for Compositional Nonblocking Verification of Extended
                  Finite-State Machines},
  booktitle    = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
                  Cachan, France, May 14-16, 2014},
  pages        = {376--382},
  publisher    = {International Federation of Automatic Control},
  year         = {2014},
  url          = {https://doi.org/10.3182/20140514-3-FR-4046.00039},
  doi          = {10.3182/20140514-3-FR-4046.00039},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wodes/MohajeraniMF14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/MohajeraniMF13,
  author       = {Sahar Mohajerani and
                  Robi Malik and
                  Martin Fabian},
  title        = {Compositional nonblocking verification for extended finite-state automata
                  using partial unfolding},
  booktitle    = {2013 {IEEE} International Conference on Automation Science and Engineering,
                  {CASE} 2013, Madison, WI, USA, August 17-20, 2013},
  pages        = {930--935},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/CoASE.2013.6654014},
  doi          = {10.1109/COASE.2013.6654014},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/case/MohajeraniMF13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/BergagardF13,
  author       = {Patrik Bergagard and
                  Martin Fabian},
  editor       = {Carla Seatzu},
  title        = {Derivation of placement transitions for offline calculation of restart
                  states},
  booktitle    = {Proceedings of 2013 {IEEE} 18th Conference on Emerging Technologies
                  {\&} Factory Automation, {ETFA} 2013, Cagliari, Italy, September
                  10-13, 2013},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/ETFA.2013.6648053},
  doi          = {10.1109/ETFA.2013.6648053},
  timestamp    = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/etfa/BergagardF13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/WareMMF13,
  author       = {Simon Ware and
                  Robi Malik and
                  Sahar Mohajerani and
                  Martin Fabian},
  editor       = {Cyrille Artho and
                  Peter Csaba {\"{O}}lveczky},
  title        = {Certainly Unsupervisable States},
  booktitle    = {Formal Techniques for Safety-Critical Systems - Second International
                  Workshop, {FTSCS} 2013, Queenstown, New Zealand, October 29-30, 2013.
                  Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {419},
  pages        = {280--296},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-05416-2\_18},
  doi          = {10.1007/978-3-319-05416-2\_18},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftscs/WareMMF13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcst/LjungkrantzAYF12,
  author       = {Oscar Ljungkrantz and
                  Knut {\AA}kesson and
                  Chengyin Yuan and
                  Martin Fabian},
  title        = {Towards Industrial Formal Specification of Programmable Safety Systems},
  journal      = {{IEEE} Trans. Control. Syst. Technol.},
  volume       = {20},
  number       = {6},
  pages        = {1567--1574},
  year         = {2012},
  url          = {https://doi.org/10.1109/TCST.2011.2169262},
  doi          = {10.1109/TCST.2011.2169262},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcst/LjungkrantzAYF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/BergagardF12,
  author       = {Patrik Bergagard and
                  Martin Fabian},
  title        = {Deadlock avoidance for multi product manufacturing systems modeled
                  as sequences of operations},
  booktitle    = {2012 {IEEE} International Conference on Automation Science and Engineering,
                  {CASE} 2012, Seoul, Korea (South), August 20-24, 2012},
  pages        = {515--520},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/CoASE.2012.6386378},
  doi          = {10.1109/COASE.2012.6386378},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/case/BergagardF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/MohajeraniMF12,
  author       = {Sahar Mohajerani and
                  Robi Malik and
                  Martin Fabian},
  title        = {Transition removal for compositional supervisor synthesis},
  booktitle    = {2012 {IEEE} International Conference on Automation Science and Engineering,
                  {CASE} 2012, Seoul, Korea (South), August 20-24, 2012},
  pages        = {694--699},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/CoASE.2012.6386447},
  doi          = {10.1109/COASE.2012.6386447},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/case/MohajeraniMF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/LennartsonMFHFA12,
  author       = {Bengt Lennartson and
                  Sajed Miremadi and
                  Zhennan Fei and
                  Mona Noori Hosseini and
                  Martin Fabian and
                  Knut {\AA}kesson},
  title        = {State-vector transition model applied to supervisory control},
  booktitle    = {Proceedings of 2012 {IEEE} 17th International Conference on Emerging
                  Technologies {\&} Factory Automation, {ETFA} 2012, Krakow, Poland,
                  September 17-21, 2012},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/ETFA.2012.6489680},
  doi          = {10.1109/ETFA.2012.6489680},
  timestamp    = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/etfa/LennartsonMFHFA12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/ProvostLFFS12,
  author       = {Julien Provost and
                  Bengt Lennartson and
                  Martin Fabian and
                  {\AA}sa Fasth and
                  Johan Stahre},
  title        = {Planning in assembly systems - {A} common modeling for products and
                  resources},
  booktitle    = {Proceedings of 2012 {IEEE} 17th International Conference on Emerging
                  Technologies {\&} Factory Automation, {ETFA} 2012, Krakow, Poland,
                  September 17-21, 2012},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/ETFA.2012.6489594},
  doi          = {10.1109/ETFA.2012.6489594},
  timestamp    = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/etfa/ProvostLFFS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/MohajeraniMF12,
  author       = {Sahar Mohajerani and
                  Robi Malik and
                  Martin Fabian},
  editor       = {Antonio Ram{\'{\i}}rez{-}Trevi{\~{n}}o and
                  Ernesto L{\'{o}}pez{-}Mellado and
                  Jean{-}Jacques Lesage and
                  Manuel Silva Su{\'{a}}rez},
  title        = {An algorithm for weak synthesis observation equivalence for compositional
                  supervisor synthesis},
  booktitle    = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
                  Guadalajara, Mexico, October 3-5, 2012},
  pages        = {239--244},
  publisher    = {International Federation of Automatic Control},
  year         = {2012},
  url          = {https://doi.org/10.3182/20121003-3-MX-4033.00040},
  doi          = {10.3182/20121003-3-MX-4033.00040},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wodes/MohajeraniMF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/MohajeraniMF11,
  author       = {Sahar Mohajerani and
                  Robi Malik and
                  Martin Fabian},
  title        = {Nondeterminism avoidance in compositional synthesis of discrete event
                  systems},
  booktitle    = {{IEEE} Conference on Automation Science and Engineering, {CASE} 2011,
                  Trieste, Italy, Aug. 24-27, 2011},
  pages        = {19--24},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/CASE.2011.6042432},
  doi          = {10.1109/CASE.2011.6042432},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/case/MohajeraniMF11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/AnderssonLF10,
  author       = {Kristin Andersson and
                  Bengt Lennartson and
                  Martin Fabian},
  title        = {Restarting Manufacturing Systems; Restart States and Restartability},
  journal      = {{IEEE} Trans Autom. Sci. Eng.},
  volume       = {7},
  number       = {3},
  pages        = {486--499},
  year         = {2010},
  url          = {https://doi.org/10.1109/TASE.2009.2034136},
  doi          = {10.1109/TASE.2009.2034136},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tase/AnderssonLF10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/LjungkrantzAFY10,
  author       = {Oscar Ljungkrantz and
                  Knut {\AA}kesson and
                  Martin Fabian and
                  Chengyin Yuan},
  title        = {Formal Specification and Verification of Industrial Control Logic
                  Components},
  journal      = {{IEEE} Trans Autom. Sci. Eng.},
  volume       = {7},
  number       = {3},
  pages        = {538--548},
  year         = {2010},
  url          = {https://doi.org/10.1109/TASE.2009.2031095},
  doi          = {10.1109/TASE.2009.2031095},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tase/LjungkrantzAFY10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/LennartsonBYAFFA10,
  author       = {Bengt Lennartson and
                  Kristofer Bengtsson and
                  Chengyin Yuan and
                  Kristin Andersson and
                  Martin Fabian and
                  Petter Falkman and
                  Knut {\AA}kesson},
  title        = {Sequence Planning for Integrated Product, Process and Automation Design},
  journal      = {{IEEE} Trans Autom. Sci. Eng.},
  volume       = {7},
  number       = {4},
  pages        = {791--802},
  year         = {2010},
  url          = {https://doi.org/10.1109/TASE.2010.2051664},
  doi          = {10.1109/TASE.2010.2051664},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tase/LennartsonBYAFFA10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcst/AnderssonRLF10,
  author       = {Kristin Andersson and
                  Johan Richardsson and
                  Bengt Lennartson and
                  Martin Fabian},
  title        = {Coordination of Operations by Relation Extraction for Manufacturing
                  Cell Controllers},
  journal      = {{IEEE} Trans. Control. Syst. Technol.},
  volume       = {18},
  number       = {2},
  pages        = {414--429},
  year         = {2010},
  url          = {https://doi.org/10.1109/TCST.2009.2015591},
  doi          = {10.1109/TCST.2009.2015591},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcst/AnderssonRLF10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/MiremadiALF10,
  author       = {Sajed Miremadi and
                  Knut {\AA}kesson and
                  Bengt Lennartson and
                  Martin Fabian},
  editor       = {J{\"{o}}rg Raisch and
                  Alessandro Giua and
                  St{\'{e}}phane Lafortune and
                  Thomas Moor},
  title        = {Supervisor computation and representation: {A} case study},
  booktitle    = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
                  Berlin, Germany, August 30 - September 01, 2010},
  pages        = {275--280},
  publisher    = {International Federation of Automatic Control},
  year         = {2010},
  url          = {https://doi.org/10.3182/20100830-3-DE-4013.00046},
  doi          = {10.3182/20100830-3-DE-4013.00046},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wodes/MiremadiALF10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/MagnussonFA10,
  author       = {Patrik Magnusson and
                  Martin Fabian and
                  Knut {\AA}kesson},
  editor       = {J{\"{o}}rg Raisch and
                  Alessandro Giua and
                  St{\'{e}}phane Lafortune and
                  Thomas Moor},
  title        = {Modular specification of forbidden states for supervisory control},
  booktitle    = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
                  Berlin, Germany, August 30 - September 01, 2010},
  pages        = {412--417},
  publisher    = {International Federation of Automatic Control},
  year         = {2010},
  url          = {https://doi.org/10.3182/20100830-3-DE-4013.00068},
  doi          = {10.3182/20100830-3-DE-4013.00068},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wodes/MagnussonFA10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/KobetskiF09,
  author       = {Avenir Kobetski and
                  Martin Fabian},
  title        = {Time-Optimal Coordination of Flexible Manufacturing Systems Using
                  Deterministic Finite Automata and Mixed Integer Linear Programming},
  journal      = {Discret. Event Dyn. Syst.},
  volume       = {19},
  number       = {3},
  pages        = {287--315},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10626-009-0064-9},
  doi          = {10.1007/S10626-009-0064-9},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/deds/KobetskiF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/LennartsonFGK09,
  author       = {Bengt Lennartson and
                  Martin Fabian and
                  Alessandro Giua and
                  Ratnesh Kumar},
  title        = {Special Issue on WODES'08},
  journal      = {Discret. Event Dyn. Syst.},
  volume       = {19},
  number       = {4},
  pages        = {449--450},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10626-009-0085-4},
  doi          = {10.1007/S10626-009-0085-4},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/deds/LennartsonFGK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/AnderssonLFF09,
  author       = {Kristin Andersson and
                  Bengt Lennartson and
                  Petter Falkman and
                  Martin Fabian},
  title        = {Generation of restart states for manufacturing systems with discarded
                  workpieces},
  booktitle    = {{IEEE} Conference on Automation Science and Engineering, {CASE} 2009,
                  Bangalore, India, 22-25 August, 2011},
  pages        = {191--196},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/COASE.2009.5234175},
  doi          = {10.1109/COASE.2009.5234175},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/case/AnderssonLFF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/LjungkrantzAF08,
  author       = {Oscar Ljungkrantz and
                  Knut {\AA}kesson and
                  Martin Fabian},
  title        = {Formal specification and verification of components for industrial
                  logic control programming},
  booktitle    = {2008 {IEEE} International Conference on Automation Science and Engineering,
                  {IEEE} {CASE} 2008, Washington, DC, USA, August 23-26, 2008},
  pages        = {935--940},
  publisher    = {{IEEE}},
  year         = {2008},
  url          = {https://doi.org/10.1109/COASE.2008.4626518},
  doi          = {10.1109/COASE.2008.4626518},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/case/LjungkrantzAF08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/FlordalMFA07,
  author       = {Hugo Flordal and
                  Robi Malik and
                  Martin Fabian and
                  Knut {\AA}kesson},
  title        = {Compositional Synthesis of Maximally Permissive Supervisors Using
                  Supervision Equivalence},
  journal      = {Discret. Event Dyn. Syst.},
  volume       = {17},
  number       = {4},
  pages        = {475--504},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10626-007-0018-z},
  doi          = {10.1007/S10626-007-0018-Z},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/deds/FlordalMFA07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/KobetskiRAF07,
  author       = {Avenir Kobetski and
                  Johan Richardsson and
                  Knut {\AA}kesson and
                  Martin Fabian},
  title        = {Minimization of Expected Cycle Time in Manufacturing Cells with Uncontrollable
                  Behavior},
  booktitle    = {{IEEE} Conference on Automation Science and Engineering, {CASE} 2007,
                  September 22-25, 2007. Scottsdale, Arizona, {USA}},
  pages        = {14--19},
  publisher    = {{IEEE}},
  year         = {2007},
  url          = {https://doi.org/10.1109/COASE.2007.4341802},
  doi          = {10.1109/COASE.2007.4341802},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/case/KobetskiRAF07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/SkoldstamAF07,
  author       = {Markus Sk{\"{o}}ldstam and
                  Knut {\AA}kesson and
                  Martin Fabian},
  title        = {Modeling of discrete event systems using finite automata with variables},
  booktitle    = {46th {IEEE} Conference on Decision and Control, {CDC} 2007, New Orleans,
                  LA, USA, December 12-14, 2007},
  pages        = {3387--3392},
  publisher    = {{IEEE}},
  year         = {2007},
  url          = {https://doi.org/10.1109/CDC.2007.4434894},
  doi          = {10.1109/CDC.2007.4434894},
  timestamp    = {Fri, 04 Mar 2022 13:27:03 +0100},
  biburl       = {https://dblp.org/rec/conf/cdc/SkoldstamAF07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/AndersonRLF06,
  author       = {Kristin Andersson and
                  Johan Richardsson and
                  Bengt Lennartson and
                  Martin Fabian},
  title        = {Sinthesis of hierarchical and distributed control functions for multi-product
                  manufacturing cells},
  booktitle    = {2006 {IEEE} International Conference on Automation Science and Engineering,
                  Shanghai, China, 7-10 October 2006},
  pages        = {325--330},
  publisher    = {{IEEE}},
  year         = {2006},
  url          = {https://doi.org/10.1109/COASE.2006.326902},
  doi          = {10.1109/COASE.2006.326902},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/case/AndersonRLF06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/KobetskiSF06,
  author       = {Avenir Kobetski and
                  Domenico Spensieri and
                  Martin Fabian},
  title        = {Scheduling algorithms for optimal robot cell coordination - a comparison},
  booktitle    = {2006 {IEEE} International Conference on Automation Science and Engineering,
                  Shanghai, China, 7-10 October 2006},
  pages        = {381--386},
  publisher    = {{IEEE}},
  year         = {2006},
  url          = {https://doi.org/10.1109/COASE.2006.326912},
  doi          = {10.1109/COASE.2006.326912},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/case/KobetskiSF06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/KumarTFU05,
  author       = {Ratnesh Kumar and
                  Shigemasa Takai and
                  Martin Fabian and
                  Toshimitsu Ushio},
  title        = {Maximally permissive mutually and globally nonblocking supervision
                  with application to switching control},
  journal      = {Autom.},
  volume       = {41},
  number       = {8},
  pages        = {1299--1312},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.automatica.2005.03.011},
  doi          = {10.1016/J.AUTOMATICA.2005.03.011},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/automatica/KumarTFU05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/LennartsonFF05,
  author       = {Bengt Lennartson and
                  Martin Fabian and
                  Petter Falkman},
  title        = {Control architecture for flexible production systems},
  booktitle    = {{IEEE} International Conference on Automation Science and Engineering,
                  {CASE} 2005, Edmonton, Alberta, Canada, August 1-2, 2005},
  pages        = {307--312},
  publisher    = {{IEEE}},
  year         = {2005},
  url          = {https://doi.org/10.1109/COASE.2005.1506787},
  doi          = {10.1109/COASE.2005.1506787},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/case/LennartsonFF05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/VahidiLF05,
  author       = {Arash Vahidi and
                  Bengt Lennartson and
                  Martin Fabian},
  title        = {Efficient Analysis of Large Discrete-Event Systems with Binary Decision
                  Diagrams},
  booktitle    = {44th {IEEE} {IEEE} Conference on Decision and Control and 8th European
                  Control Conference Control, {CDC/ECC} 2005, Seville, Spain, 12-15
                  December, 2005},
  pages        = {2751--2756},
  publisher    = {{IEEE}},
  year         = {2005},
  url          = {https://doi.org/10.1109/CDC.2005.1582579},
  doi          = {10.1109/CDC.2005.1582579},
  timestamp    = {Fri, 04 Mar 2022 13:25:54 +0100},
  biburl       = {https://dblp.org/rec/conf/cdc/VahidiLF05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/RichardssonDF04,
  author       = {Johan Richardsson and
                  Kristin Danielsson and
                  Martin Fabian},
  title        = {Design of Control Programs for Efficient Handling of Errors in Flexible
                  Manufacturing Cells},
  booktitle    = {Proceedings of the 2004 {IEEE} International Conference on Robotics
                  and Automation, {ICRA} 2004, April 26 - May 1, 2004, New Orleans,
                  LA, {USA}},
  pages        = {2273--2278},
  publisher    = {{IEEE}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ROBOT.2004.1307400},
  doi          = {10.1109/ROBOT.2004.1307400},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icra/RichardssonDF04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/RichardssonF03,
  author       = {Johan Richardsson and
                  Martin Fabian},
  title        = {Automatic generation of {PLC} programs for control of flexible manufacturing
                  cells},
  booktitle    = {Proceedings of 9th {IEEE} International Conference on Emerging Technologies
                  and Factory Automation, {ETFA} 2003, September 16-19, 2003, Lisbon,
                  Portugal - Volume 2},
  pages        = {337--344},
  publisher    = {{IEEE}},
  year         = {2003},
  url          = {https://doi.org/10.1109/ETFA.2003.1248719},
  doi          = {10.1109/ETFA.2003.1248719},
  timestamp    = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/etfa/RichardssonF03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/RichardssonF03,
  author       = {Johan Richardsson and
                  Martin Fabian},
  title        = {Reuse of information as a base for development and verification of
                  control programs for flexible manufacturing cells},
  booktitle    = {2003 {IEEE/RSJ} International Conference on Intelligent Robots and
                  Systems, Las Vegas, Nevada, USA, October 27 - November 1, 2003},
  pages        = {2078--2083},
  publisher    = {{IEEE}},
  year         = {2003},
  url          = {https://doi.org/10.1109/IROS.2003.1248980},
  doi          = {10.1109/IROS.2003.1248980},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/iros/RichardssonF03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/VahidiLAF01,
  author       = {Arash Vahidi and
                  Bengt Lennartson and
                  Dennis Arkeryd and
                  Martin Fabian},
  title        = {Efficient application of symbolic tools for resource booking problems},
  booktitle    = {American Control Conference, {ACC} 2001, Arlington, VA, USA, 25-27
                  June, 2001},
  pages        = {4937--4942},
  publisher    = {{IEEE}},
  year         = {2001},
  url          = {https://doi.org/10.1109/ACC.2001.945767},
  doi          = {10.1109/ACC.2001.945767},
  timestamp    = {Wed, 05 Jan 2022 10:14:49 +0100},
  biburl       = {https://dblp.org/rec/conf/amcc/VahidiLAF01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/AkessonFV00,
  author       = {Knut {\AA}kesson and
                  Martin Fabian and
                  Arash Vahidi},
  title        = {Coordination of batches in flexible production},
  booktitle    = {American Control Conference, {ACC} 2000, Chicago, Illinois, USA, 28-30
                  June, 2000},
  pages        = {2735--2739},
  publisher    = {{IEEE}},
  year         = {2000},
  url          = {https://doi.org/10.1109/ACC.2000.878706},
  doi          = {10.1109/ACC.2000.878706},
  timestamp    = {Sat, 29 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/amcc/AkessonFV00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/LennartsonTF98,
  author       = {Bengt Lennartson and
                  Michael Tittus and
                  Martin Fabian},
  title        = {Modeling, specification and controller synthesis for discrete event
                  systems},
  booktitle    = {Proceedings of the {IEEE} International Conference on Systems, Man
                  and Cybernetics, {SMC} 1998, Hyatt Regency La Jolla, San Diego, California,
                  USA, October 11-14,1998},
  pages        = {698--703},
  publisher    = {{IEEE}},
  year         = {1998},
  url          = {https://doi.org/10.1109/ICSMC.1998.725495},
  doi          = {10.1109/ICSMC.1998.725495},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/smc/LennartsonTF98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejcon/FabianL97,
  author       = {Martin Fabian and
                  Bengt Lennartson},
  title        = {A Class of Non-Deterministic Specifications for Supervisory Control},
  journal      = {Eur. J. Control},
  volume       = {3},
  number       = {1},
  pages        = {81--90},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0947-3580(97)70063-3},
  doi          = {10.1016/S0947-3580(97)70063-3},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ejcon/FabianL97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/GullanderFALA95,
  author       = {P. Gullander and
                  Martin Fabian and
                  Sven{-}Arne Andr{\'{e}}asson and
                  Bengt Lennartson and
                  Anders Adlemo},
  title        = {Generic Resource Models and a Message-Passing Structure in an {FMS}
                  Controller},
  booktitle    = {Proceedings of the 1995 International Conference on Robotics and Automation,
                  Nagoya, Aichi, Japan, May 21-27, 1995},
  pages        = {1447--1454},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ROBOT.1995.526029},
  doi          = {10.1109/ROBOT.1995.526029},
  timestamp    = {Fri, 13 Aug 2021 09:26:01 +0200},
  biburl       = {https://dblp.org/rec/conf/icra/GullanderFALA95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics