Higher dimensional automata (HDA) are a model of concurrency that can express most of the traditional partial order models like Mazurkiewicz traces, pomsets, event structures, or Petri nets. Modal logics, interpreted over Kripke structures, are the logics for reasoning about sequential behavior and interleaved concurrency. Modal logic is a well behaved subset of first-order logic; many variants...

Firms are increasingly interested in transport policies that enable a shift in cargo volumes from road (truck) transport to less expensive, more sustainable, but slower and less flexible transport modes like railway or inland waterway transport. The lack of flexibility in terms of shipment quantity and delivery frequency may cause unnecessary inventories and lost sales, which may outweigh the s...

This paper presents a nonlinear-model based hybrid optimal control technique to compute a suboptimal power-split strategy for power/energy management in a parallel hybrid electric vehicle (PHEV). The power-split strategy is obtained as model predictive control solution to the power management control problem (PMCP) of the PHEV, i.e., to decide upon the power distribution among the internal comb...

Abstract Despite the ongoing processes of territorial integration, especially in Europe, there are still borders that fulfil their original function, namely a barrier. In some cases, this function has even been strengthened. Such is case with Poland’s eastern border, which also external border EU and Schengen Area. This article presents modal split passenger traffic under conditions frequent ch...

OBJECTIVES To study cyclists' share of transport modes (modal share) and single-bicycle crashes (SBCs) in different countries in order to investigate if the proportion of cyclist injuries resulting from SBCs is affected by variation in modal share. METHODS A literature search identified figures (largely from western countries) on SBC casualties who are fatally injured, hospitalised or treated...