Martin Fabian

113 papers A* 5A 1B 1C 16Journal 50Unranked 40
YearRankTypeTitle / Venue / Authors
2026 J jnl
A General Formulation for the Teaching Assignment Problem: Computational Analysis Over a Real-World Dataset.
CoRR
Moa Johannesson, Lina Brink, Alvin Combrink, Sabino Francesco Roselli, Martin Fabian
2025 C conf
A Comparative Study of SMT and MILP for the Nurse Rostering Problem.
CoDIT
Alvin Combrink, Stephie Do, Kristofer Bengtsson, Sabino Francesco Roselli, Martin Fabian
2025 J jnl
A Comparative Study of SMT and MILP for the Nurse Rostering Problem.
CoRR
Alvin Combrink, Stephie Do, Kristofer Bengtsson, Sabino Francesco Roselli, Martin Fabian
2025 J jnl
A Multi-Worker Assembly Line Rebalancing with Spatial and Ergonomic Considerations.
CoRR
Martina Vinetti, Sabino Francesco Roselli, Martin Fabian
2025 — conf
Identification of Minimally Restrictive Assembly Sequences Using Supervisory Control Theory.
ICPS
Martina Vinetti, Martin Fabian
2025 J jnl
Identification of Minimally Restrictive Assembly Sequences using Supervisory Control Theory.
CoRR
Martina Vinetti, Martin Fabian
2025 C conf
Prioritized Planning for Continuous-time Lifelong Multi-agent Pathfinding.
CoDIT
Alvin Combrink, Sabino Francesco Roselli, Martin Fabian
2025 J jnl
Prioritized Planning for Continuous-time Lifelong Multi-agent Pathfinding.
CoRR
Alvin Combrink, Sabino Francesco Roselli, Martin Fabian
2025 J jnl
Smart contract denial-of-service analysis using non-blocking verification.
Discret. Event Dyn. Syst.
Nishant Parekh, Wolfgang Ahrendt, Martin Fabian
2025 J jnl
Sound and Solution-Complete CCBS.
CoRR
Alvin Combrink, Sabino Francesco Roselli, Martin Fabian
2024 J jnl
Conflict-free electric vehicle routing problem: an improved compositional algorithm.
Discret. Event Dyn. Syst.
Sabino Francesco Roselli, Martin Fabian, Knut Åkesson
2024 C conf
Discrete-Event Based Patient Flow Simulation of an Emergency Surgery Department.
CoDIT
Alvin Combrink, David Johnson, Petr Moldan, Martin Fabian
2024 J jnl
On Active Learning for Supervisor Synthesis.
IEEE Trans Autom. Sci. Eng.
Ashfaq Farooqui, Ramon Tijsse Claase, Martin Fabian
2024 J jnl
On Input Generators for Cyber-Physical Systems Falsification.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Zahra Ramezani, Alexandre Donzé, Martin Fabian, Knut Åkesson
2024 J jnl
On proving that an unsafe controller is not proven safe.
J. Log. Algebraic Methods Program.
Yuvaraj Selvaraj, Jonas Krook, Wolfgang Ahrendt, Martin Fabian
2024 — conf
Online Conflict-Free Scheduling of Fleets of Autonomous Mobile Robots.
CASE
Francesco Popolizio, Martina Vinetti, Alvin Combrink, Sabino Francesco Roselli, Maria Pia Fanti, Martin Fabian
2024 J jnl
Robust stutter bisimulation for abstraction and controller synthesis with disturbance.
Autom.
Jonas Krook, Robi Malik, Sahar Mohajerani, Martin Fabian
2024 J jnl
Supervisory Control Synthesis of Timed Automata Using Forcible Events.
IEEE Trans. Autom. Control.
Aida Rashidinejad, Michel A. Reniers, Martin Fabian
2023 J jnl
A survey on compositional algorithms for verification and synthesis in supervisory control.
Discret. Event Dyn. Syst.
Robi Malik, Sahar Mohajerani, Martin Fabian
2023 J jnl
Formal Development of Safe Automated Driving Using Differential Dynamic Logic.
IEEE Trans. Intell. Veh.
Yuvaraj Selvaraj, Wolfgang Ahrendt, Martin Fabian
2023 A* conf
Hazard Analysis of Collaborative Automation Systems: A Two-layer Approach based on Supervisory Control and Simulation.
ICRA
Tom Philip Huck, Yuvaraj Selvaraj, Constantin Cronrath, Christoph Ledermann, Martin Fabian, Bengt Lennartson, Torsten Kröger
2022 J jnl
A Compositional Algorithm for the Conflict-Free Electric Vehicle Routing Problem.
CoRR
Sabino Francesco Roselli, Per-Lage Götvall, Martin Fabian, Knut Åkesson
2022 J jnl
A Compositional Algorithm for the Conflict-Free Electric Vehicle Routing Problem.
IEEE Trans Autom. Sci. Eng.
Sabino Francesco Roselli, Per-Lage Götvall, Martin Fabian, Knut Åkesson
2022 J jnl
A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases.
CoRR
Jonas Krook, Yuvaraj Selvaraj, Wolfgang Ahrendt, Martin Fabian
2022 J jnl
Formal Development of Safe Automated Driving using Differential Dynamic Logic.
CoRR
Yuvaraj Selvaraj, Wolfgang Ahrendt, Martin Fabian
2022 — conf
Formal verification of deadlock avoidance rules for AGV systems.
MED
Sarmad Riazi, Jonathan Falk, Alexander Greger, Anton Pettersson, Martin Fabian
2022 J jnl
Hazard Analysis of Collaborative Automation Systems: A Two-layer Approach based on Supervisory Control and Simulation.
CoRR
Tom Philip Huck, Yuvaraj Selvaraj, Constantin Cronrath, Christoph Ledermann, Martin Fabian, Bengt Lennartson, Torsten Kröger
2022 C conf
On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic.
ICFEM
Yuvaraj Selvaraj, Jonas Krook, Wolfgang Ahrendt, Martin Fabian
2022 J jnl
On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic.
CoRR
Yuvaraj Selvaraj, Jonas Krook, Wolfgang Ahrendt, Martin Fabian
2022 J jnl
On Optimization of Automation Systems: Integrating Modular Learning and Optimization.
IEEE Trans Autom. Sci. Eng.
Fredrik Hagebring, Ashfaq Farooqui, Martin Fabian, Bengt Lennartson
2022 J jnl
Robust Stutter Bisimulation for Abstraction and Controller Synthesis with Disturbance: Proofs.
CoRR
Jonas Krook, Robi Malik, Sahar Mohajerani, Martin Fabian
2022 J jnl
Testing Cyber-Physical Systems Using a Line-Search Falsification Method.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Zahra Ramezani, Koen Claessen, Nicholas Smallbone, Martin Fabian, Knut Åkesson
2021 — conf
An SMT Based Compositional Algorithm to Solve a Conflict-Free Electric Vehicle Routing Problem.
CASE
Sabino Francesco Roselli, Martin Fabian, Knut Åkesson
2021 J jnl
An SMT Based Compositional Algorithm to Solve a Conflict-Free Electric Vehicle Routing Problem.
CoRR
Sabino Francesco Roselli, Martin Fabian, Knut Åkesson
2021 J jnl
Compositional coordinator synthesis of extended finite automata.
Discret. Event Dyn. Syst.
Martijn A. Goorden, Martin Fabian, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda
2021 — conf
MIDES: A Tool for Supervisor Synthesis via Active Learning.
CASE
Ashfaq Farooqui, Fredrik Hagebring, Martin Fabian
2021 J jnl
Networked Supervisory Control Synthesis of Timed Discrete-Event Systems.
CoRR
Aida Rashidinejad, Michel A. Reniers, Martin Fabian
2021 J jnl
On the Use of Equivalence Classes for Optimal and Suboptimal Bin Packing and Bin Covering.
IEEE Trans Autom. Sci. Eng.
Sabino Francesco Roselli, Fredrik Hagebring, Sarmad Riazi, Martin Fabian, Knut Åkesson
2021 — conf
Solving the Conflict-Free Electric Vehicle Routing Problem Using SMT Solvers.
MED
Sabino Francesco Roselli, Martin Fabian, Knut Åkesson
2021 J jnl
Solving the Conflict-Free Electric Vehicle Routing Problem Using SMT Solvers.
CoRR
Sabino Francesco Roselli, Martin Fabian, Knut Åkesson
2021 J jnl
Supervisory Control Synthesis of Timed Automata Using Forcible Events.
CoRR
Aida Rashidinejad, Michel A. Reniers, Martin Fabian
2021 — conf
Temporal Logic Falsification of Cyber-Physical Systems using Input Pulse Generators.
ARCH@ADHS
Zahra Ramezani, Alexandre Donzé, Martin Fabian, Knut Åkesson
2020 — conf
Automatically learning formal models: an industrial case from autonomous driving development.
MoDELS (Companion)
Yuvaraj Selvaraj, Ashfaq Farooqui, Ghazaleh Panahandeh, Martin Fabian
2020 J jnl
Model Properties for Efficient Synthesis of Nonblocking Modular Supervisors.
CoRR
Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Martin Fabian, Wan J. Fokkink, Jacobus E. Rooda
2020 — conf
Supervisory Control Theory in System Safety Analysis.
SAFECOMP Workshops
Yuvaraj Selvaraj, Zhennan Fei, Martin Fabian
2020 J jnl
Towards data-driven approaches in manufacturing: an architecture to collect sequences of operations.
Int. J. Prod. Res.
Ashfaq Farooqui, Kristofer Bengtsson, Petter Falkman, Martin Fabian
2019 — conf
Comparative Case Studies of Reactive Synthesis and Supervisory Control.
ECC
Zahra Ramezani, Jonas Krook, Zhennan Fei, Martin Fabian, Knut Åkesson
2019 C conf
Control components for Collaborative and Intelligent Automation Systems.
ETFA
Martin Dahl, Endre Erós, Atieh Hanna, Kristofer Bengtsson, Martin Fabian, Petter Falkman
2019 A* conf
Design and Formal Verification of a Safe Stop Supervisor for an Automated Vehicle
ICRA
Jonas Krook, Lars J. Svensson, Yuchao Li, Lei Feng, Martin Fabian
2019 C conf
Evaluating Two Semantics for Falsification using an Autonomous Driving Example.
INDIN
Zahra Ramezani, Nicholas Smallbone, Martin Fabian, Knut Åkesson
2019 — conf
No synthesis needed, we are alright already.
CASE
Martijn A. Goorden, Martin Fabian
2019 C conf
On the Safe IOCOS relation for Testing Safety PLC Code.
ETFA
Adnan Khan, Martin Fabian
2019 — conf
On the Use of Equivalence Classes for Optimal and Sub-Optimal Bin Covering.
CASE
Sabino Francesco Roselli, Fredrik Hagebring, Sarmad Riazi, Martin Fabian, Knut Åkesson
2019 C conf
On-the-fly conformance testing of safety PLC code using QuickCheck.
INDIN
Adnan Khan, David Thönnessen, Martin Fabian
2019 — conf
Supervisory Control of Discrete-Event Systems in an Asynchronous Setting.
CASE
Aida Rashidinejad, Michel A. Reniers, Martin Fabian
2019 — conf
Synthesis of Supervisors for Unknown Plant Models Using Active Learning.
CASE
Ashfaq Farooqui, Martin Fabian
2019 — conf
Testing Safety PLCs Using QuickCheck.
CASE
David Thönnessen, Nick Smallbone, Martin Fabian, Koen Claessen, Stefan Kowalewski
2019 C conf
Verification of Decision Making Software in an Autonomous Vehicle: An Industrial Case Study.
FMICS
Yuvaraj Selvaraj, Wolfgang Ahrendt, Martin Fabian
2018 — conf
Digital Twin for Legacy Systems: Simulation Model Testing and Validation.
CASE
Adnan Khan, Martin Dahl, Petter Falkman, Martin Fabian
2018 — conf
Towards Automatic Learning of Discrete-Event Models from Simulations.
CASE
Ashfaq Farooqui, Petter Falkman, Martin Fabian
2017 — conf
Application of formal verification to the lane change module of an autonomous vehicle.
CASE
Anton Zita, Sahar Mohajerani, Martin Fabian
2017 J jnl
Compositional synthesis of supervisors in the form of state machines and state maps.
Autom.
Sahar Mohajerani, Robi Malik, Martin Fabian
2017 J jnl
Guest Editorial Special Section on the 2015 International Conference on Automation Science and Engineering.
IEEE Trans Autom. Sci. Eng.
Martin Fabian, Bengt Lennartson, Knut Åkesson
2017 — conf
Objective functions for falsification of signal temporal logic properties in cyber-physical systems.
CASE
Johan Lidén Eddeland, Sajed Miremadi, Martin Fabian, Knut Åkesson
2017 — conf
Virtual engineering framework for automatic generation of control logic including safety.
CASE
Adnan Khan, Petter Falkman, Martin Fabian
2016 J jnl
A framework for compositional nonblocking verification of extended finite-state machines.
Discret. Event Dyn. Syst.
Sahar Mohajerani, Robi Malik, Martin Fabian
2016 C conf
Error handling within highly automated automotive industry: Current practice and research needs.
ETFA
Ashfaq Farooqui, Patrik Bergagard, Petter Falkman, Martin Fabian
2016 J jnl
Formulating constraint satisfaction problems for the inspection of configuration rules.
Artif. Intell. Eng. Des. Anal. Manuf.
Anna Tidstam, Johan Malmqvist, Alexey Voronov, Knut Åkesson, Martin Fabian
2015 — conf
On restart of automated manufacturing systems using restart states.
CASE
Patrik Bergagard, Martin Fabian
2014 J jnl
A Framework for Compositional Synthesis of Modular Nonblocking Supervisors.
IEEE Trans. Autom. Control.
Sahar Mohajerani, Robi Malik, Martin Fabian
2014 — conf
An Algorithm for Compositional Nonblocking Verification of Extended Finite-State Machines.
WODES
Sahar Mohajerani, Robi Malik, Martin Fabian
2014 J jnl
An empirical study of control logic specifications for programmable logic controllers.
Empir. Softw. Eng.
Oscar Ljungkrantz, Knut Åkesson, Martin Fabian, Amir Hossein Ebrahimi
2014 A* conf
Calculating restart states using reset transitions.
ICRA
Patrik Bergagard, Martin Fabian
2014 J jnl
Supervisory Control for State-Vector Transition Models - A Unified Approach.
IEEE Trans Autom. Sci. Eng.
Bengt Lennartson, Francesco Basile, Sajed Miremadi, Zhennan Fei, Mona Noori Hosseini, Martin Fabian, Knut Åkesson
2014 — conf
Unified Model for Synthesis and Optimization of Discrete Event and Hybrid Systems.
WODES
Bengt Lennartson, Oskar Wigström, Martin Fabian, Francesco Basile
2013 — conf
Certainly Unsupervisable States.
FTSCS
Simon Ware, Robi Malik, Sahar Mohajerani, Martin Fabian
2013 — conf
Compositional nonblocking verification for extended finite-state automata using partial unfolding.
CASE
Sahar Mohajerani, Robi Malik, Martin Fabian
2013 C conf
Derivation of placement transitions for offline calculation of restart states.
ETFA
Patrik Bergagard, Martin Fabian
2012 — conf
An algorithm for weak synthesis observation equivalence for compositional supervisor synthesis.
WODES
Sahar Mohajerani, Robi Malik, Martin Fabian
2012 — conf
Deadlock avoidance for multi product manufacturing systems modeled as sequences of operations.
CASE
Patrik Bergagard, Martin Fabian
2012 C conf
Planning in assembly systems - A common modeling for products and resources.
ETFA
Julien Provost, Bengt Lennartson, Martin Fabian, Åsa Fasth, Johan Stahre
2012 C conf
State-vector transition model applied to supervisory control.
ETFA
Bengt Lennartson, Sajed Miremadi, Zhennan Fei, Mona Noori Hosseini, Martin Fabian, Knut Åkesson
2012 J jnl
Towards Industrial Formal Specification of Programmable Safety Systems.
IEEE Trans. Control. Syst. Technol.
Oscar Ljungkrantz, Knut Åkesson, Chengyin Yuan, Martin Fabian
2012 — conf
Transition removal for compositional supervisor synthesis.
CASE
Sahar Mohajerani, Robi Malik, Martin Fabian
2011 — conf
Nondeterminism avoidance in compositional synthesis of discrete event systems.
CASE
Sahar Mohajerani, Robi Malik, Martin Fabian
2010 J jnl
Coordination of Operations by Relation Extraction for Manufacturing Cell Controllers.
IEEE Trans. Control. Syst. Technol.
Kristin Andersson, Johan Richardsson, Bengt Lennartson, Martin Fabian
2010 J jnl
Formal Specification and Verification of Industrial Control Logic Components.
IEEE Trans Autom. Sci. Eng.
Oscar Ljungkrantz, Knut Åkesson, Martin Fabian, Chengyin Yuan
2010 — conf
Modular specification of forbidden states for supervisory control.
WODES
Patrik Magnusson, Martin Fabian, Knut Åkesson
2010 J jnl
Restarting Manufacturing Systems; Restart States and Restartability.
IEEE Trans Autom. Sci. Eng.
Kristin Andersson, Bengt Lennartson, Martin Fabian
2010 J jnl
Sequence Planning for Integrated Product, Process and Automation Design.
IEEE Trans Autom. Sci. Eng.
Bengt Lennartson, Kristofer Bengtsson, Chengyin Yuan, Kristin Andersson, Martin Fabian, Petter Falkman, Knut Åkesson
2010 — conf
Supervisor computation and representation: A case study.
WODES
Sajed Miremadi, Knut Åkesson, Bengt Lennartson, Martin Fabian
2009 — conf
Generation of restart states for manufacturing systems with discarded workpieces.
CASE
Kristin Andersson, Bengt Lennartson, Petter Falkman, Martin Fabian
2009 J jnl
Special Issue on WODES'08.
Discret. Event Dyn. Syst.
Bengt Lennartson, Martin Fabian, Alessandro Giua, Ratnesh Kumar
2009 J jnl
Time-Optimal Coordination of Flexible Manufacturing Systems Using Deterministic Finite Automata and Mixed Integer Linear Programming.
Discret. Event Dyn. Syst.
Avenir Kobetski, Martin Fabian
2008 — conf
Formal specification and verification of components for industrial logic control programming.
CASE
Oscar Ljungkrantz, Knut Åkesson, Martin Fabian
2007 J jnl
Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence.
Discret. Event Dyn. Syst.
Hugo Flordal, Robi Malik, Martin Fabian, Knut Åkesson
2007 — conf
Minimization of Expected Cycle Time in Manufacturing Cells with Uncontrollable Behavior.
CASE
Avenir Kobetski, Johan Richardsson, Knut Åkesson, Martin Fabian
2007 — conf
Modeling of discrete event systems using finite automata with variables.
CDC
Markus Sköldstam, Knut Åkesson, Martin Fabian
2006 — conf
Scheduling algorithms for optimal robot cell coordination - a comparison.
CASE
Avenir Kobetski, Domenico Spensieri, Martin Fabian
2006 — conf
Sinthesis of hierarchical and distributed control functions for multi-product manufacturing cells.
CASE
Kristin Andersson, Johan Richardsson, Bengt Lennartson, Martin Fabian
2005 — conf
Control architecture for flexible production systems.
CASE
Bengt Lennartson, Martin Fabian, Petter Falkman
2005 — conf
Efficient Analysis of Large Discrete-Event Systems with Binary Decision Diagrams.
CDC/ECC
Arash Vahidi, Bengt Lennartson, Martin Fabian
2005 J jnl
Maximally permissive mutually and globally nonblocking supervision with application to switching control.
Autom.
Ratnesh Kumar, Shigemasa Takai, Martin Fabian, Toshimitsu Ushio
2004 A* conf
Design of Control Programs for Efficient Handling of Errors in Flexible Manufacturing Cells.
ICRA
Johan Richardsson, Kristin Danielsson, Martin Fabian
2004 C conf
Supervision of multiple industrial robots: optimal and collision free work cycles.
CCA
Hugo Flordal, Domenico Spensieri, Knut Åkesson, Martin Fabian
2003 — conf
Automatic generation of PLC programs for control of flexible manufacturing cells.
ETFA (2)
Johan Richardsson, Martin Fabian
2003 A conf
Reuse of information as a base for development and verification of control programs for flexible manufacturing cells.
IROS
Johan Richardsson, Martin Fabian
2001 C conf
Efficient application of symbolic tools for resource booking problems.
ACC
Arash Vahidi, Bengt Lennartson, Dennis Arkeryd, Martin Fabian
2000 C conf
Coordination of batches in flexible production.
ACC
Knut Åkesson, Martin Fabian, Arash Vahidi
2000 J jnl
Mutually nonblocking supervisory control of discrete event systems.
Autom.
Martin Fabian, Ratnesh Kumar
1998 B conf
Modeling, specification and controller synthesis for discrete event systems.
SMC
Bengt Lennartson, Michael Tittus, Martin Fabian
1997 J jnl
A Class of Non-Deterministic Specifications for Supervisory Control.
Eur. J. Control
Martin Fabian, Bengt Lennartson
1995 A* conf
Generic Resource Models and a Message-Passing Structure in an FMS Controller.
ICRA
P. Gullander, Martin Fabian, Sven-Arne Andréasson, Bengt Lennartson, Anders Adlemo