A concept lattice-based event model for Cyber-Physical Systems

Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS '10

Volumn , Issue , 2010, Pages 50-60

  Tan, Ying ^a   Vuran, Mehmet C ^a   Goddard, Steve ^a   Yu, Yue ^b   Song, Miao ^b   Ren, Shangping ^b  

^a UNIVERSITY OF NEBRASKA LINCOLN   (United States)

^b Illinois Institute of Technology   (United States)

Author keywords

CPS architecture; cyber physical systems; event modeling; temporal and spatial event conditions

Indexed keywords

BUILDING BLOCKES; COMPARISON RESULT; COMPOSITION RULE; COMPUTATIONAL COMPONENTS; CONCEPT LATTICES; CYBER-PHYSICAL SYSTEMS; DESIGN PRINCIPLES; EVENT MODEL; EVENT MODELING; EVENT-BASED; EVENT-BASED SYSTEM; IMPLEMENTATION MODELS; JAVA IMPLEMENTATION; OFF-LINE ANALYSIS; PHYSICAL DEVICES; PHYSICAL WORLD; QOS SUPPORT; RUNTIMES; SMART HOMES; SPATIAL EVENTS; SPATIO-TEMPORAL PROPERTIES; SYSTEM COMPONENTS; TEMPORAL AND SPATIAL EVENT CONDITIONS; THREE COMPONENT;

JAVA PROGRAMMING LANGUAGE;

MODELS;

EID: 77954609873     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1795194.1795202     Document Type: Conference Paper

References (34)

1. T. Abraham and J. F. Roddick. Survey of Spatio-Temporal Databases. Geoinformatica, 3(1):61-99, 1999.
2. R. Adaikkalavan and S. Chakravarthy. SnoopIB: interval-based event specification and detection for active databases. Data Knowl. Eng., 59(1):139-165, 2006.
3. H. Barringer, A. Goldberg, K. Havelund, and K. Sen. Rule-Based Runtime Verification. 5th International Conference on Verification, Model Checking and Abstract Interpretation, 2937:277-306, 2004.
4. S. Chakravarthy. Sentinel: an object-oriented DBMS with event-based rules. SIGMOD Rec., 26(2):572-575, 1997.
5. R. Cole and P. Eklund. Scalability In Formal Concept Analysis. Computational Intelligence, 15:11-27, 1999.
6. R. Cole, P. Eklund, and G. Stumme. {CEM} - A Program for Visualization and Discovery in Email. In Proc. Principles of Data Mining and Knowledge Discovery., volume 1910, pages 367-374, 2000.
7. M. J. Egenhofer and K. K. Al-Taha. Reasoning about Gradual Changes of Topological Relationships. Proc. of the International Conference GIS, pages 196-219, 1992.
8. V. Ermolayev, N. Keberle, and W.-E. Matzke. An Ontology of Environments, Events, and Happenings. In Proceedings of the 32nd Annual IEEE International Computer Software and Applications, COMPSA'08, 2008.
9. S. Gatziu and K. R. Dittrich. Detecting Composite Events in Active Database Systems Using Petri Nets. RIDS'94: Proceedings 4th International Workshop on Active Database Systems, pages 2-9, 1994.
10. D. Gay, P. Levis, R. von Behren, M. Welsh, E. Brewer, and D. Culler. The nesc language: A holistic approach to networked embedded systems. In PLDI '03: Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation, pages 1-11, New York, NY, USA, 2003. ACM.
11. N. H. Gehani, H. V. Jagadish, and O. Shmueli. Composite Event Specification in Active Databases: Model & Implementation. In Proc. of the 18th Intl. Conference on Very Large Data Bases, pages 327-338, 1992.
12. B. Groh and P. W. Eklund. Algorithms for Creating Relational Power Context Families from Conceptual Graphs. In Proceedings of the 7th International Conference on Conceptual Structures, pages 389-400, 1999.
13. M. Kim and M. V. Etc. Formally specified monitoring of temporal properties. Proc. of the 11th Euromicro Conference on Real-Time Systems, pages 114-122, 1999.
14. M. Kim and S. K. Etc. Java-MaC: a Rigorous Run-time Assurance Tool for Java Programs. Formal Methods in System Design, 24(2):129-155, 2004.
15. R. Kowalski and M. Sergot. A logic-based calculus of events. New Gen. Comput., 4(1):67-95, 1986.
16. L. Lamport. Time, clocks, and the ordering of events in a distributed system. Commun. ACM, 21(7):558-565, 1978.
17. E. A. Lee. Cyber Physical Systems: Design Challenges. 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC), pages 363-369, May 2008.
18. I. Lee and O. Sokolsky. Semantics of high-level event definition. In First Workshop on Event-based Semantics, 2007.
19. P. Levis, N. Lee, M. Welsh, and D. Culler. Tossim: accurate and scalable simulation of entire tinyos applications. In SenSys '03: Proceedings of the 1st international conference on Embedded networked sensor systems, pages 126-137, New York, NY, USA, 2003. ACM.
20. C. Lindig and A. Softwaretechnologie. Concept-Based Component Retrieval. In Working Notes of the IJCAI-95 Workshop: Formal Approaches to the Reuse of Plans, Proofs, and Programs, pages 21-25, 1995.
21. M. Liquiere and J. Sallantin. Structural machine learning with Galois lattice and Graphs. In Proc. of the 1998 Int. Conf. on Machine Learning, pages 305-313, 1998.
22. D. McCarthy and U. Dayal. The architecture of an active database management system. SIGMOD Rec., 18(2):215-224, 1989.
23. A. K. Mok, P. Konana, and G. L. Etc. Specifying timing constraints and composite events: an application in the design of electronic brokerages. IEEE TSE, 30(12):841-858, 2004.
24. A. K. 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, pages 191-200, 2002.
25. E. T. Mueller. Automating commonsense reasoning using the event calculus. Commun. ACM, 52(1):113-117, 2009.
26. N. B. Priyantha, A. Chakraborty, and H. Balakrishnan. The Cricket location-support system. In MobiCom '00: Proceedings of the 6th annual international conference on Mobile computing and networking, pages 32-43, New York, NY, USA, 2000. ACM.
27. S. Shen, C. Xia, R. Sprick, L. C. Perez, and S. Goddard. Comparison of three Kalman filters for an indoor passive tracking system. In Electro/Information Technology, 2007 IEEE International Conference on, pages 284-289, May 2007.
28. G. Snelting. Reengineering of configurations based on mathematical concept analysis. ACM Trans. Softw. Eng. Methodol., 5(2):146-189, 1996. (Pubitemid 126418672)
29. G. Snelting and F. Tip. Reengineering Class Hierarchies Using Concept Analysis. In In ACM Trans. Programming Languages and Systems, pages 99-110, 1998.
30. C. Talcott. Cyber-Physical Systems and Events. In Software-Intensive Systems and New Computing Paradigms, pages 101 - 115, Berlin, Heidelberg, 2008. Springer-Verlag.
31. Y. Tan, M. C. Vuran, and S. Goddard. Spatio-Temporal Event Model for Cyber-Physical Systems. International Conference on Distributed Computing Systems (ICDCS) Workshops on Cyber-Physical Systems, 0:44-50, 2009.
32. R. Wille. Formal Concept Analysis as Mathematical Theory of Concepts and Concept Hierarchies. Lecture Notes in Computer Science, 3626:1-33, 2005.
33. R. Wille. Restructuring lattice theory: An approach based on hierarchies of concepts. In ICFCA '09: Proceedings of the 7th International Conference on Formal Concept Analysis, pages 314-339, Berlin, Heidelberg, 2009. Springer-Verlag.
34. Y. Yu, S. Ren, and O. Frieder. Interval-Based Timing Constraints Their Satisfactions and Applications. IEEE Transactions on Computers, 57(3):418-432, 2008.