Martin Fabian
YOU?
Author Swipe
View article: Optimal Multi-agent Path Finding in Continuous Time
Optimal Multi-agent Path Finding in Continuous Time Open
Continuous-time Conflict Based-Search (CCBS) has long been viewed as the standard optimal baseline for multi-agent path finding in continuous time (MAPFR), yet recent critiques show that the theoretically described CCBS can fail to termina…
View article: A Comparative Study of SMT and MILP for the Nurse Rostering Problem
A Comparative Study of SMT and MILP for the Nurse Rostering Problem Open
The effects of personnel scheduling on the quality of care and working conditions for healthcare personnel have been thoroughly documented. However, the ever-present demand and large variation of constraints make healthcare scheduling part…
View article: Automatic Conversion of Smart Contracts for Non-Blocking Verification
Automatic Conversion of Smart Contracts for Non-Blocking Verification Open
Smart contracts are programs stored on a blockchain ledger, thus being immutable after deployment, which makes assessment of their correctness before deployment vital. Extended finite state machines (EFSM) offer a structured framework for …
View article: On proving that an unsafe controller is not proven safe
On proving that an unsafe controller is not proven safe Open
Cyber-physical systems are often safety-critical and their correctness is crucial, such as in the case of automated driving. Using formal mathematical methods is one way to guarantee correctness and improve safety. Although these methods h…
View article: Conflict-free electric vehicle routing problem: an improved compositional algorithm
Conflict-free electric vehicle routing problem: an improved compositional algorithm Open
The Conflict-Free Electric Vehicle Routing Problem (CF-EVRP) is a combinatorial optimization problem of designing routes for vehicles to execute tasks such that a cost function, typically the number of vehicles or the total travelled dista…
View article: The IEQ Occupant Manikin: a holistic indoor environmental quality assessment tool
The IEQ Occupant Manikin: a holistic indoor environmental quality assessment tool Open
Indoor environmental quality (IEQ) measurement is a fundamental part of quantifying the performance of any space. Performing measurements and interpreting the results require expensive equipment and specialist knowledge for each parameter.…
View article: Robust stutter bisimulation for abstraction and controller synthesis with disturbance
Robust stutter bisimulation for abstraction and controller synthesis with disturbance Open
View article: A survey on compositional algorithms for verification and synthesis in supervisory control
A survey on compositional algorithms for verification and synthesis in supervisory control Open
View article: Supervisory Control Synthesis of Timed Automata Using Forcible Events
Supervisory Control Synthesis of Timed Automata Using Forcible Events Open
This paper presents an algorithm for synthesizing a supervisor for timed automata (TA) using the conventional supervisory control theory. The algorithm is directly applicable to TA without explicit transformation into finite automata, and …
View article: Lupremica – Lua Scripting for Supremica*
Lupremica – Lua Scripting for Supremica* Open
Supremica is a software tool that implements several state-of-the-art algorithms to manipulate discrete-event systems, such as different types of compositions and compositional supervisor synthesis. Lua is a light-weight programming langua…
View article: On Active Learning for Supervisor Synthesis
On Active Learning for Supervisor Synthesis Open
Supervisory control theory provides an approach to synthesize supervisors for cyber-physical systems using a model of the uncontrolled plant and its specifications. These supervisors can help guarantee the correctness of the closed-loop co…
View article: A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases
A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases Open
The safety of automated driving systems must be justified by convincing arguments and supported by compelling evidence to persuade certification agencies, regulatory entities, and the general public to allow the systems on public roads. Th…
View article: Hazard Analysis of Collaborative Automation Systems: A Two-layer Approach based on Supervisory Control and Simulation
Hazard Analysis of Collaborative Automation Systems: A Two-layer Approach based on Supervisory Control and Simulation Open
Safety critical systems are typically subjected to hazard analysis before commissioning to identify and analyse potentially hazardous system states that may arise during operation. Currently, hazard analysis is mainly based on human reason…
View article: On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic
On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic Open
Cyber-physical systems are often safety-critical and their correctness is crucial, as in the case of automated driving. Using formal mathematical methods is one way to guarantee correctness. Though these methods have shown their usefulness…
View article: Sequence Planner: A Framework for Control of Intelligent Automation Systems
Sequence Planner: A Framework for Control of Intelligent Automation Systems Open
This paper presents a framework that tackles the challenges met in the development of automation systems featuring collaborative robotics and other machines that have some degree of autonomy. These machines rely on online algorithms for bo…
View article: Robust Stutter Bisimulation for Abstraction and Controller Synthesis with Disturbance: Proofs
Robust Stutter Bisimulation for Abstraction and Controller Synthesis with Disturbance: Proofs Open
This paper proposes a method to synthesise controllers for cyber-physical systems such that the controlled systems satisfy specifications given as linear temporal logic formulas. The focus is on systems with disturbance, where future state…
View article: A Compositional Algorithm for the Conflict-Free Electric Vehicle Routing Problem
A Compositional Algorithm for the Conflict-Free Electric Vehicle Routing Problem Open
The Conflict-Free Electric Vehicle Routing Problem (CF-EVRP) is an extension of the Vehicle Routing Problem (VRP), a combinatorial optimization problem of designing routes for vehicles to visit customers such that a cost function, typicall…
View article: Interactive formal specification for efficient preparation of intelligent automation systems
Interactive formal specification for efficient preparation of intelligent automation systems Open
The automation system of the future will consist of an increasing amount of complex resources, such as collaborative robots and/or autonomously roaming robots for material handling. To control these devices in an environment shared with hu…
View article: Formal Development of Safe Automated Driving using Differential Dynamic Logic
Formal Development of Safe Automated Driving using Differential Dynamic Logic Open
The challenges in providing convincing arguments for safe and correct behavior of automated driving (AD) systems have so far hindered their widespread commercial deployment. Conventional development approaches such as testing and simulatio…
View article: A Compositional Algorithm for the Conflict-Free Electric Vehicle Routing\n Problem
A Compositional Algorithm for the Conflict-Free Electric Vehicle Routing\n Problem Open
The Conflict-Free Electric Vehicle Routing Problem (CF-EVRP) is an extension\nof the Vehicle Routing Problem (VRP), a combinatorial optimization problem of\ndesigning routes for vehicles to visit customers such that a cost function,\ntypic…
View article: Automatically Learning Formal Models from Autonomous Driving Software
Automatically Learning Formal Models from Autonomous Driving Software Open
The correctness of autonomous driving software is of utmost importance, as incorrect behavior may have catastrophic consequences. Formal model-based engineering techniques can help guarantee correctness and thereby allow the safe deploymen…
View article: Leveraging Conflicting Constraints in Solving Vehicle Routing Problems
Leveraging Conflicting Constraints in Solving Vehicle Routing Problems Open
The Conflict-Free Electric Vehicle Routing Problem (CF-EVRP) is a combinatorial optimization problem of designing routes for vehicles to visit customers such that a cost function, typically the number of vehicles or the total travelled dis…
View article: Modeling and Security Verification of State-Based Smart Contracts
Modeling and Security Verification of State-Based Smart Contracts Open
Smart contracts are programs that are stored on a blockchain ledger with code immutable after deployment. Thus, verifying the correct behavior of smart contracts before deployment is vital. This paper demonstrates how a security vulnerabil…
View article: Temporal Logic Falsification of Cyber-Physical Systems using Input Pulse Generators
Temporal Logic Falsification of Cyber-Physical Systems using Input Pulse Generators Open
Falsification is a testing method for cyber-physical systems where numerical optimization is used to find counterexamples of a given specification that the system must fulfill. The falsification process uses quantitative semantics that pla…
View article: Testing Cyber–Physical Systems Using a Line-Search Falsification Method
Testing Cyber–Physical Systems Using a Line-Search Falsification Method Open
Cyber-physical systems (CPSs) are complex and exhibit both continuous and discrete dynamics, hence it is difficult to guarantee that they satisfy given specifications, i.e., the properties that must be fulfilled by the system. Falsificatio…
View article: An SMT Based Compositional Algorithm to Solve a Conflict-Free Electric Vehicle Routing Problem
An SMT Based Compositional Algorithm to Solve a Conflict-Free Electric Vehicle Routing Problem Open
The Vehicle Routing Problem (VRP) is the combinatorial optimization problem of designing routes for vehicles to visit customers in such a fashion that a cost function, typically the number of vehicles, or the total travelled distance is mi…
View article: Testing Cyber-Physical Systems Using a Line-Search Falsification Method
Testing Cyber-Physical Systems Using a Line-Search Falsification Method Open
Cyber-physical systems (CPSs) are complex and exhibit both continuous and discrete dynamics, hence it is difficult to guarantee that they satisfy given specifications, i.e., the properties that must be fulfilled by the system. Falsificatio…
View article: Solving the Conflict-Free Electric Vehicle Routing Problem Using SMT Solvers
Solving the Conflict-Free Electric Vehicle Routing Problem Using SMT Solvers Open
The vehicle routing problem is a combinatorial optimization problem of computing routes to serve customers while minimizing a cost function, typically the traveled distance or the number of vehicles required. Industrial applications of the…
View article: An SMT Based Compositional Algorithm to Solve a Conflict-Free Electric\n Vehicle Routing Problem
An SMT Based Compositional Algorithm to Solve a Conflict-Free Electric\n Vehicle Routing Problem Open
The Vehicle Routing Problem (VRP) is the combinatorial optimization problem\nof designing routes for vehicles to visit customers in such a fashion that a\ncost function, typically the number of vehicles, or the total travelled\ndistance is…
View article: Falsifying Cyber-Physical Systems – a Hybrid Optimization-Free and an Optimization-Based Line-Search Approach
Falsifying Cyber-Physical Systems – a Hybrid Optimization-Free and an Optimization-Based Line-Search Approach Open
Cyber-physical systems (CPSs) are complex and exhibit both continuous and discrete dynamics, hence it is difficult to guarantee that they satisfy given specifications, i.e., the properties that must be fulfilled by the system. Falsificatio…