default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMartin Fabian
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j32]Jonas Krook
, Robi Malik, Sahar Mohajerani, Martin Fabian:
Robust stutter bisimulation for abstraction and controller synthesis with disturbance. Autom. 160: 111394 (2024)- [j31]Sabino Francesco Roselli, Martin Fabian, Knut Åkesson:
Conflict-free electric vehicle routing problem: an improved compositional algorithm. Discret. Event Dyn. Syst. 34(1): 21-51 (2024) - [j30]Yuvaraj Selvaraj, Jonas Krook, Wolfgang Ahrendt, Martin Fabian:
On proving that an unsafe controller is not proven safe. J. Log. Algebraic Methods Program. 137: 100939 (2024) - [j29]Aida Rashidinejad, Michel A. Reniers, Martin Fabian:
Supervisory Control Synthesis of Timed Automata Using Forcible Events. IEEE Trans. Autom. Control. 69(2): 1074-1080 (2024) - [j28]Ashfaq Farooqui, Ramon Tijsse Claase, Martin Fabian:
On Active Learning for Supervisor Synthesis. IEEE Trans Autom. Sci. Eng. 21(1): 78-90 (2024) - [j27]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): 1274-1287 (2024) - [c59]Francesco Popolizio, Martina Vinetti, Alvin Combrink, Sabino Francesco Roselli, Maria Pia Fanti, Martin Fabian:
Online Conflict-Free Scheduling of Fleets of Autonomous Mobile Robots. CASE 2024: 3063-3068 - [c58]Alvin Combrink, David Johnson, Petr Moldan, Martin Fabian:
Discrete-Event Based Patient Flow Simulation of an Emergency Surgery Department. CoDIT 2024: 1243-1248 - 2023
- [j26]Robi Malik, Sahar Mohajerani, Martin Fabian:
A survey on compositional algorithms for verification and synthesis in supervisory control. Discret. Event Dyn. Syst. 33(3): 279-340 (2023) - [j25]Yuvaraj Selvaraj, Wolfgang Ahrendt, Martin Fabian:
Formal Development of Safe Automated Driving Using Differential Dynamic Logic. IEEE Trans. Intell. Veh. 8(1): 988-1000 (2023) - [c57]Tom Philip Huck, Yuvaraj Selvaraj, Constantin Cronrath, Christoph Ledermann, Martin Fabian, Bengt Lennartson, Torsten Kröger:
Hazard Analysis of Collaborative Automation Systems: A Two-layer Approach based on Supervisory Control and Simulation. ICRA 2023: 10560-10566 - 2022
- [j24]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): 1405-1421 (2022) - [j23]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): 1662-1674 (2022) - [j22]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): 2393-2406 (2022) - [c56]Yuvaraj Selvaraj, Jonas Krook, Wolfgang Ahrendt, Martin Fabian:
On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic. ICFEM 2022: 281-297 - [c55]Sarmad Riazi, Jonathan Falk, Alexander Greger, Anton Pettersson, Martin Fabian:
Formal verification of deadlock avoidance rules for AGV systems. MED 2022: 982-987 - [i11]Sabino Francesco Roselli, Per-Lage Götvall, Martin Fabian, Knut Åkesson:
A Compositional Algorithm for the Conflict-Free Electric Vehicle Routing Problem. CoRR abs/2203.06977 (2022) - [i10]Yuvaraj Selvaraj, Wolfgang Ahrendt, Martin Fabian:
Formal Development of Safe Automated Driving using Differential Dynamic Logic. CoRR abs/2204.06873 (2022) - [i9]Jonas Krook, Robi Malik, Sahar Mohajerani, Martin Fabian:
Robust Stutter Bisimulation for Abstraction and Controller Synthesis with Disturbance: Proofs. CoRR abs/2205.13959 (2022) - [i8]Yuvaraj Selvaraj, Jonas Krook, Wolfgang Ahrendt, Martin Fabian:
On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic. CoRR abs/2207.05854 (2022) - [i7]Tom Philip Huck, Yuvaraj Selvaraj, Constantin Cronrath, Christoph Ledermann, Martin Fabian, Bengt Lennartson, Torsten Kröger:
Hazard Analysis of Collaborative Automation Systems: A Two-layer Approach based on Supervisory Control and Simulation. CoRR abs/2209.12560 (2022) - [i6]Jonas Krook, Yuvaraj Selvaraj, Wolfgang Ahrendt, Martin Fabian:
A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases. CoRR abs/2210.07798 (2022) - 2021
- [j21]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): 317-348 (2021) - [j20]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): 369-381 (2021) - [c54]Zahra Ramezani, Alexandre Donzé, Martin Fabian, Knut Åkesson:
Temporal Logic Falsification of Cyber-Physical Systems using Input Pulse Generators. ARCH@ADHS 2021: 195-202 - [c53]Ashfaq Farooqui, Fredrik Hagebring, Martin Fabian:
MIDES: A Tool for Supervisor Synthesis via Active Learning. CASE 2021: 792-797 - [c52]Sabino Francesco Roselli, Martin Fabian, Knut Åkesson:
An SMT Based Compositional Algorithm to Solve a Conflict-Free Electric Vehicle Routing Problem. CASE 2021: 1364-1369 - [c51]Sabino Francesco Roselli, Martin Fabian, Knut Åkesson:
Solving the Conflict-Free Electric Vehicle Routing Problem Using SMT Solvers. MED 2021: 542-547 - [i5]Aida Rashidinejad, Michel A. Reniers, Martin Fabian:
Networked Supervisory Control Synthesis of Timed Discrete-Event Systems. CoRR abs/2102.09255 (2021) - [i4]Aida Rashidinejad, Michel A. Reniers, Martin Fabian:
Supervisory Control Synthesis of Timed Automata Using Forcible Events. CoRR abs/2102.09338 (2021) - [i3]Sabino Francesco Roselli, Martin Fabian, Knut Åkesson:
Solving the Conflict-Free Electric Vehicle Routing Problem Using SMT Solvers. CoRR abs/2103.08217 (2021) - [i2]Sabino Francesco Roselli, Martin Fabian, Knut Åkesson:
An SMT Based Compositional Algorithm to Solve a Conflict-Free Electric Vehicle Routing Problem. CoRR abs/2106.07387 (2021) - 2020
- [j19]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): 4947-4963 (2020) - [c50]Yuvaraj Selvaraj, Ashfaq Farooqui, Ghazaleh Panahandeh, Martin Fabian:
Automatically learning formal models: an industrial case from autonomous driving development. MoDELS (Companion) 2020: 33:1-33:10 - [c49]Yuvaraj Selvaraj, Zhennan Fei, Martin Fabian:
Supervisory Control Theory in System Safety Analysis. SAFECOMP Workshops 2020: 9-22 - [i1]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 abs/2007.05795 (2020)
2010 – 2019
- 2019
- [c48]David Thönnessen, Nick Smallbone, Martin Fabian, Koen Claessen, Stefan Kowalewski:
Testing Safety PLCs Using QuickCheck. CASE 2019: 1-6 - [c47]Martijn A. Goorden, Martin Fabian:
No synthesis needed, we are alright already. CASE 2019: 195-202 - [c46]Aida Rashidinejad, Michel A. Reniers, Martin Fabian:
Supervisory Control of Discrete-Event Systems in an Asynchronous Setting. CASE 2019: 494-501 - [c45]Ashfaq Farooqui, Martin Fabian:
Synthesis of Supervisors for Unknown Plant Models Using Active Learning. CASE 2019: 502-508 - [c44]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: 1004-1009 - [c43]Martin Dahl, Endre Erós, Atieh Hanna, Kristofer Bengtsson, Martin Fabian, Petter Falkman:
Control components for Collaborative and Intelligent Automation Systems. ETFA 2019: 378-384 - [c42]Adnan Khan, Martin Fabian:
On the Safe IOCOS relation for Testing Safety PLC Code. ETFA 2019: 1449-1452 - [c41]Zahra Ramezani, Jonas Krook, Zhennan Fei, Martin Fabian, Knut Åkesson:
Comparative Case Studies of Reactive Synthesis and Supervisory Control. ECC 2019: 1752-1759 - [c40]Yuvaraj Selvaraj, Wolfgang Ahrendt, Martin Fabian:
Verification of Decision Making Software in an Autonomous Vehicle: An Industrial Case Study. FMICS 2019: 143-159 - [c39]Jonas Krook, Lars J. Svensson, Yuchao Li, Lei Feng, Martin Fabian:
Design and Formal Verification of a Safe Stop Supervisor for an Automated Vehicle*. ICRA 2019: 5607-5613 - [c38]Zahra Ramezani, Nicholas Smallbone, Martin Fabian, Knut Åkesson:
Evaluating Two Semantics for Falsification using an Autonomous Driving Example. INDIN 2019: 386-391 - [c37]Adnan Khan, David Thönnessen, Martin Fabian:
On-the-fly conformance testing of safety PLC code using QuickCheck. INDIN 2019: 419-424 - 2018
- [c36]Adnan Khan, Martin Dahl, Petter Falkman, Martin Fabian:
Digital Twin for Legacy Systems: Simulation Model Testing and Validation. CASE 2018: 421-426 - [c35]Ashfaq Farooqui, Petter Falkman, Martin Fabian:
Towards Automatic Learning of Discrete-Event Models from Simulations. CASE 2018: 857-862 - 2017
- [j18]Sahar Mohajerani, Robi Malik, Martin Fabian:
Compositional synthesis of supervisors in the form of state machines and state maps. Autom. 76: 277-281 (2017) - [j17]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): 692-693 (2017) - [c34]Adnan Khan, Petter Falkman, Martin Fabian:
Virtual engineering framework for automatic generation of control logic including safety. CASE 2017: 648-653 - [c33]Anton Zita, Sahar Mohajerani, Martin Fabian:
Application of formal verification to the lane change module of an autonomous vehicle. CASE 2017: 932-937 - [c32]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: 1326-1331 - 2016
- [j16]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): 313-328 (2016) - [j15]Sahar Mohajerani, Robi Malik, Martin Fabian:
A framework for compositional nonblocking verification of extended finite-state machines. Discret. Event Dyn. Syst. 26(1): 33-84 (2016) - [c31]Ashfaq Farooqui, Patrik Bergagard, Petter Falkman, Martin Fabian:
Error handling within highly automated automotive industry: Current practice and research needs. ETFA 2016: 1-4 - 2015
- [c30]Patrik Bergagard, Martin Fabian:
On restart of automated manufacturing systems using restart states. CASE 2015: 166-167 - 2014
- [j14]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): 655-677 (2014) - [j13]Sahar Mohajerani, Robi Malik, Martin Fabian:
A Framework for Compositional Synthesis of Modular Nonblocking Supervisors. IEEE Trans. Autom. Control. 59(1): 150-162 (2014) - [j12]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): 33-47 (2014) - [c29]Patrik Bergagard, Martin Fabian:
Calculating restart states using reset transitions. ICRA 2014: 3345-3350 - [c28]Bengt Lennartson, Oskar Wigström, Martin Fabian, Francesco Basile:
Unified Model for Synthesis and Optimization of Discrete Event and Hybrid Systems. WODES 2014: 86-92 - [c27]Sahar Mohajerani, Robi Malik, Martin Fabian:
An Algorithm for Compositional Nonblocking Verification of Extended Finite-State Machines. WODES 2014: 376-382 - 2013
- [c26]Sahar Mohajerani, Robi Malik, Martin Fabian:
Compositional nonblocking verification for extended finite-state automata using partial unfolding. CASE 2013: 930-935 - [c25]Patrik Bergagard, Martin Fabian:
Derivation of placement transitions for offline calculation of restart states. ETFA 2013: 1-8 - [c24]Simon Ware, Robi Malik, Sahar Mohajerani, Martin Fabian:
Certainly Unsupervisable States. FTSCS 2013: 280-296 - 2012
- [j11]Oscar Ljungkrantz, Knut Åkesson, Chengyin Yuan, Martin Fabian:
Towards Industrial Formal Specification of Programmable Safety Systems. IEEE Trans. Control. Syst. Technol. 20(6): 1567-1574 (2012) - [c23]Patrik Bergagard, Martin Fabian:
Deadlock avoidance for multi product manufacturing systems modeled as sequences of operations. CASE 2012: 515-520 - [c22]Sahar Mohajerani, Robi Malik, Martin Fabian:
Transition removal for compositional supervisor synthesis. CASE 2012: 694-699 - [c21]Bengt Lennartson, Sajed Miremadi, Zhennan Fei, Mona Noori Hosseini, Martin Fabian, Knut Åkesson:
State-vector transition model applied to supervisory control. ETFA 2012: 1-8 - [c20]Julien Provost, Bengt Lennartson, Martin Fabian, Åsa Fasth, Johan Stahre:
Planning in assembly systems - A common modeling for products and resources. ETFA 2012: 1-8 - [c19]Sahar Mohajerani, Robi Malik, Martin Fabian:
An algorithm for weak synthesis observation equivalence for compositional supervisor synthesis. WODES 2012: 239-244 - 2011
- [c18]Sahar Mohajerani, Robi Malik, Martin Fabian:
Nondeterminism avoidance in compositional synthesis of discrete event systems. CASE 2011: 19-24 - 2010
- [j10]Kristin Andersson, Bengt Lennartson, Martin Fabian:
Restarting Manufacturing Systems; Restart States and Restartability. IEEE Trans Autom. Sci. Eng. 7(3): 486-499 (2010) - [j9]Oscar Ljungkrantz, Knut Åkesson, Martin Fabian, Chengyin Yuan:
Formal Specification and Verification of Industrial Control Logic Components. IEEE Trans Autom. Sci. Eng. 7(3): 538-548 (2010) - [j8]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): 791-802 (2010) - [j7]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): 414-429 (2010) - [c17]Sajed Miremadi, Knut Åkesson, Bengt Lennartson, Martin Fabian:
Supervisor computation and representation: A case study. WODES 2010: 275-280 - [c16]Patrik Magnusson, Martin Fabian, Knut Åkesson:
Modular specification of forbidden states for supervisory control. WODES 2010: 412-417
2000 – 2009
- 2009
- [j6]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): 287-315 (2009) - [j5]Bengt Lennartson, Martin Fabian, Alessandro Giua, Ratnesh Kumar:
Special Issue on WODES'08. Discret. Event Dyn. Syst. 19(4): 449-450 (2009) - [c15]Kristin Andersson, Bengt Lennartson, Petter Falkman, Martin Fabian:
Generation of restart states for manufacturing systems with discarded workpieces. CASE 2009: 191-196 - 2008
- [c14]Oscar Ljungkrantz, Knut Åkesson, Martin Fabian:
Formal specification and verification of components for industrial logic control programming. CASE 2008: 935-940 - 2007
- [j4]Hugo Flordal, Robi Malik, Martin Fabian, Knut Åkesson:
Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence. Discret. Event Dyn. Syst. 17(4): 475-504 (2007) - [c13]Avenir Kobetski, Johan Richardsson, Knut Åkesson, Martin Fabian:
Minimization of Expected Cycle Time in Manufacturing Cells with Uncontrollable Behavior. CASE 2007: 14-19 - [c12]Markus Sköldstam, Knut Åkesson, Martin Fabian:
Modeling of discrete event systems using finite automata with variables. CDC 2007: 3387-3392 - 2006
- [c11]Kristin Andersson, Johan Richardsson, Bengt Lennartson, Martin Fabian:
Sinthesis of hierarchical and distributed control functions for multi-product manufacturing cells. CASE 2006: 325-330 - [c10]Avenir Kobetski, Domenico Spensieri, Martin Fabian:
Scheduling algorithms for optimal robot cell coordination - a comparison. CASE 2006: 381-386 - 2005
- [j3]Ratnesh Kumar, Shigemasa Takai, Martin Fabian, Toshimitsu Ushio:
Maximally permissive mutually and globally nonblocking supervision with application to switching control. Autom. 41(8): 1299-1312 (2005) - [c9]Bengt Lennartson, Martin Fabian, Petter Falkman:
Control architecture for flexible production systems. CASE 2005: 307-312 - [c8]Arash Vahidi, Bengt Lennartson, Martin Fabian:
Efficient Analysis of Large Discrete-Event Systems with Binary Decision Diagrams. CDC/ECC 2005: 2751-2756 - 2004
- [c7]Johan Richardsson, Kristin Danielsson, Martin Fabian:
Design of Control Programs for Efficient Handling of Errors in Flexible Manufacturing Cells. ICRA 2004: 2273-2278 - 2003
- [c6]Johan Richardsson, Martin Fabian:
Automatic generation of PLC programs for control of flexible manufacturing cells. ETFA (2) 2003: 337-344 - [c5]Johan Richardsson, Martin Fabian:
Reuse of information as a base for development and verification of control programs for flexible manufacturing cells. IROS 2003: 2078-2083 - 2001
- [c4]Arash Vahidi, Bengt Lennartson, Dennis Arkeryd, Martin Fabian:
Efficient application of symbolic tools for resource booking problems. ACC 2001: 4937-4942 - 2000
- [j2]Martin Fabian, Ratnesh Kumar:
Mutually nonblocking supervisory control of discrete event systems. Autom. 36(12): 1863-1869 (2000) - [c3]Knut Åkesson, Martin Fabian, Arash Vahidi:
Coordination of batches in flexible production. ACC 2000: 2735-2739
1990 – 1999
- 1998
- [c2]Bengt Lennartson, Michael Tittus, Martin Fabian:
Modeling, specification and controller synthesis for discrete event systems. SMC 1998: 698-703 - 1997
- [j1]Martin Fabian, Bengt Lennartson:
A Class of Non-Deterministic Specifications for Supervisory Control. Eur. J. Control 3(1): 81-90 (1997) - 1995
- [c1]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: 1447-1454
Coauthor Index
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-14 00:55 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
