Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Martin Fabian
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.