Reengineering of configurations based on mathematical concept analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
Sentinel: an object-oriented DBMS with event-based rules
SIGMOD '97 Proceedings of the 1997 ACM SIGMOD international conference on Management of data
The Cricket location-support system
MobiCom '00 Proceedings of the 6th annual international conference on Mobile computing and networking
Survey of Spatio-Temporal Databases
Geoinformatica
Algorithms for Creating Relational Power Context Families from Conceptual Graphs
ICCS '99 Proceedings of the 7th International Conference on Conceptual Structures: Standards and Practices
Structural Machine Learning with Galois Lattice and Graphs
ICML '98 Proceedings of the Fifteenth International Conference on Machine Learning
CEM-Visualisation and Discovery in Email
PKDD '00 Proceedings of the 4th European Conference on Principles of Data Mining and Knowledge Discovery
The nesC language: A holistic approach to networked embedded systems
PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
The Monitoring of Timing Constraints on Time Intervals
RTSS '02 Proceedings of the 23rd IEEE Real-Time Systems Symposium
TOSSIM: accurate and scalable simulation of entire TinyOS applications
Proceedings of the 1st international conference on Embedded networked sensor systems
Java-MaC: A Run-Time Assurance Approach for Java Programs
Formal Methods in System Design
IEEE Transactions on Software Engineering
SnoopIB: interval-based event specification and detection for active databases
Data & Knowledge Engineering
Interval-Based Timing Constraints Their Satisfactions and Applications
IEEE Transactions on Computers
Cyber Physical Systems: Design Challenges
ISORC '08 Proceedings of the 2008 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing
Automating commonsense reasoning using the event calculus
Communications of the ACM - Rural engineering development
An Ontology of Environments, Events, and Happenings
COMPSAC '08 Proceedings of the 2008 32nd Annual IEEE International Computer Software and Applications Conference
Cyber-Physical Systems and Events
Software-Intensive Systems and New Computing Paradigms
RESTRUCTURING LATTICE THEORY: AN APPROACH BASED ON HIERARCHIES OF CONCEPTS
ICFCA '09 Proceedings of the 7th International Conference on Formal Concept Analysis
Spatio-Temporal Event Model for Cyber-Physical Systems
ICDCSW '09 Proceedings of the 2009 29th IEEE International Conference on Distributed Computing Systems Workshops
Formal concept analysis as mathematical theory of concepts and concept hierarchies
Formal Concept Analysis
Hi-index | 0.00 |
Cyber-Physical Systems (CPS) involve communication, computation, sensing, and actuating through heterogeneous and widely distributed physical devices and computational components. The close interactions of these systems with the physical world places events as the major building blocks for the realization of CPS. More specifically, the system components and design principles should be revisited with a strictly event-based approach. In this paper, a concept lattice-based event model for CPS is introduced. Under this model, a CPS event is uniformly represented by three components: event type, its internal attributes, and its external attributes. The internal and external attributes together characterize the type, spatiotemporal properties of the event as well as the components that observe it. A set of event composition rules are defined where the CPS event composition is based on a CPS concept lattice. The resulting event model can be used both as an offline analysis tool as well as a run-time implementation model due to its distributed nature. A real-life smart home example is used to illustrate the proposed event model. To this end, a CPS event simulator is implemented to evaluate the developed event model and compare with the existing Java implementation of the smart home application. The comparison result shows that the event model provides several advantages in terms of flexibility, QoS support, and complexity. The proposed event model lay the foundations of event-based system design in CPS.