A formal mapping-based approach for distributed schedule coordination on projects

This paper extends Vickrey’s point-queue model to study ridesharing behavior during a morning commute with uncertain bottleneck location. Unlike other ridesharing cost analysis models, there are two congestion cases and four dynamic departure patterns in our model: pre-pickup congestion case and post-pickup congestion case; both early pattern, both late pattern, late for pickup but early for work pattern, and early for pickup but late for work pattern. Analytical results indicate that the dynamic property of the mixed commuters equilibrium varies with the endogenous penetration rates associated with ridesharing commutes, as well as the schedule difference between pickup and work. This work is expected to promote the development of ridesharing to mitigate the traffic congestion and motivate related research of schedule coordination for regulating the ridesharing travel behavior in terms of the morning commute problem.

Download Full-text

Schedule coordination through egalitarian recurrent multi-unit combinatorial auctions

Applied Intelligence ◽

10.1007/s10489-009-0178-7 ◽

2009 ◽

Vol 34 (1) ◽

pp. 47-63 ◽

Cited By ~ 14

Author(s):

Javier Murillo ◽

Víctor Muñoz ◽

Dídac Busquets ◽

Beatriz López

Keyword(s):

Combinatorial Auctions ◽

Schedule Coordination

Download Full-text

A formal mapping between OPC UA and the Semantic Web

2019 IEEE 17th International Conference on Industrial Informatics (INDIN) ◽

10.1109/indin41052.2019.8972102 ◽

2019 ◽

Author(s):

Rainer Schiekofer ◽

Stephan Grimm ◽

Maja Milicic Brandt ◽

Michael Weyrich

Keyword(s):

Semantic Web ◽

Formal Mapping

Download Full-text

Model Transformations in Designing the ASSO Methodology

Transformation of Knowledge, Information and Data ◽

10.4018/978-1-59140-527-6.ch013 ◽

2011 ◽

pp. 283-302 ◽

Cited By ~ 5

Author(s):

Elvira Locuratolo

Keyword(s):

Formal Method ◽

Dynamic Modelling ◽

Data Models ◽

Model Transformations ◽

Conceptual Schema ◽

Behavioural Modelling ◽

Semantic Data ◽

Object Models ◽

Consistency Proofs ◽

Formal Mapping

ASSO, an innovative conceptual methodology which combines features of database design with the formal method B, has been defined in order to ensure the flexibility of semantic data models, the efficiency of object models and design correctness. Starting from a directed acyclic graph of classes supported by semantic data models, a formal mapping generates classes supported by object models. The classes supported by semantic data models are then extended with aspects of behavioural modelling: a relationship with the B model is established and the consistency proofs of the whole schema are reduced to small obligations of B. This chapter evidences how ASSO is based on model transformations. These have been introduced with various purposes: to map semantic data models to object models, to integrate static and dynamic modelling, to link formal and informal notations and to relate the conceptual schema and the logical schema of the methodology.

Download Full-text

Resilient Schedule Coordination for a Bus Transit Corridor

Journal of Advanced Transportation ◽

10.1155/2020/5398298 ◽

2020 ◽

Vol 2020 ◽

pp. 1-12

Author(s):

Xiongfei Lai ◽

Jing Teng ◽

Paul Schonfeld ◽

Lu Ling

Keyword(s):

Bus Transit ◽

Schedule Coordination ◽

Operating Environments ◽

Transit Services ◽

Passenger Flows ◽

Transit Agencies ◽

Transfer Stations ◽

Link Travel Time ◽

Bus Schedule ◽

In Transit

Providing convenient transit services at reasonable cost is important for transit agencies. Timed transfers that schedule vehicles from various routes to arrive at some transfer stations simultaneously (or nearly so) can significantly reduce wait times in transit networks, while stochastic passenger flows and complex operating environments may reduce this improvement. Although transit priority methods have been applied in some high-density cities, operating delays may cause priority failures. This paper proposes a resilient schedule coordination method for a bus transit corridor, which analyzes link travel time, passenger loading delay, and priority signal intersection delay. It maximizes resilience based on realistic passenger flow volume, whether or not transit priority is provided. The data accuracy and result validity are improved with automatically collected data from multiple bus routes in a corridor. The Yan’an Road transit corridor in Shanghai is used as a case study. The results show that the proposed method can increase the system resilience by balancing operation cost and passenger-based cost. It also provides a guideline for realistic bus schedule coordination.

Download Full-text