9 citations · 13 across the 10 of their papers we have counts for
4 papers · 1 filter
An SMT Based Compositional Algorithm to Solve a Conflict-Free Electric Vehicle Routing Problem
Sabino Francesco Roselli, Martin Fabian, Knut Åkesson
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 th…
Leveraging Conflicting Constraints in Solving Vehicle Routing Problems
Sabino Francesco Roselli, Remco Vader, Martin Fabian +1
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,…
Supervisory Control Synthesis of Timed Automata Using Forcible Events
Aida Rashidinejad, Michel Reniers, Martin Fabian
Considering real-valued clocks in timed automata (TA) makes it a practical modeling framework for discrete-event systems. However, the infinite state space brings challenges to the…
Networked Supervisory Control Synthesis of Timed Discrete-Event Systems
Aida Rashidinejad, Michel Reniers, Martin Fabian
Conventional supervisory control theory assumes full synchronization between the supervisor and the plant. This assumption is violated in a networked-based communication setting du…