A One-Dimensional Sparse Space-Time Specification of the Generalized Railroad Crossing

Abstract : Modeling and reasoning about critical infrastructure systems is a complex endeavor. Various calculi and algebras have been crafted to help specify physical properties such as time and space, but these do not always translate well between physical entities and their conceptual specifications. Although real-world critical infrastructure systems involve components of both time and space, many existing specification methods focus most strongly on the temporal components, leaving spatial details largely ignored or forcing then to fit within the confines of the temporal specification. This paper presents a one-dimensional sparse space-time specification created using a spatial-temporal logic in which real-world constraints are incorporated in the logic using the next operator. The simplicity and utility of the spatial-temporal formalism is demonstrated by applying it to the generalized railroad crossing problem.
Type de document :
Communication dans un congrès
Jonathan Butts; Sujeet Shenoi. 6th International Conference on Critical Infrastructure Protection (ICCIP), Mar 2012, Washington, DC, United States. Springer, IFIP Advances in Information and Communication Technology, AICT-390, pp.187-204, 2012, Critical Infrastructure Protection VI. 〈10.1007/978-3-642-35764-0_14〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01483813
Contributeur : Hal Ifip <>
Soumis le : lundi 6 mars 2017 - 15:01:49
Dernière modification le : lundi 6 mars 2017 - 15:05:07
Document(s) archivé(s) le : mercredi 7 juin 2017 - 14:24:00

Fichier

978-3-642-35764-0_14_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Michael Gosnell, Bruce Mcmillin. A One-Dimensional Sparse Space-Time Specification of the Generalized Railroad Crossing. Jonathan Butts; Sujeet Shenoi. 6th International Conference on Critical Infrastructure Protection (ICCIP), Mar 2012, Washington, DC, United States. Springer, IFIP Advances in Information and Communication Technology, AICT-390, pp.187-204, 2012, Critical Infrastructure Protection VI. 〈10.1007/978-3-642-35764-0_14〉. 〈hal-01483813〉

Partager

Métriques

Consultations de la notice

35

Téléchargements de fichiers

22