Hourglass Systems

Research output: Chapter in Book/Conference paperConference paper

Abstract

© 2015, Australian Computer Society, Inc. 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.
Original languageEnglish
Title of host publicationProceedings of the 385h Australasian Computer Science Conference (ACSC 2015)
PublisherCRPIT, ACT
Pages119-123
Volume159
ISBN (Print)9781921770418
Publication statusPublished - 2015
EventHourglass Systems - Sydney, Australia
Duration: 1 Jan 2015 → …

Conference

ConferenceHourglass Systems
Period1/01/15 → …

Fingerprint

Trucks
Model checking
Unloading

Cite this

Osada, Y., Reynolds, M., & French, T. (2015). Hourglass Systems. In Proceedings of the 385h Australasian Computer Science Conference (ACSC 2015) (Vol. 159, pp. 119-123). CRPIT, ACT.
Osada, Yuki ; Reynolds, Mark ; French, Tim. / Hourglass Systems. Proceedings of the 385h Australasian Computer Science Conference (ACSC 2015). Vol. 159 CRPIT, ACT, 2015. pp. 119-123
@inproceedings{8fa6cb8f576c40548a3f6f7d4f054723,
title = "Hourglass Systems",
abstract = "{\circledC} 2015, Australian Computer Society, Inc. 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.",
author = "Yuki Osada and Mark Reynolds and Tim French",
year = "2015",
language = "English",
isbn = "9781921770418",
volume = "159",
pages = "119--123",
booktitle = "Proceedings of the 385h Australasian Computer Science Conference (ACSC 2015)",
publisher = "CRPIT, ACT",

}

Osada, Y, Reynolds, M & French, T 2015, Hourglass Systems. in Proceedings of the 385h Australasian Computer Science Conference (ACSC 2015). vol. 159, CRPIT, ACT, pp. 119-123, Hourglass Systems, 1/01/15.

Hourglass Systems. / Osada, Yuki; Reynolds, Mark; French, Tim.

Proceedings of the 385h Australasian Computer Science Conference (ACSC 2015). Vol. 159 CRPIT, ACT, 2015. p. 119-123.

Research output: Chapter in Book/Conference paperConference paper

TY - GEN

T1 - Hourglass Systems

AU - Osada, Yuki

AU - Reynolds, Mark

AU - French, Tim

PY - 2015

Y1 - 2015

N2 - © 2015, Australian Computer Society, Inc. 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.

AB - © 2015, Australian Computer Society, Inc. 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.

M3 - Conference paper

SN - 9781921770418

VL - 159

SP - 119

EP - 123

BT - Proceedings of the 385h Australasian Computer Science Conference (ACSC 2015)

PB - CRPIT, ACT

ER -

Osada Y, Reynolds M, French T. Hourglass Systems. In Proceedings of the 385h Australasian Computer Science Conference (ACSC 2015). Vol. 159. CRPIT, ACT. 2015. p. 119-123