Martin Fabian
Chalmers tekniska högskola
H-index: 29
Europe-Sweden
Top articles of Martin Fabian
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Conflict-free electric vehicle routing problem: an improved compositional algorithm | Discrete Event Dynamic Systems | Sabino Francesco Roselli Martin Fabian Knut Åkesson | 2024/3 |
On proving that an unsafe controller is not proven safe | Journal of Logical and Algebraic Methods in Programming | Yuvaraj Selvaraj Jonas Krook Wolfgang Ahrendt Martin Fabian | 2024/2/1 |
Robust stutter bisimulation for abstraction and controller synthesis with disturbance | Automatica | Jonas Krook Robi Malik Sahar Mohajerani Martin Fabian | 2024/2/1 |
Falsifying Cyber-Physical Systems--a Hybrid Optimization-Free and an Optimization-Based Line-Search Approach | Authorea Preprints | Zahra Ramezani Koen Claessen Nicholas Smallbone Martin Fabian Knut Åkesson | 2023/11/8 |
PMSM MTPA-control with Reinforcement Learning and CO2 burden | Raik Orbay Yijie Ren Joachim Härsjö Lukasz Sobieraj Martin Fabian | 2023/10/17 | |
A survey on compositional algorithms for verification and synthesis in supervisory control | Discrete Event Dynamic Systems | Robi Malik Sahar Mohajerani Martin Fabian | 2023/9 |
Hazard analysis of collaborative automation systems: A two-layer approach based on supervisory control and simulation | Tom P Huck Yuvaraj Selvaraj Constantin Cronrath Christoph Ledermann Martin Fabian | 2023/5/29 | |
Supervisory Control Synthesis of Timed Automata Using Forcible Events | IEEE Transactions on Automatic Control | Aida Rashidinejad Michel Reniers Martin Fabian | 2023/5/11 |
On Input Generators for Cyber-Physical Systems Falsification | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | Zahra Ramezani Alexandre Donzé Martin Fabian Knut Åkesson | 2023/11/16 |
Lupremica–Lua Scripting for Supremica | IFAC-PapersOnLine | Martin Fabian Robi Malik Sahar Mohajerani | 2023/1/1 |
On optimization of automation systems: Integrating modular learning and optimization | IEEE Transactions on Automation Science and Engineering | Fredrik Hagebring Ashfaq Farooqui Martin Fabian Bengt Lennartson | 2022/3/9 |
Interactive formal specification for efficient preparation of intelligent automation systems | CIRP Journal of Manufacturing Science and Technology | Martin Dahl Christian Larsen Endre Eros Kristofer Bengtsson Martin Fabian | 2022/8/1 |
On Active Learning for Supervisor Synthesis | IEEE Transactions on Automation Science and Engineering | Ashfaq Farooqui Ramon Tijsse Claase Martin Fabian | 2022/10/28 |
Automatically learning formal models from autonomous driving software | Feasible, Robust and Reliable Automation and Control for Autonomous Systems | Y Selvaraj A Farooqui G Panahandeh W Ahrendt M Fabian | 2022 |
Formal verification of deadlock avoidance rules for AGV systems | Sarmad Riazi Jonathan Falk Alexander Greger Anton Pettersson Martin Fabian | 2022/6/28 | |
Correction to: On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic | Yuvaraj Selvaraj Jonas Krook Wolfgang Ahrendt Martin Fabian | 2022/10/24 | |
Modeling and Security Verification of State-Based Smart Contracts | IFAC-PapersOnLine | Sahar Mohajerani Wolfgang Ahrendt Martin Fabian | 2022/1/1 |
Sequence planner: A framework for control of intelligent automation systems | Applied Sciences | Martin Dahl Endre Erős Kristofer Bengtsson Martin Fabian Petter Falkman | 2022/5/27 |
A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases | arXiv preprint arXiv:2210.07798 | Jonas Krook Yuvaraj Selvaraj Wolfgang Ahrendt Martin Fabian | 2022/10/13 |
Leveraging conflicting constraints in solving vehicle routing problems | IFAC-PapersOnLine | Sabino Francesco Roselli Remco Vader Martin Fabian Knut Åkesson | 2022/1/1 |