Hourglass Systems

Osada, Y., Reynolds, M. and French, T.

In this paper, we first describe a simplified scenario observed in mining operations, where trucks are loaded and emptied at different locations. We will then look at ways that we can model this subsystem using timed automata so we may be able to apply model checking techniques on such systems. Specifically, we will look at modifications to the Hourglass Automata and Interrupt Timed Automata to model the truck loading, unloading scenario, and we will show that reachability is maintained.

Cite as: Osada, Y., Reynolds, M. and French, T. (2015). Hourglass Systems. In Proc. 38th Australasian Computer Science Conference (ACSC 2015) Sydney, Australia. CRPIT, 159. Parry, D. Eds., ACS. 119-123

(from crpit.com) (local if available)