The Experts below are selected from a list of 10179 Experts worldwide ranked by ideXlab platform

Valeriy Vyatkin - One of the best experts on this subject based on the ideXlab platform.

  • multiagent smart grid automation architecture based on iec 61850 61499 intelligent logical nodes
    IEEE Transactions on Industrial Electronics, 2012
    Co-Authors: Gulnara Zhabelova, Valeriy Vyatkin
    Abstract:

    Universal, intelligent, and multifunctional devices controlling power distribution and measurement will become the enabling technology of the Smart Grid ICT. In this paper, we report on a novel automation architecture which supports distributed multiagent intelligence, interoperability, and configurability and enables efficient simulation of distributed automation systems. The solution is based on the combination of IEC 61850 object-based modeling and interoperable communication with IEC 61499 function block Executable Specification. Using the developed simulation environment, we demonstrate the possibility of multiagent control to achieve self-healing grid through collaborative fault location and power restoration.

  • multiagent smart grid automation architecture based on iec 61850 61499 intelligent logical nodes
    IEEE Transactions on Industrial Electronics, 2012
    Co-Authors: Gulnara Zhabelova, Valeriy Vyatkin
    Abstract:

    Universal, intelligent, and multifunctional devices controlling power distribution and measurement will become the enabling technology of the Smart Grid ICT. In this paper, we report on a novel automation architecture which supports distributed multiagent intelligence, interoperability, and configurability and enables efficient simulation of distributed automation systems. The solution is based on the combination of IEC 61850 object-based modeling and interoperable communication with IEC 61499 function block Executable Specification. Using the developed simulation environment, we demonstrate the possibility of multiagent control to achieve self-healing grid through collaborative fault location and power restoration.

Gulnara Zhabelova - One of the best experts on this subject based on the ideXlab platform.

  • multiagent smart grid automation architecture based on iec 61850 61499 intelligent logical nodes
    IEEE Transactions on Industrial Electronics, 2012
    Co-Authors: Gulnara Zhabelova, Valeriy Vyatkin
    Abstract:

    Universal, intelligent, and multifunctional devices controlling power distribution and measurement will become the enabling technology of the Smart Grid ICT. In this paper, we report on a novel automation architecture which supports distributed multiagent intelligence, interoperability, and configurability and enables efficient simulation of distributed automation systems. The solution is based on the combination of IEC 61850 object-based modeling and interoperable communication with IEC 61499 function block Executable Specification. Using the developed simulation environment, we demonstrate the possibility of multiagent control to achieve self-healing grid through collaborative fault location and power restoration.

  • multiagent smart grid automation architecture based on iec 61850 61499 intelligent logical nodes
    IEEE Transactions on Industrial Electronics, 2012
    Co-Authors: Gulnara Zhabelova, Valeriy Vyatkin
    Abstract:

    Universal, intelligent, and multifunctional devices controlling power distribution and measurement will become the enabling technology of the Smart Grid ICT. In this paper, we report on a novel automation architecture which supports distributed multiagent intelligence, interoperability, and configurability and enables efficient simulation of distributed automation systems. The solution is based on the combination of IEC 61850 object-based modeling and interoperable communication with IEC 61499 function block Executable Specification. Using the developed simulation environment, we demonstrate the possibility of multiagent control to achieve self-healing grid through collaborative fault location and power restoration.

Margus Veanes - One of the best experts on this subject based on the ideXlab platform.

  • high level Executable Specification of the universal plug and play architecture
    Hawaii International Conference on System Sciences, 2002
    Co-Authors: U Glasser, Yuri Gurevich, Margus Veanes
    Abstract:

    Recently, Microsoft took the lead in the development of a standard for peer-to-peer network connectivity of various intelligent appliances, wireless devices and PCs. It is called the Universal Plug and Play Device Architecture (UPnP). We construct a high-level abstract state machine (ASM) model for UPnP using AsmL. AsmL is an advanced ASM-based Executable Specification language that has been developed at Microsoft Research. It provides a modern Specification environment that is object-oriented and component-based. AsmL is integrated into Microsoft Visual Studio, Word and COM.

Thom Fruhwirth - One of the best experts on this subject based on the ideXlab platform.

  • complete propagation rules for lexicographic order constraints over arbitrary domains
    Lecture Notes in Computer Science, 2005
    Co-Authors: Thom Fruhwirth
    Abstract:

    We give an efficiently Executable Specification of the global constraint of lexicographic order in the Constraint Handling Rules (CHR) language. In contrast to previous approaches, the implementation is short and concise without giving up on the best known worst case time complexity. It is incremental and concurrent by nature of CHR. It is provably correct and confluent. It is independent of the underlying constraint system, and therefore not restricted to finite domains. We have found a direct recursive decomposition of the problem. We also show completeness of constraint propagation, i.e. that all possible logical consequences of the constraint are generated by the implementation. Finally, we report about some practical implementation experiments.

  • logical rules for a lexicographic order constraint solver
    Proceedings of CHR 2005 Second Workshop on Constraint Handling Rules, 2005
    Co-Authors: Thom Fruhwirth
    Abstract:

    We give an Executable Specification of the global constraint of lexicographic order in Constraint Handling Rules (CHR) language. In contrast to previous approaches, the implementation is short and concise without giving up on linear time worst case time complexity. It is incremental and concurrent by nature of CHR. It is provably correct and confluent. It is independent of the underlying constraint system, and therefore not restricted to finite domains. We also show completeness of constraint propagation, i.e. that all possible consequences of the constraint are generated by the implementation. Our algorithm is encoded by three pairs of rules, two corresponding to base cases, two performing the obvious traversal of the sequences to be compared and two covering a not so obvious special case when the lexicographic constraint has a unique solution.

Domenico Vasile - One of the best experts on this subject based on the ideXlab platform.

  • np spec an Executable Specification language for solving all problems in np
    Computer Languages, 2000
    Co-Authors: Marco Cadoli, Giovambattista Ianni, Luigi Palopoli, Andrea Schaerf, Domenico Vasile
    Abstract:

    In this paper a logic-based Specification language, called NP-SPEC, is presented. The language is obtained by extending DATALOG through allowing a limited use of some second-order predicates of predefined form. NP-SPEC programs specify solutions to problems in a very abstract and concise way, and are Executable. In the present prototype they are compiled to PROLOG code, which is run to construct outputs. Second-order predicates of suitable form allow to limit the size of search spaces in order to obtain reasonably efficient construction of problem solutions. NP-SPEC expressive power is precisely characterized as to express exactly the problems in the class NP. The Specification of several combinatorial problems in NP-SPEC is shown, and the efficiency of the generated programs is evaluated.

  • np spec an Executable Specification language for solving all problems in np
    Practical Aspects of Declarative Languages, 1999
    Co-Authors: Marco Cadoli, Luigi Palopoli, Andrea Schaerf, Domenico Vasile
    Abstract:

    In this paper, a logic-based Specification language, called NPSPEC, is presented. The language is obtained extending DATALOG through allowing a limited use of some second-order predicates of predefined form. NP-SPEC programs specify solutions to problems in a very abstract and concise way, and are Executable. In the present prototype they are compiled to PROLOG code which is run to construct outputs. Second-order predicates of suitable form allow to limit the size of search spaces in order to obtain reasonably efficient construction of problem solutions. NP-SPEC expressive power is precisely characterized as to express exactly the problems in the class NP.