Distributed Systems

Conference Papers and Demos


  1. On the Incremental Reconfiguration of Time-sensitive Networks at Runtime (, , , , and ), In Proceedings of the IFIP Networking Conference., IFIP, .

    BibTeX



  2. Enhancing Flexibility for Dynamic Time-Sensitive Network Configurations (, , , , and ), In Proceedings of the 3rd KuVS Fachgespräch on Network Softwarization, Universität Tübingen, .

    BibTeX



    doi
  3. Travel light: state shedding for efficient operator migration (, , and ), In Proceedings of the 16th ACM International Conference on Distributed and Event-Based Systems (DEBS'22), ACM press, .

    BibTeX



    doi
  4. FA2: Fast, Accurate Autoscaling for Serving Deep Learning Inference with SLA Guarantees (, , , and ), In Proceedings of the 28th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2022), IEEE, .

    BibTeX



  5. PANDA: performance prediction for parallel and dynamic stream processing (, , and ), In Proceedings of the 16th ACM International Conference on Distributed and Event-Based Systems, ACM press, .

    BibTeX



    doi
  6. Window-based Parallel Operator Execution with In-Network Computing: Proceedings (, and ), In Proceedings of the 16th ACM International Conference on Distributed and Event-based Systems (DEBS '22), ACM New York, NY, USA, .

    Abstract

    Data parallel processing is a key concept to increase the scalability and elasticity in event streaming systems. Often data parallelism is accomplished in a splitter-merger architecture where the splitter divides incoming streams into partitions and forwards them to parallel operator instances. The splitter performance is a limiting factor to the system throughput and the parallelization degree.This work studies how to leverage novel methods of in-network computing to accelerate the splitter functionality by implementing it as an in-network function. While dedicated hardware for in-network computing has a high potential to enhance the splitter performance, in-network programming models like the P4 language are also highly limited in their expressiveness to support corresponding parallelization models. We propose P4SS which supports overlapping and non-overlapping count-based windows for multiple independent data streams and parallelizes them to a dynamically configurable number of operator instances. We validate in the context of a prototypical implementation our splitting strategy and its scalability in terms of switch resource consumption.


    Keywords: Data Parallelism, In-network Computing, Load Balancing, Complex Event Processing (CEP), P4 Language, Data Plane Programming


    BibTeX



    doi
  7. On the Use of the Conformance and Compliance Keywords During Verification of Business Processes (, and ), In BPM 2022 Forum, Springer International Publishing, .

    Abstract

    A wealth of techniques have been developed over the past decades to help organizations understand their processes, verify correctness against requirements and diagnose potential problems. In general, these techniques for verification allow us to check whether a business process conforms or complies with some specification, and each of them is specifically designed to solve a particular business problem at each stage of the BPM lifecycle. However, the terms conformance and compliance are often used as synonyms and their distinct differences in verification goals is blurring. As a result, the terminology used to describe the techniques or the corresponding verification activity does not always match with the precise meaning of the terms as they are defined in the area of verification. Consequently, the confusion of these terms may hamper the application of the different techniques and the correct positioning of research. In this position paper, we aim to provide comprehensive definitions and a unified terminology throughout the BPM lifecycle and the artifacts they apply to. Moreover, we explore the consequences when these terms are used incorrectly. In doing so, we aim to improve transfer from research to practical applications and increase adoption of relevant approaches and new advances in the field by clarifying the relation between available techniques and the intended verification goals.


    Keywords: Conformance, Compliance, Verification, Review


    BibTeX



  8. Accelerating the Performance of Data Analytics using Network-centric Processing (), In The 15th ACM International Conference on Distributed and Event-based Systems (DEBS '21), June 28-July 2, 2021, Virtual Event, Italy, ACM New York, NY, USA, .

    BibTeX



    doi
  9. Leveraging Flexibility of Time-Sensitive Networks for dynamic Reconfigurability (, , , , and ), In Proceedings of IFIP Networking 2021, IFIP, .

    BibTeX



    url
  10. Leveraging PIFO Queues for Scheduling in Time-Sensitive Networks (, , , , , and ), In In the Proceedings of the IEEE International Symposium on Local and Metropolitan Area Networks (LANMAN 2021)., IEEE, .

    BibTeX



    urldoi
  11. P4-CoDel: Experiences on Programmable Data Plane Hardware (, , , , and ), In Proceedings of the IEEE International Conference on Communications (ICC 2021): Next-Generation Networking and Internet Symposium, IEEE, .

    BibTeX



    urldoi
  12. Towards QoE-Driven Optimization of Multi-Dimensional Content Streaming (, , , , , , and ), In Proceedings of the Conference on Networked Systems 2021 (NetSys 2021), European Association of Software Science and Technology, .

    BibTeX



    urldoi
  13. Towards Service-Oriented and Intelligent Microgrids (, and ), In Proceedings of the 3rd International Conference on Applications of Intelligent Systems, Association for Computing Machinery, .

    BibTeX



    urldoi
  14. Predictive Multi-Objective Scheduling with Dynamic Prices and Marginal CO2-Emission Intensities ( and ), In ACM e-Energy 2020, .

    BibTeX



  15. Sustainability Choices when Cooking Pasta (, and ), In ACM e-Energy 2020, .

    BibTeX



  16. Operator as a Service: Stateful Serverless Complex Event Processing (, , , and ), In Proceedings of the 2020 IEEE International Conference on Big Data, IEEE, .

    BibTeX



    doi
  17. The Community Structure of Constraint Satisfaction Problems and Its Correlation with Search Time ( and ), In 2020 IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI), volume , .

    BibTeX



    doi
  18. Microbursts in Software and Hardware-based Traffic Load Generation (, and ), In Proceedings of the IEEE/IFIP Network Operations and Management Symposium (NOMS), IEEE, .

    BibTeX



    doi
  19. Flexible Content-based Publish/Subscribe over Programmable Data Planes (, , , and ), In Proceedings of the IEEE/IFIP Network Operations and Management Symposium (NOMS), IEEE, .

    BibTeX



    doi
  20. P4STA: High Performance Packet Timestamping with Programmable Packet Processors (, , , and ), In Proceedings of the IEEE/IFIP Network Operations and Management Symposium (NOMS), IEEE, .

    BibTeX



    doi
  21. Office Multi-Occupancy Detection using BLE Beacons and Power Meters (, and ), In 2019 IEEE 10th Annual Ubiquitous Computing, Electronics, and Mobile Communication Conference, .

    BibTeX



  22. Temporal Analysis of 911 Emergency Calls Through Time Series Modeling (, , and ), In The International Conference on Advances in Emerging Trends and Technologies, .

    BibTeX



  23. Prediction of Imports of Household Appliances in Ecuador Using LSTM Networks (, , and ), In Conference on Information Technologies and Communication of Ecuador, .

    BibTeX



  24. Predictive CO2-Efficient Scheduling of Hybrid Electric and Thermal Loads ( and ), In 2019 IEEE International Conference on Energy Internet (ICEI), .

    BibTeX



  25. ECiDA: Evolutionary Changes in Data Analysis (, , , , , , , and ), In ICT.Open, Hilversum, The Netherlands, .

    BibTeX



    url
  26. Development of a decision-aid for patients with depression considering treatment options: prediction of treatment response using a data-driven approach (, , , , , , , , , and ), In ISPOR Europe 2019, Copenhagen, Denmark, .

    BibTeX



    url
  27. Low-power Appliance Recognition using Recurrent Neural Networks (, , and ), In Applications of Intelligent Systems, .

    BibTeX



  28. A remotely piloted aerial system for a faster processing of traffic collisions towards reducing the resulting road congestion (, and ), In , .

    Abstract

    This paper presents the motivation, design, implementation, and testing of a remotely piloted aerial system, designed to facilitate police officers processing traffic collisions. A drone remotely controlled by the police officer can reach faster the accident scene and act as the police officer's eye, ear, and voice in the sky. A complete system prototype has been constructed and tested to validate the proposed system. The results show that the system performance is promising in terms of system functionality, safety, and cost.


    BibTeX



    doi
  29. Household CO2-efficient energy management ( and ), In Energy Informatics, Springer, .

    BibTeX



  30. Mining Sequential Patterns for Appliance Usage Prediction (, , , and ), In International Conference on Smart Cities and Green ICT Systems, .

    BibTeX



  31. Modeling 911 emergency events in Cuenca-Ecuador using geo-spatial data (, , and ), In International Conference on Technology Trends, .

    BibTeX



  32. LOD-GF: an integral linked open data generation framework (, , , , , and ), In Conference on Information Technologies and Communication of Ecuador, .

    BibTeX



  33. Robustness of reconfigurable complex systems by a multi-agent simulation: Application on power distribution systems (, , , and ), In 2018 Annual IEEE International Systems Conference (SysCon), .

    BibTeX



    doi
  34. Semantic web and augmented reality for searching people, events and points of interest within of a university campus (, , and ), In 2017 XLIII Latin American Computer Conference (CLEI), .

    BibTeX



  35. Tv program recommender using user authentication on middleware ginga (, , , and ), In 2017 IEEE Second Ecuador Technical Chapters Meeting (ETCM), .

    BibTeX



  36. Runtime Modifications of Spark Data Processing Pipelines (, , , and ), In 2017 International Conference on Cloud and Autonomic Computing, ICCAC, .

    BibTeX



    url
  37. Automated compliance verification of business processes in Apromore (, and ), In Proceedings of the BPM Demo Track 2017, .

    BibTeX



  38. Methodological guidelines for publishing library data as linked data (, , , , and ), In 2017 International Conference on Information Systems and Computer Science (INCISCOS), .

    BibTeX



  39. Cloud Ready Applications Composed via HTN Planning (, , and ), In IEEE International Conference on Service Oriented Computing and Applications, .

    BibTeX



  40. iTrack: A residential energy monitoring system tailored to meet local needs (, , , , and ), In , .

    Abstract

    The Kingdom of Saudi Arabia, like many other Gulf Council Countries, is lately experiencing a very rapid population and industrial growth, which results in an increasing demand for energy. To meet this growing demand, the GCC too is transitioning towards a smarter electricity grid with increased penetration of renewable sources. However, all agree that the success of such a shift in paradigm also depends on demand side management, most of energy demands coming for residential area. Providing residents with real-time feedback on their energy consumption is a promising way to promote energy saving behavior through an increased awareness. This paper outlines the design and development phases of a residential energy monitoring system that has been tailored to meet local needs, that is to say a non-intrusive system with a user friendly interface available both in English and Arabic endowed with an alert system providing real-time consumption information, as well as energy saving and awareness tips.


    BibTeX



    doi
  41. Tracing back the chain: Cognitive pre-requisite analysis for CIS capstone project ( and ), In , volume Part F1346, .

    Abstract

    © 2017 Association for Computing Machinery. When teaching the first part of the capstone project to the senior students at the College of Computer Sciences and Information Technology, some problems have been reported for the past few semesters. This paper aims to identify the cause of the problem by comparing necessary skills for the capstone project to skills acquired in prior courses, tracing back through the pre-requisite dependency chain. The comparison is set between the Course Learning Outcomes identified in the capstone project and the Course Objectives of courses offered in previous years. The analysis revealed two main discrepancies, namely: Several mismatches and missing links that explained the problems initially observed. It also led to identifying a weakness in one of the previous courses and triggered an adjustment in the course content.


    Keywords: Bloom's taxonomy, CIS capstone, Course design, Course evaluation


    BibTeX



    doi
  42. Post Summarization of Microblogs of Sporting Events (, , , and ), In Proceedings of the 26th International Conference on World Wide Web Companion, .

    BibTeX



  43. Challenges and trends about smart big geospatial data: A position paper (, and ), In 2017 IEEE International Conference on Big Data (Big Data), .

    BibTeX



  44. Comparison of Energy Consumption in Wi-Fi and Bluetooth Communication in a Smart Building (, , and ), In IEEE Annual Computing and Communication Workshop and Conference, .

    BibTeX



    url
  45. Prediction of Running Injuries from Training Load: a Machine Learning Approach (, , and ), In International Conference on eHealth, Telemedicine, and Social Medicine, .

    BibTeX



    url
  46. Power-Based Device Recognition for Occupancy Detection (, , and ), In Service-Oriented Computing - ICSOC 2017 Workshops, volume in press, .

    BibTeX



    doi
  47. Sentiment Classification of Tweets using Hierarchical Classification (, , , and ), In International Conference on Communications, .

    BibTeX



  48. Pfpsim: A programmable forwarding plane simulator (, , , , , and ), In 2016 ACM/IEEE Symposium on Architectures for Networking and Communications Systems (ANCS), .

    BibTeX



  49. Power Management of Personal Computers based on User Behaviour (, , and ), In International Conference on Smart Cities and Green ICT Systems, .

    BibTeX



    url
  50. Benchmark Datasets for Fault Detection and Classification in Sensor Data (, , and ), In International Conference on Sensor Networks, .

    BibTeX



    url
  51. Proactive ethernet congestion control based on link utilization estimation (, , , , and ), In 2016 international conference on computing, networking and communications (icnc), .

    BibTeX



  52. Influence Maximization in Social Networks with Genetic Algorithms ( and ), In European Conference on the Applications of Evolutionary and Bio-inspired Computation (Evo* EvoApplications), track EvoComplex: Evolutionary Algorithms and Complex Systems, .

    BibTeX



    url
  53. Detecting National Political Unrest on Twitter (, , , and ), In International Conference on Communications, .

    BibTeX



  54. On the relationship between automation and occupants in smart buildings ( and ), In International Conference on ICT for Sustainability, .

    BibTeX



    url
  55. Memory-efficient string matching for intrusion detection systems using a high-precision pattern grouping algorithm (, , and ), In Proceedings of the 2016 symposium on architectures for networking and communications systems, .

    BibTeX



  56. A price-based approach for voltage regulation and power loss minimization for the electrical power distribution system (, and ), In 55th IEEE Conference on Decision and Control, .

    BibTeX



    url
  57. Using ethernet commodity switches to build a switch fabric in routers (, , , , , and ), In 2015 24th international conference on computer communication and networks (icccn), .

    BibTeX



  58. Black Holes and Revelations: Using Evolutionary Algorithms to Uncover Vulnerabilities in Disruption-Tolerant Networks (, , and ), In European Conference on the Applications of Evolutionary and Bio-inspired Computation, track EvoComNet: Application of Nature-inspired Techniques for Communication Networks and other Parallel and Distributed Systems, .

    BibTeX



    url
  59. Public acceptance of renewable energy and Smart-Grid in Saudi Arabia (, , and ), In , .

    Abstract

    © 2015 IEEE. This study aims to measure the public's knowledge about renewable energy sources, their willingness to use solar energy as a main source in their households, and to understand their main motivation in undergoing (or not) such an energy shift; hence, potential influencing factors that will help win public support can be determined. A survey is tailored in order to capture relevant public belief, perception, and planned behavior, then a descriptive analysis of the data is performed to examine the associations between the willingness to use solar panels in households and the other explanatory variables. Initial results show that government policies and subsidies are main factors affecting the desire to adopt green energy. These results will help overcome obstacles that might be faced prior or during a transition to the Smart-Grid, especially in residential area.


    Keywords: Kingdom of Saudi Arabia, Renewable Energy, Residential Area, Social Acceptance, Solar Energy, Willingness to Pay


    BibTeX



    doi
  60. A Service-Oriented Architecture for Web Applications in e-mental health: two case studies ( and ), In IEEE International Conference on Service Oriented Computing & Applications, .

    BibTeX



    url
  61. Design-time Compliance of Service Compositions in Dynamic Service Environments ( and ), In IEEE International Conference on Service Oriented Computing & Applications, .

    BibTeX



  62. An automatic method for the enrichment of dicom metadata using biomedical ontologies (, , , and ), In 2015 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), .

    BibTeX



  63. Simulating the Interaction with a Smart Grid with Real Services ( and ), In IEEE International Conference on Service Oriented Computing & Applications, .

    BibTeX



    url
  64. IM Session Identification by Outlier Detection in Cross-correlation Functions (, , , and ), In 49th Annual Conference on Information Sciences and Systems, .

    BibTeX



  65. A Self-healing Framework for Online Sensor Data (, , and ), In International Workshop on Self-Aware Internet of Things, .

    BibTeX



    url
  66. Rdf-ization of dicom medical images towards linked health data cloud (, , , and ), In VI Latin American Congress on Biomedical Engineering CLAIB 2014, Paraná, Argentina 29, 30 & 31 October 2014, .

    BibTeX



  67. WebMedSA: a web-based framework for segmenting and annotating medical images using biomedical ontologies (, , , , , , and ), In 11th International Symposium on Medical Information Processing and Analysis, volume 9681, .

    BibTeX



  68. Self-healing protocols for infrastructural networks (, , and ), In International Conference on Critical Information Infrastructures Security, .

    BibTeX



  69. The Tradeoffs between Data Delivery Ratio and Energy Costs in Wireless Sensor Networks: A Multi-Objective Evolutionary Framework for Protocol Analysis (, , and ), In Genetic and Evolutionary Computation Conferenc, .

    BibTeX



    url
  70. E-learning Quality Assurance Practices and Benchmarks in Higher Education (), In World Conference on Educational Media and Technology, .

    BibTeX



    url
  71. HowNutsAreTheDutch: Personalized feedback on a national scale (, , , , , , , , , , and ), In AAAI Fall Symposium on Expanding the Boundaries of Health Informatics Using AI, .

    BibTeX



    url
  72. Leefplezier: Personalized well-being (, , and ), In Doctoral Consortium of the IEEE International Conference on Healthcare Informatics, .

    BibTeX



  73. Gamification in a Consulting Company (, and ), In 7th GI Workshop on Autonomous Systems, .

    BibTeX



  74. GreenMind - An Architecture and Realization for Energy Smart Buildings (, , and ), In International Conference on ICT for Sustainability, .

    BibTeX



    url
  75. Network Disruption and Recovery: Co-Evolution of Defender and Attacker in a Dynamic Game (, , , and ), In CompleNet 2014 5th Workshop on Complex Networks, .

    BibTeX



    url
  76. Predicting New Collaborations in Academic Citation Networks of IEEE and ACM Conferences (, , , , , , , and ), In International Conference on Social Computing, .

    BibTeX



  77. Utility-Based HTN Planning ( and ), In European Conference on Artificial Intelligence, .

    BibTeX



    url
  78. Spatial optimality in power distribution networks ( and ), In IEEE Complexity in Engineering Workshop, .

    BibTeX



    url
  79. The Smart Grid's Data Generating Potentials ( and ), In Federated Conference on Computer Science and Information Systems, .

    BibTeX



    url
  80. Towards a Robustness Evaluation Framework for BPEL Engines (, , and ), In International Conference on Service Oriented Computing & Applications, .

    BibTeX



    url
  81. Breaching IM Session Privacy Using Causality (, , , , , , , and ), In Global Communications Conference, .

    BibTeX



  82. Itemset-based Mining of Constraints for Enacting Smart Environments (, , and ), In Symposium on Activity and Context Modeling and Recognition, .

    BibTeX



    url
  83. An Evolutionary Framework for Routing Protocol Analysis in Wireless Sensor Networks ( and ), In European Conference on the Applications of Evolutionary and bio-inspired Computation, volume 7835, .

    BibTeX



    url
  84. Wireless sensor network based monitoring system for photovoltaic panels in extreme GCC climate conditions: A literature review of current approaches ( and ), In , .

    Abstract

    Photovoltaic system performance highly depends on environmental conditions. Hence system requirements to optimize energy yield are unique, and in most cases no relevant data are available to make implementation decisions. This is why monitoring of such systems is very essential for initial system evaluation, and continuous output optimization. This paper is the result of a thorough literature survey about existing performance monitoring system for photovoltaic panels, aiming to propose a system tailored for photovoltaic panels under the very particular environmental conditions experienced in the GCC region, as these countries are in an area with tremendous potential for development of solar energy projects. A wireless sensor network based monitoring system is proposed, that measures data relevant for desert climate like dust, temperature and humidity. A small-scale prototype is described, along with initial experimental results. © 2013 IEEE.


    Keywords: PV panels, Renewable energy, monitoring system, wireless sensor network


    BibTeX



    doi
  85. A Machine Learning Approach for Vehicle Classification using Passive Infrared and Ultrasonic Sensors ( and ), In ACM/IEEE Conference on Information Processing in Sensor Networks, .

    BibTeX



    url
  86. Testing of Distributed Service-Oriented Systems (), In ICSOC, volume 8377, .

    BibTeX



    url
  87. Cost and Benefits of Denser Topologies for the Smart Grid ( and ), In Computer and Information Sciences III from the 27th International Symposium on Computer and Information Sciences (ISCIS'12), .

    BibTeX



    url
  88. Modeling the Last Mile of the Smart Grid ( and ), In PES Innovative Smart Grid Technologies Conference, .

    BibTeX



    url
  89. A Survey of Formal Business Process Verification: From Soundness to Variability ( and ), In International Symposium on Business Modeling and Software Design, .

    BibTeX



    url
  90. Planning for Coordination of Devices in Energy-Smart Envronments (), In Doctoral Consortium of the 23rd International Conference on Automated Planning and Scheduling, .

    BibTeX



    url
  91. Combining Activity Recognition and AI Planning for Energy-Saving Offices ( and ), In IEEE International Conference on Ubiquitous Intelligence and Computing, .

    BibTeX



    url
  92. Continuous Correctness of Business Processes against Process Interference ( and ), In IEEE International Conference on Service Oriented Computing and Applications, .

    BibTeX



    url
  93. IPTV Capacity Analysis using DCCP over IEEE 802.11n (, and ), In 78th Vehicular Technology Conference, .

    BibTeX



  94. Capacity Analysis of Combined IPTV and VoIP over IEEE 802.11n (, and ), In 38th Annual IEEE Conference on Local Computer Networks, .

    BibTeX



  95. Applying Time Series Analysis and Neighbourhood Voting in a Decentralised Approach for Fault Detection and Classification in WSNs ( and ), In International Symposium on Information and Communication Technology, .

    BibTeX



    url
  96. A Decentralized Scheme for Fault Detection and Classification in WSNs ( and ), In IEEE International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA 2013, Work in Progress session), .

    BibTeX



    url
  97. Towards Context Consistency in a Rule-Based Activity Recognition Architecture ( and ), In International Symposium on Ubiquitous Intelligence and Autonomic Systems, .

    BibTeX



    url
  98. Dynamic Constraint Reasoning in Smart Environments ( and ), In IEEE International Conference on Tools with Artificial Intelligence, .

    BibTeX



    url
  99. Service-Oriented Architecture for Smart Environments ( and ), In IEEE International Conference on Service Oriented Computing and Applications, .

    BibTeX



    url
  100. A Machine Learning Approach for Identifying and Classifying Faults in Wireless Sensor Networks ( and ), In 10th IEEE International Conference on Embedded and Ubiquitous Computing, .

    BibTeX



    url
  101. Fault Detection in Wireless Sensor Networks: a Hybrid Approach ( and ), In ACM Conference on Information Processing in Sensor Networks (IPSN'12 POSTER Session), .

    BibTeX



    url
  102. A Statistical Analysis of Power Grid Vulnerabilities ( and ), In Workshops of The seventh CRITIS Conference on Critical Information Infrastructures Security, .

    BibTeX



    url
  103. Service Ecologies for Home/Building Automation ( and ), In 10th Int. IFAC Symposium on Robot Control, .

    BibTeX



  104. Adaptive Game-based Agent Negotiation in Deregulated Energy Markets ( and ), In Workshop on Adaptive Collaboration at (CTS 2012), .

    BibTeX



    url
  105. An Agent-based Application to Enable Deregulated Energy Markets ( and ), In IEEE Computer Software and Applications Conference, .

    BibTeX



    url
  106. Automatic Detection of Business Process Interference ( and ), In International Workshop on Knowledge-intensive Business Processes, .

    BibTeX



    url
  107. Beyond Indoor Presence Monitoring with Simple Sensors ( and ), In International Conference on Pervasive and Embedded Computing and Communication Systems, .

    BibTeX



    url
  108. Cost-efficient Context-aware Rule Maintenance ( and ), In Workshop on Context Modeling and Reasoning, .

    BibTeX



    url
  109. Assessing Schizophrenia with an Interoperable Architecture ( and ), In ACM International Conference on Information and Knowledge Management, .

    BibTeX



    url
  110. OpenFlow supporting inter-domain virtual machine migration (, , , and ), In 2011 Eighth International Conference on Wireless and Optical Communications Networks, .

    BibTeX



  111. An agent-based wide area protection scheme for self-healing grids (), In , .

    Abstract

    This paper presents a wide area protection multi-agent system with high degree of tolerance to faults. Agents in this protection system detect and locate faults by comparing current measurements across the protected component following principles of conventional differential protection; yet they perform sensor data integrity evaluation through a trip confirmation mechanism, by cooperating and collaborating with neighbor agents. This mechanism prevent from possible false trips caused by measurement failure or a failure of communication channel, resulting in explicit sensor failure detection and location. A missing sensor restoration mechanism is initiated to mitigate the effects of sensor failure, applying a self-healing strategy. The principles of cooperation and collaboration are presented, and the structure and hierarchy of protection agents are designed. © 2011 IEEE.


    Keywords: Distributed Energy Resources, Distributed-Intelligence, Fault Detection, Location and Isolation, Multi-Agent System, Self-Healing, Wide-Area Protection


    BibTeX



    doi
  112. A distributed fault protection method for power grid with high penetration of renewable energy sources (, and ), In , .

    Abstract

    This study addresses the fault protection issues that will be caused by the increased penetration of Renewable Energy Sources (RES). A new Distributed Wide Area Differential Protection (DWADP) scheme is proposed to overcome these problems, and hence to improve reliability of power systems. Tools of intelligence are integrated at the relay level, capable of generating optimal responses, based on communication with direct neighbors only, instead of a system wide communication, thus minimizing both the required bandwidth and the degree of connectivity between different relays. The proposed DWADP scheme contains a conventional differential protection scheme cascaded with a trip confirmation mechanism (TCM), which performs sensor data integrity evaluation, and a missing sensor restoration mechanism (MSRM). Hence, false trip can be avoided, while locating sensor failures, thus making it possible to take preventive action. © 2011 IEEE.


    Keywords: Fault Location, Fault Tolerance, Power System Protection, Renewable Energy Sources


    BibTeX



    doi
  113. A sensor failure resilience metric for ship-board power system (, and ), In , .

    Abstract

    This study defines a metric of resilience to sensor faults for ship-board power system. Hence, one is able to compare different power system topology with respect to their robustness to sensor faults, which provides valuable information in the design phase. For a given power system topology, we first present a distributed wide area differential protection (DWAPS) scheme, that is able to cope with the difficulties caused by short cables used to connect the various busbars on board. The proposed scheme is an elaboration of previous studies yet integrates tools of intelligence at the relay level based on a communication with direct neighbors only, instead of a system wide communication, thus minimizing both the required bandwidth and the degree of connectivity between different relays. We then demonstrate how to explicitly reconstruct lost data after sensor failure. Finally, we define the minimum number of sensor that makes this restoration possible as sensor failure resilience metric. © 2011 IEEE.


    BibTeX



    doi
  114. Continual Planning with Sensing for Web Service Composition (), In AAAI Conference on Artificial Intelligence, .

    BibTeX



    url
  115. Heterogeneous Device Discovery Framework For the Smart Homes ( and ), In IEEE GCC Conference & Exhibition, .

    BibTeX



    url
  116. Testing for Highly Distributed Service-oriented Systems using Virtual Environments ( and ), In Postproceedings of 17th Dutch Testing Day, .

    BibTeX



    url
  117. Declarative Enhancement Framework for Business Processes ( and ), In International Conference on Service-Oriented Computing, .

    BibTeX



    url
  118. Business Process Variability: A Tool for Declarative Template Design ( and ), In International Conference on Service-Oriented Computing - Demo Track, .

    BibTeX



  119. Smart Homes to Improve the Quality of Life for All (), In 33rd Annual International IEEE Engineering in Medicine and Biology Conference, .

    BibTeX



  120. Smart Meter aware Domestic Energy Trading Agents (), In International E-Energy Market Challenge at 8th ACM Autonomic Computing Conference, .

    BibTeX



    url
  121. Business Process Customization using Process Merging Techniques (, and ), In International Conference on Service-Oriented Computing and Applications, .

    BibTeX



    url
  122. Sensor optimization and placement for enhanced power system monitoring using entropy (, , and ), In , .

    Abstract

    In this paper we propose a new methodology for sensor optimization and placement in a power system. The objectives of this study are to identify basic concepts on sensor optimization and placements to enhance the reliability and for efficient sensor data collection, processing, and transmission. Two approaches based on automatic control and information theory have been proposed. Condition of observability and fault detectability and isolability is developed to determine the optimal number of sensors and to determine the set of candidate sensors necessary for state estimation and fault detection and isolation. An entropy-based heuristic is proposed for the selection of the best sensors candidate that increases the information gain, thereby decreasing the drawback of system complexity and information uncertainty. © 2011 IEEE.


    BibTeX



    doi
  123. Interpretation of Inconsistencies via Context Consistency Diagrams ( and ), In Annual IEEE International Conference on Pervasive Computing and Communications, .

    BibTeX



    url
  124. ValySeC: a Variability Analysis Tool for Service Compositions using VxBPEL (), In , .

    BibTeX



    url
  125. Interoperation, Composition and Simulation of Services at Home (), In International Conference on Service Oriented Computing, .

    BibTeX



    url
  126. A tool for integrating pervasive services and simulating their composition (), In International Conference on Service Oriented Computing, Demo Session, .

    BibTeX



    url
  127. Towards a Service-Oriented Energy Market: Current state and trend (), In Workshop on Service, Energy and Ecosystems (colocated with ICSOC-10), .

    BibTeX



    url
  128. Modeling Enterprise Information Systems Integration Evaluation as a Dynamic System (), In International Conference on Computing and ICT Research, .

    BibTeX



    url
  129. Requirements and Tools for Variability Management (), In IEEE Workshop on Requirement Engineering for Services at IEEE COMPSAC, .

    BibTeX



    url
  130. Resolving Business Process Interference via Dynamic Reconfiguration (), In International Conference on Service Oriented Computing, .

    BibTeX



    url
  131. Mining Twitter in the Cloud: A Case Study (), In IEEE 3rd International Conference on Cloud Computing, .

    BibTeX



    url
  132. Parity space approach for enhanced fault detection and intelligent sensor network design in power systems (, , and ), In , .

    Abstract

    In this study, the model-based fault detection and isolation (FDI) approach of parity-space is adapted to the diagnosis of sensor faults in power systems. Hardware redundancy is conventionally utilized to overcome this problem. However, this is an expensive solution. Instead, we propose to detect and locate faults by the systematic use of the system's analytical redundancy, with a global view of the system. This redundancy can be used to detect and isolate sensor failure as well. We also give necessary and sufficient conditions for a sensor network to be able detect faults, sensor failures included. Hence, the sensor configuration problem boils down to an optimization problem that can be intelligently guided by our method. The principle of parity-space approach is described in detail and illustrated on a simple power system model. The method is then validated through simulation. ©2010 IEEE.


    Keywords: Fault diagnosis, Power system protection, Sensor, Wide-Area protection


    BibTeX



    doi
  133. Concept mapping for faster QoS-Aware Web Service Composition ( and ), In IEEE Conference on Service Oriented Computing and Applications, .

    BibTeX



    url
  134. Planning in a Smart Home: Visualization and Simulation ( and ), In International Conference on Automated Planning and Scheduling, .

    BibTeX



    url
  135. Extended Goals for Composing Services (, and ), In International Conference on Automated Planning and Scheduling, .

    BibTeX



    url
  136. Services inside the Smart Home: A Simulation and Visualization tool (, , , and ), In International Conference on Service Oriented Computing, .

    BibTeX



    url
  137. General Chair's Report (), In 18th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2009, .

    BibTeX



    url
  138. Optimal QoS-Aware Web Service Composition (, , and ), In Joint 11th IEEE Conference on E-Commerce Technology (CEC'08) and the 6th IEEE Conference on Enterprise Computing, E-Commerce and E-Services IEEE Computer, .

    BibTeX



    url
  139. Bluetooth Broadcasting: How far can we go? An experimental study (), In International Conference on Pervasive Computing and Applications, .

    BibTeX



    url
  140. Smart Homes Infrastructures and Interactions (, and ), In IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, .

    BibTeX



    url
  141. Maintenance of customized processes (), In PhD symposium, hosted by 7th International Conference on Service Oriented Computing, .

    BibTeX



    url
  142. Towards Variable Service Compositions using VxBPEL ( and ), In International Conference on Software Reuse (H. Mei, ed.), volume LNCS 5030, .

    BibTeX



  143. Structural analysis for assessment of monitoring possibilities: Application to simple power system topologies (, , and ), In , .

    Abstract

    Any power system, either an integrated power system in an all-electric ship or a utility power system, needs to be highly reliable. Reliability of a complex system strongly depends on the possibility of detecting faults and isolating them from each other, i.e., on the monitoring potential of the system. The area of power system engineering that is concerned with the fault detection and isolation is called protection. As power systems becoming more and more complex, current standards for their protection should be adjusted accordingly to meet the challenges associated with increased system complexity. The standard approach used in power system protection is local, that is, current and voltage sensors are placed at or near individual breakers that open up to isolate a fault (short circuit). Coordination between breakers is achieved indirectly by setting the voltage or current trip points of the breakers differently so they open up in a desired sequence. Wide-area (global) protection is a new research direction. Wide-area protection schemes provide protection at more unified, global level than local protection schemes, and often operate as a backup level of protection. However, these schemes are usually developed manually, that is, the arrangement of protective actions within areas are made by hand, following heuristic considerations. More systematic and automated approaches are required for successful wide-area protection of larger systems. The objective of the current study is to adapt the model-based fault detection and isolation approach based on structural analysis to power systems in order to evaluate the monitoring potential of a given power system topology (architecture) in a systematic and automated manner. A new methodology is applied to evaluate the monitoring potential of a few simple topologies. © 2008 IEEE.


    Keywords: Fault detection and isolation, Power systems, Protection algorithms, Structural analysis


    BibTeX



    doi
  144. A new methodology for automated assessment of fault detection and isolation possibilities in large power systems (, , and ), In , .

    Abstract

    Any power system, whether an integrated power system in an all-electric ship or a utility power system, needs to be highly reliable. Reliability of a complex system strongly depends on the monitoring possibilities of the system. The area of power system engineering that is concerned with fault detection and isolation is called protection. As power systems become more complex, current methods for their protection should be adjusted accordingly to meet the challenges associated with increased system complexity. The standard approach for power system protection is local, that is, current and voltage sensors are placed at or near individual breakers that can open in order to isolate a fault. Coordination between breakers is achieved indirectly by setting the voltage or current trip points of the breakers differently so that they open in a desired sequence. Wide-area protection is a new research direction that provides protection at a more unified level, and often operates as a backup level of protection. However, these schemes are usually developed manually following heuristic considerations. This study proposes a new methodology based on the structural analysis of control theory, and provides the possibility of a systematic and automated approach to global power-system protection. © 2008 SIMULATION COUNCILS, INC.


    Keywords: Fault detection and isolation, Power systems, Protection algorithms, Structural analysis


    BibTeX



  145. Visualizing Compositions of Services from Large Repositories (, and ), In E-Commerce Technology and the Fifth IEEE Conference on Enterprise Computing, E-Commerce and E-Services, 2008 10th IEEE Conference on, .

    BibTeX



    url
  146. Requirements and Evaluation of Protocols and Tools for Transaction Management in Service Centric Systems ( and ), In Computer Software and Applications Conference, 2007. COMPSAC 2007. 31st Annual International, volume 2, .

    BibTeX



    url
  147. The Mathematical Morpho-Logical view on Reasoning about Space ( and ), In International Joint Conference on Artificial Intelligence, .

    BibTeX



    url
  148. DMC Workshop Final Report (, and ), In Enabling Technologies: Infrastructure for Collaborative Enterprises, 2007. WETICE 2007. 16th IEEE International Workshops on, .

    BibTeX



    url
  149. Adaptive structural analysis for FDI design in evolving systems (, and ), In , volume 6, .

    Abstract

    Although structural analysis for Fault Detection and Isolation (FDI) is a well formalized method, a significant effort has still to be made concerning implementation issues and algorithmic aspects in order to make the method better applicable for real-life industrial problems. System's evolution is one of these points to be considered. The main contribution of this paper is an adaptive/evolutive algorithm that avoids unnecessary duplication of work by efficiently making use of already generated results. Copyright © 2006 IFAC.


    Keywords: Adaptive algorithm, FDI, Structural analysis, System evolution


    BibTeX



  150. Structural analysis for residual generation: Towards implementation (, and ), In , volume 2, .

    Abstract

    In that paper an innovative way of dealing with the generation of residuals for fault-detection and isolation based on structural information is presented. The developed technique considers implementation issues therefore it has a more realistic point of view compared to classical structural approaches. First practical issues that can be encountered such as computational complexity or implementation considerations are introduced. Then the way of incorporating them to the existing structural analysis framework is explained. Finally, we show how the Stable Marriage Problem can be successfully adapted in order to choose the most suited matching that leads to residual computational sequences. The algorithm has been implemented and tested using a real life benchmark model: the Damadics valve © 2004 IEEE.


    BibTeX



  151. Improving fault isolability properties by structural analysis of faulty behavior models: Application to the damadics benchmark problem (, , and ), In , volume 36, .

    Abstract

    Structural analysis is a powerful tool for early determination of detectability/isolability possibilities. It is shown how different levels of knowledge about faults can be incorporated in a structural fault-isolability analysis and how they result in different isolability properties. The results are evaluated on the DAMADICS valve benchmark model. It is also shown how to determine which faults in the benchmark that need further modeling to get desired isolability properties of the diagnosis system.


    BibTeX



    doi