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

Solange Coupetgrimal - One of the best experts on this subject based on the ideXlab platform.

  • analysis of a Guard Condition in type theory
    Foundations of Software Science and Computation Structure, 1998
    Co-Authors: Roberto M Amadio, Solange Coupetgrimal
    Abstract:

    We present a realizability interpretation of co-inductive types based on partial equivalence relations (per's). We extract from the per's interpretation sound rules to type recursive definitions. These recursive definitions are needed to introduce ‘infinite’ and ‘total’ objects of co-inductive type such as an infinite stream, a digital transducer, or a non-terminating process. We show that the proposed type system subsumes those studied by Coquand and Gimenez while still enjoying the basic syntactic properties of subject reduction and strong normalization with respect to a confluent rewriting system first put forward by Gimenez.

  • analysis of a Guard Condition in type theory extended abstract
    Foundations of Software Science and Computation Structure, 1998
    Co-Authors: Roberto M Amadio, Solange Coupetgrimal
    Abstract:

    We present a realizability interpretation of co-inductive types based on partial equivalence relations (per's). We extract from the per's interpretation sound rules to type recursive definitions. These recursive definitions are needed to introduce 'infinite' and 'total' objects of coinductive type such as an infinite stream, a digital transducer, or a nonterminating process. We show that the proposed type system subsumes those studied by Coquand and Gimenez while still enjoying the basic syntactic properties of subject reduction and strong normalization with respect to a confluent rewriting system first put forward by Gimenez.

Robi Malik - One of the best experts on this subject based on the ideXlab platform.

  • supremica an integrated environment for verification synthesis and simulation of discrete event systems
    International Workshop on Discrete Event Systems, 2006
    Co-Authors: Knut Akesson, Martin Fabian, Hugo Flordal, Robi Malik
    Abstract:

    An integrated environment, Supremica, for verification, synthesis and simulation of discrete event systems is presented. The basic model in Supremica is finite automata where the transitions have an associated event together with a Guard Condition and an action function that updates automata variables. Supremica uses two main approaches to handle large state-spaces. The first approach exploits modularity in order to divide the original problem into many smaller problems that together solve the original problem. The second approach uses an efficient data structure, a binary decision diagram, to symbolically represent the reachable states. Models in Supremica may be simulated in the environment. It is also possible to generate code that implements the behavior of the model using both the IEC 61131 and the IEC 61499 standard

  • supremica an integrated environment for verification synthesis and simulation of discrete event systems
    International Workshop on Discrete Event Systems, 2006
    Co-Authors: Knut Akesson, Martin Fabian, Hugo Flordal, Robi Malik
    Abstract:

    An integrated environment, Supremica, for verification, synthesis and simulation of discrete event systems is presented. The basic model in Supremica is finite automata where the transitions have an associated event together with a Guard Condition and an action function that updates automata variables. Supremica uses two main approaches to handle large state-spaces. The first approach exploits modularity in order to divide the original problem into many smaller problems that together solve the original problem. The second approach uses an efficient data structure, a binary decision diagram, to symbolically represent the reachable states. Models in Supremica may be simulated in the environment. It is also possible to generate code that implements the behavior of the model using both the IEC 61131 and the IEC 61499 standard

Roberto M Amadio - One of the best experts on this subject based on the ideXlab platform.

  • analysis of a Guard Condition in type theory
    Foundations of Software Science and Computation Structure, 1998
    Co-Authors: Roberto M Amadio, Solange Coupetgrimal
    Abstract:

    We present a realizability interpretation of co-inductive types based on partial equivalence relations (per's). We extract from the per's interpretation sound rules to type recursive definitions. These recursive definitions are needed to introduce ‘infinite’ and ‘total’ objects of co-inductive type such as an infinite stream, a digital transducer, or a non-terminating process. We show that the proposed type system subsumes those studied by Coquand and Gimenez while still enjoying the basic syntactic properties of subject reduction and strong normalization with respect to a confluent rewriting system first put forward by Gimenez.

  • analysis of a Guard Condition in type theory extended abstract
    Foundations of Software Science and Computation Structure, 1998
    Co-Authors: Roberto M Amadio, Solange Coupetgrimal
    Abstract:

    We present a realizability interpretation of co-inductive types based on partial equivalence relations (per's). We extract from the per's interpretation sound rules to type recursive definitions. These recursive definitions are needed to introduce 'infinite' and 'total' objects of coinductive type such as an infinite stream, a digital transducer, or a nonterminating process. We show that the proposed type system subsumes those studied by Coquand and Gimenez while still enjoying the basic syntactic properties of subject reduction and strong normalization with respect to a confluent rewriting system first put forward by Gimenez.

Knut Akesson - One of the best experts on this subject based on the ideXlab platform.

  • supremica an integrated environment for verification synthesis and simulation of discrete event systems
    International Workshop on Discrete Event Systems, 2006
    Co-Authors: Knut Akesson, Martin Fabian, Hugo Flordal, Robi Malik
    Abstract:

    An integrated environment, Supremica, for verification, synthesis and simulation of discrete event systems is presented. The basic model in Supremica is finite automata where the transitions have an associated event together with a Guard Condition and an action function that updates automata variables. Supremica uses two main approaches to handle large state-spaces. The first approach exploits modularity in order to divide the original problem into many smaller problems that together solve the original problem. The second approach uses an efficient data structure, a binary decision diagram, to symbolically represent the reachable states. Models in Supremica may be simulated in the environment. It is also possible to generate code that implements the behavior of the model using both the IEC 61131 and the IEC 61499 standard

  • supremica an integrated environment for verification synthesis and simulation of discrete event systems
    International Workshop on Discrete Event Systems, 2006
    Co-Authors: Knut Akesson, Martin Fabian, Hugo Flordal, Robi Malik
    Abstract:

    An integrated environment, Supremica, for verification, synthesis and simulation of discrete event systems is presented. The basic model in Supremica is finite automata where the transitions have an associated event together with a Guard Condition and an action function that updates automata variables. Supremica uses two main approaches to handle large state-spaces. The first approach exploits modularity in order to divide the original problem into many smaller problems that together solve the original problem. The second approach uses an efficient data structure, a binary decision diagram, to symbolically represent the reachable states. Models in Supremica may be simulated in the environment. It is also possible to generate code that implements the behavior of the model using both the IEC 61131 and the IEC 61499 standard

Martin Fabian - One of the best experts on this subject based on the ideXlab platform.

  • supremica an integrated environment for verification synthesis and simulation of discrete event systems
    International Workshop on Discrete Event Systems, 2006
    Co-Authors: Knut Akesson, Martin Fabian, Hugo Flordal, Robi Malik
    Abstract:

    An integrated environment, Supremica, for verification, synthesis and simulation of discrete event systems is presented. The basic model in Supremica is finite automata where the transitions have an associated event together with a Guard Condition and an action function that updates automata variables. Supremica uses two main approaches to handle large state-spaces. The first approach exploits modularity in order to divide the original problem into many smaller problems that together solve the original problem. The second approach uses an efficient data structure, a binary decision diagram, to symbolically represent the reachable states. Models in Supremica may be simulated in the environment. It is also possible to generate code that implements the behavior of the model using both the IEC 61131 and the IEC 61499 standard

  • supremica an integrated environment for verification synthesis and simulation of discrete event systems
    International Workshop on Discrete Event Systems, 2006
    Co-Authors: Knut Akesson, Martin Fabian, Hugo Flordal, Robi Malik
    Abstract:

    An integrated environment, Supremica, for verification, synthesis and simulation of discrete event systems is presented. The basic model in Supremica is finite automata where the transitions have an associated event together with a Guard Condition and an action function that updates automata variables. Supremica uses two main approaches to handle large state-spaces. The first approach exploits modularity in order to divide the original problem into many smaller problems that together solve the original problem. The second approach uses an efficient data structure, a binary decision diagram, to symbolically represent the reachable states. Models in Supremica may be simulated in the environment. It is also possible to generate code that implements the behavior of the model using both the IEC 61131 and the IEC 61499 standard