Martin Fabian

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 57

Top Topics

Controller Synthesis

Equivalence Class

Supervisory Control

Top Venues

IEEE Trans Autom. Sci. Eng.

Discret. Event Dyn. Syst.

Publications

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