default search action
Martin Fabian
- > Home > Persons > Martin Fabian
Publications
- 2024
- [j30]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) - [j26]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) - 2022
- [j23]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) - [j21]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) - [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) - 2021
- [j19]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 - [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 - [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) - 2019
- [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 - [c41]Zahra Ramezani, Jonas Krook, Zhennan Fei, Martin Fabian, Knut Åkesson:
Comparative Case Studies of Reactive Synthesis and Supervisory Control. ECC 2019: 1752-1759 - [c38]Zahra Ramezani, Nicholas Smallbone, Martin Fabian, Knut Åkesson:
Evaluating Two Semantics for Falsification using an Autonomous Driving Example. INDIN 2019: 386-391 - 2017
- [j16]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) - [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
- [j15]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) - 2014
- [j13]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) - [j11]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) - 2012
- [j10]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) - [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 - 2010
- [j8]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) - [j7]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) - [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 - 2008
- [c14]Oscar Ljungkrantz, Knut Åkesson, Martin Fabian:
Formal specification and verification of components for industrial logic control programming. CASE 2008: 935-940 - 2007
- [j3]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 - 2000
- [c3]Knut Åkesson, Martin Fabian, Arash Vahidi:
Coordination of batches in flexible production. ACC 2000: 2735-2739
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-06-10 21:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint