Spatio-Temporal Event Model for Cyber-Physical Systems

Proceedings - International Conference on Distributed Computing Systems

Volumn , Issue , 2009, Pages 44-50

  Tan, Ying ^a   Vuran, Mehmet C ^a   Goddard, Steve ^a  

^a UNIVERSITY OF NEBRASKA LINCOLN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EMBEDDED SYSTEMS;

COMMUNICATION AND CONTROL; CONDITION; CYBE-PHYSICAL SYSTEMS; CYBER-PHYSICAL SYSTEMS; DECISION MECHANISM; EVENT MODEL; EVENTS DETECTION; PHYSICAL WORLD; SPATIOTEMPORAL EVENT; TEMPORAL AND SPATIAL;

CYBER PHYSICAL SYSTEM;

EID: 85093116188     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICDCSW.2009.82     Document Type: Conference Paper

References (22)

1. E. Lee, “Cyber physical systems: Design challenges,” Object Oriented Real-Time Distributed Computing (ISORC), 2008 11th IEEE International Symposium on, pp. 363–369, May 2008.
2. D. McCarthy and U. Dayal, “The architecture of an active database management system,” SIGMOD Rec., vol. 18, no. 2, pp. 215–224, 1989.
3. N. Gehani, H. Jagadish, and O. Shmueli, “Composite event specification in active databases: Model & implementation,” VLDB’92: Proceedings of the 18th International Conference on Very Large Data Bases, pp. 327–338, 1992.
4. S. Gatziu and K. Dittrich, “Detecting composite events in active database systems using petri nets,” RIDS’94: Proceedings 4th International Workshop on Active Database Systems, pp. 2–9, 1994.
5. S. Chakravarthy, “Sentinel: an object-oriented dbms with event-based rules,” SIGMOD Rec., vol. 26, no. 2, pp. 572–575, 1997.
6. R. Adaikkalavan and S. Chakravarthy, “Snoopib: interval-based event specification and detection for active databases,” Data Knowl. Eng., vol. 59, no. 1, pp. 139–165, 2006.
7. I. Lee and O. Sokolsky, “Semantics of high-level event definition,” in First Workshop on Event-based Semantics, 2007.
8. H. Barringer, A. Goldberg, K. Havelund, and K. Sen, “Rule-based runtime verification,” 5th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI’04), vol. 2937, pp. 277–306, Jan. 2004.
9. M. Kim and M. V. etc., “Formally specified monitoring of temporal properties,” Real-Time Systems, 1999. Proceedings of the 11th Euromicro Conference on, pp. 114–122, 1999.
10. M. Kim and S. K. etc., “Java-mac: a rigorous run-time assurance tool for java programs,” Formal Methods in System Design, vol. 24, no. 2, pp. 129–155, 2004.
11. A. Mok, P. Konana, and G. L. etc., “Specifying timing constraints and composite events: an application in the design of electronic brokerages,” IEEE Transactions on Software Engineering, vol. 30, no. 12, pp. 841–858, 2004.
12. A. Mok, C.-G. Lee, H. Woo, and P. Konana, “The monitoring of timing constraints on time intervals,” RTSS’02: Proceedings of the 23rd IEEE International Real-Time Systems Symposium, pp. 191–200, 2002.
13. R. Meier and V. Cahill, “Taxonomy of Distributed Event-Based Programming Systems,” The Computer Journal, vol. 48, no. 5, pp. 602–626, 2005.
14. T. J. Owens, “Survey of event processing,” AFRL/RIED, Tech. Rep. AFRL-RI-RS-TIM-2007-16, Dec. 2007, in-House Technical Memorandum.
15. E. Wu, Y. Diao, and S. Rizvi, “High-performance complex event processing over streams,” SIGMOD’06: Proceedings of the 2006 ACM SIGMOD international conference on Management of data, pp. 407–418, 2006.
16. T. Abraham and J. F. Roddick, “Survey of spatio-temporal databases,” Geoinformatica, vol. 3, no. 1, pp. 61–99, 1999.
17. M. J. Egenhofer and K. K. Al-Taha, “Reasoning about gradual changes of topological relationships,” Proceedings of the International Conference GIS, pp. 196–219, 1992.
18. Y. Tan, S. Goddard, and L. C. Pérez, “A prototype architecture for cyber-physical systems,” SIGBED Review, Special Issue on the RTSS Forum on Deeply Embedded Real-Time Computing, vol. 5, no. 1, 2008.
19. I. F. Akyildiz, W. Su, Y. Sankarasubramaniam, and E. Cayirci, “Wireless sensor networks: a survey,” Computer Networks (Elsevier) Journal, vol. 38, no. 4, pp. 393–422, March 2002.
20. I. F. Akyildiz and I. H. Kasimoglu, “Wireless sensor and actor networks: Research challenges,” Ad Hoc Networks (Elsevier), vol. 2, no. 4, pp. 351–367, October 2004.
21. S. Chakravarthy and D. Mishra, “Snoop: an expressive event specification language for active databases,” Data Knowl. Eng., vol. 14, no. 1, pp. 1–26, 1994.
22. M. C. Vuran and O. B. Akan, “Spatio-temporal characteristics of point and field sources in wireless sensor networks,” Proc. IEEE ICC’06, June 2006.