The design and simulation of an autonomous system for aircraft maintenance scheduling

Liu, Yinling; Wang, Tao; Zhang, Haiqing; Cheutet, Vincent; Shen, Guohua

doi:10.1016/j.cie.2019.106041

Cited by 25 publications

(13 citation statements)

References 28 publications

(32 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Different techniques have been used in the analysis and design of maintenance strategies as the here reported, such as agent-based modeling [35][36][37] and discrete simulation [38]. However, those investigations analyze only the impact of maintenance on service or process operations, but do not analyze the impact caused by the maintenance process on other key logistics processes of the company.…”

Section: Methodsmentioning

confidence: 99%

A System Dynamics Model to Evaluate the Impact of Production Process Disruption on Order Shipping

et al. 2019

View full text Add to dashboard Cite

Multiple studies have analyzed the importance of preventive maintenance. Similarly, they have developed and/or evaluated various spare part inventory management policies that help companies reduce the duration of production disruptions resulting from sudden mechanical failures. All of these studies assess the impact of mechanical failures on local aspects, such as idle times or management policies. However, they do not holistically evaluate how machine failures affect key performance indicators. To address this gap, we proposed a System Dynamics (SD) model to systemically analyze the impact of machine part failures on order shipping, a key performance indicator. Similarly, we assessed the impact of machine part failures on the levels of the company’s finished goods inventory. The research was conducted in a glass bottle manufacturing company. To increase order shipping as a performance indicator, we identified the key variables of the production process and conducted a sensitivity analysis of the variables. Our results indicate that it is possible to reach the company’s 98–100% complete delivery policy.

show abstract

Section: Methodsmentioning

confidence: 99%

A System Dynamics Model to Evaluate the Impact of Production Process Disruption on Order Shipping

et al. 2019

View full text Add to dashboard Cite

show abstract

“…Moreover, the air taxi maintenance and labor cost are anticipated to constitute about 22% of the VTOL direct operating costs (Holden and Goel, 2016). Due to these significant attributes, fleet maintenance, repair and overhaul (MRO) is considered as one of the key decisions for efficient aviation services (Papakostas et al, 2010;Atli and Kahraman, 2012;Liu et al, 2019). In addition, these periodic maintenance would have to be conducted on a large fleet of vehicles, especially when the air taxi market matures.…”

Section: Fleet Maintenancementioning

confidence: 99%

Air taxi service for urban mobility: A critical review of recent developments, future challenges, and opportunities

Rajendran

Srinivas

2020

Transportation Research Part E: Logistics and Transportation Re

135

View full text Add to dashboard Cite

Expected to operate in the imminent future, air taxi service (ATS) is an aerial on-demand transport for a single passenger or a small group of riders, which seeks to transform the method of everyday commute. This uncharted territory in the emerging transportation world is anticipated to enable consumers bypass traffic congestion in urban road networks. By adopting an electric vertical takeoff and landing concept (eVTOL), air taxis could be operational from skyports retrofitted on building rooftops, thus gaining advantage from an implementation standpoint. Motivated by the potential impact of ATS, this study provides a review of air taxi systems and associated operations. We first discuss the current developments in the ATS (demand prediction, air taxi network design, and vehicle configuration). Next, we anticipate potential future challenges of ATS from an operations management perspective, and review the existing literature that could be leveraged to tackle these problems (ride-matching, pricing strategies, vehicle maintenance scheduling, and pilot training and recruitment). Finally, we detail future research opportunities in the air taxi domain.

show abstract

“…In terms of service level, onTimeFlights, delayFlights and canceledFlights are defined. One flight is supposed to be canceled if the delayed time from the departure of a plane is more than 4 hours (Liu et al 2019).…”

Section: Simulation Model Modificationmentioning

confidence: 99%

“…Therefore, in this paper, we choose NuSMV as the model checker. The approach proposed is employed to verify the behaviours of the ABSS proposed by Liu et al (2019). As shown in Fig.…”

Section: Introductionmentioning

confidence: 99%

An improved approach on the model checking for an agent-based simulation system

et al. 2020

Self Cite

View full text Add to dashboard Cite

Model checking is an effective way to verify behaviours of an agent-based simulation system. Three behaviours are analysed: operational, control, and global behaviours. Global behaviours of a system emerge from operational behaviours of local components regulated by control behaviours of the system. The previous works principally focus on verifying the system from the operational point of view (operational behaviour). The satisfaction of the global behaviour of the system conforming to the control behaviour has not been investigated. Thus, in this paper, we propose a more complete approach for verifying global and operational behaviours of systems. To do so, these three behaviours are firstly formalized by automata-based techniques. The metatransformation between automata theories and Kripke structure is then provided, in order to illustrate the feasibility for the model transformation between the agent-based simulation model and Kripke structure based model. Then, a mapping between the models is proposed. Subsequently, the global behaviour of the system is verified by the properties extracted from the control behaviour and the operational behaviour is checked by general system performance properties (e.g. safety, deadlock freedom). Finally, a case study on the simulation system for aircraft maintenance has been carried out. A counterexample of signals sending between Flight agent and Plane agent has been produced by NuSMV model checker. Modifications for the NuSMV model and agent-based simulation model have been performed. The experiment results show that 9% out of 19% of flights have been changed to be serviceable.

show abstract

The design and simulation of an autonomous system for aircraft maintenance scheduling

Cited by 25 publications

References 28 publications

A System Dynamics Model to Evaluate the Impact of Production Process Disruption on Order Shipping

A System Dynamics Model to Evaluate the Impact of Production Process Disruption on Order Shipping

Air taxi service for urban mobility: A critical review of recent developments, future challenges, and opportunities

An improved approach on the model checking for an agent-based simulation system

Contact Info

Product

Resources

About