3 papers
eess.SY2024
Impact of Trip Distance Distribution Time Dependency and Aggregation Levels in Bathtub Models -- A Comparative Simulation Analysis
Jiayi Guo, Irene MartÃnez, Gonçalo Correia +1
Bathtub models are used to study urban traffic within a certain area. They do not require to take into account the detailed network topology. The emergence of different bathtub mod…
cs.AI2024
How To Discover Short, Shorter, and the Shortest Proofs of Unsatisfiability: A Branch-and-Bound Approach for Resolution Proof Length Minimization
Konstantin Sidorov, Koos van der Linden, Gonçalo Homem de Almeida Correia +4
Modern software for propositional satisfiability problems gives a powerful automated reasoning toolkit, capable of outputting not only a satisfiable/unsatisfiable signal but also a…
math.OC2024
Optimizing Electric Carsharing System Operations and Battery Management: Integrating V2G, B2G and Battery Swapping Strategies
Shuang Yang, Gonçalo Homem de Almeida Correia, Jianjun Wu +1
Shared electric vehicles (SEVs) have emerged as a promising solution to contribute to sustainable urban mobility. However, ensuring the efficient operation and effective battery ma…