The Experts below are selected from a list of 15858 Experts worldwide ranked by ideXlab platform
Gabriel Wainer - One of the best experts on this subject based on the ideXlab platform.
-
a Formal Framework for stochastic discrete event system specification modeling and simulation
Simulation, 2010Co-Authors: Rodrigo Castro, Ernesto Kofman, Gabriel WainerAbstract:We introduce an extension of the classic Discrete Event System Specification (DEVS) Formalism that includes stochastic features. Based on the use of the probability spaces theory we define the stochastic DEVS (STDEVS) specification, which provides a Formal Framework for modeling and simulation of general non-deterministic discrete event systems. The main theoretical properties of the STDEVS Framework are treated, including a new definition of legitimacy of models in the stochastic context and a proof of STDEVS closure under coupling. We also illustrate the new stochastic modeling capabilities introduced by STDEVS and their relation with those found in classic DEVS. Practical simulation examples are given involving performance analysis of computer systems and hybrid modeling of networked control systems, applications where the modeling of stochastic components is vital.
-
a Formal Framework for stochastic devs modeling and simulation
Spring Simulation Multiconference, 2008Co-Authors: Rodrigo Castro, Ernesto Kofman, Gabriel WainerAbstract:We introduce an extension of the classic Discrete Event System Specification (DEVS) Formalism that includes stochastic features. Based on the use of Probability Spaces, the STochastic DEVS specification (STDEVS) provides a Formal Framework for modeling and simulation of general non deterministic discrete event systems. The main theoretical properties of STDEVS are shown. We illustrate its use in a stochastic-oriented simulation example with the main purpose of performance analysis in computer systems and data networks.
-
SpringSim - A Formal Framework for stochastic DEVS modeling and simulation
2008Co-Authors: Rodrigo Castro, Ernesto Kofman, Gabriel WainerAbstract:We introduce an extension of the classic Discrete Event System Specification (DEVS) Formalism that includes stochastic features. Based on the use of Probability Spaces, the STochastic DEVS specification (STDEVS) provides a Formal Framework for modeling and simulation of general non deterministic discrete event systems. The main theoretical properties of STDEVS are shown. We illustrate its use in a stochastic-oriented simulation example with the main purpose of performance analysis in computer systems and data networks.
Yves Meinard - One of the best experts on this subject based on the ideXlab platform.
-
A Formal Framework for deliberated judgment
Theory and Decision, 2019Co-Authors: Olivier Cailloux, Yves MeinardAbstract:While the philosophical literature has extensively studied how decisions relate to arguments, reasons and justifications, decision theory almost entirely ignores the latter notions. In this article, we elaborate a Formal Framework to introduce in decision theory the stance that decision-makers take towards arguments and counter-arguments. We start from a decision situation, where an individual requests decision support. We Formally define, as a commendable basis for decision-aid, this individual’s deliberated judgment, a notion inspired by Rawls’ contributions to the philosophical literature, and embodying the requirement that the decision-maker should carefully examine arguments and counter-arguments. We explain how models of deliberated judgment can be validated empirically. We then identify conditions upon which the existence of a valid model can be taken for granted, and analyze how these conditions can be relaxed. We then explore the significance of our Framework for the practice of decision analysis. Our Framework opens avenues for future research involving both philosophy and decision theory, as well as empirical implementations.
-
A Formal Framework for deliberated judgment
arXiv: Artificial Intelligence, 2018Co-Authors: Olivier Cailloux, Yves MeinardAbstract:While the philosophical literature has extensively studied how decisions relate to arguments, reasons and justifications, decision theory almost entirely ignores the latter notions and rather focuses on preference and belief. In this article, we argue that decision theory can largely benefit from explicitly taking into account the stance that decision-makers take towards arguments and counter-arguments. To that end, we elaborate a Formal Framework aiming to integrate the role of arguments and argumentation in decision theory and decision aid. We start from a decision situation, where an individual requests decision support. In this context, we Formally define, as a commendable basis for decision-aid, this individual's deliberated judgment, popularized by Rawls. We explain how models of deliberated judgment can be validated empirically. We then identify conditions upon which the existence of a valid model can be taken for granted, and analyze how these conditions can be relaxed. We then explore the significance of our proposed Framework for decision aiding practice. We argue that our concept of deliberated judgment owes its normative credentials both to its normative foundations (the idea of rationality based on arguments) and to its reference to empirical reality (the stance that real, empirical individuals hold towards arguments and counter-arguments, on due reflection). We then highlight that our Framework opens promising avenues for future research involving both philosophical and decision theoretic approaches, as well as empirical implementations.
Rodrigo Castro - One of the best experts on this subject based on the ideXlab platform.
-
a Formal Framework for stochastic discrete event system specification modeling and simulation
Simulation, 2010Co-Authors: Rodrigo Castro, Ernesto Kofman, Gabriel WainerAbstract:We introduce an extension of the classic Discrete Event System Specification (DEVS) Formalism that includes stochastic features. Based on the use of the probability spaces theory we define the stochastic DEVS (STDEVS) specification, which provides a Formal Framework for modeling and simulation of general non-deterministic discrete event systems. The main theoretical properties of the STDEVS Framework are treated, including a new definition of legitimacy of models in the stochastic context and a proof of STDEVS closure under coupling. We also illustrate the new stochastic modeling capabilities introduced by STDEVS and their relation with those found in classic DEVS. Practical simulation examples are given involving performance analysis of computer systems and hybrid modeling of networked control systems, applications where the modeling of stochastic components is vital.
-
a Formal Framework for stochastic devs modeling and simulation
Spring Simulation Multiconference, 2008Co-Authors: Rodrigo Castro, Ernesto Kofman, Gabriel WainerAbstract:We introduce an extension of the classic Discrete Event System Specification (DEVS) Formalism that includes stochastic features. Based on the use of Probability Spaces, the STochastic DEVS specification (STDEVS) provides a Formal Framework for modeling and simulation of general non deterministic discrete event systems. The main theoretical properties of STDEVS are shown. We illustrate its use in a stochastic-oriented simulation example with the main purpose of performance analysis in computer systems and data networks.
-
SpringSim - A Formal Framework for stochastic DEVS modeling and simulation
2008Co-Authors: Rodrigo Castro, Ernesto Kofman, Gabriel WainerAbstract:We introduce an extension of the classic Discrete Event System Specification (DEVS) Formalism that includes stochastic features. Based on the use of Probability Spaces, the STochastic DEVS specification (STDEVS) provides a Formal Framework for modeling and simulation of general non deterministic discrete event systems. The main theoretical properties of STDEVS are shown. We illustrate its use in a stochastic-oriented simulation example with the main purpose of performance analysis in computer systems and data networks.
Azzouz Benzekri - One of the best experts on this subject based on the ideXlab platform.
-
A Formal Framework (Expression + Analysis) for network security mechanisms configuration
2020Co-Authors: Romain Laborde, Azzouz BenzekriAbstract:Security mechanisms enforcement consists in configuring devices with the aim that they cooperate and guarantee the defined security goals. In the network context, this task is complex due to the number, the nature, and the interdependencies of the devices to consider. We propose in this article a Formal Framework which models the network security management information in order to verify the appliance of security goals. The Framework is divided into two components. First, a Formal language allows its user to graphically specify the abstract network security tactics while considering network topologies. Second, an associated evaluation method guarantees the consistency and the correctness of the tactics according to the security goals.
-
NCA - A Formal Framework (Expression + Analysis) for network security
Fourth IEEE International Symposium on Network Computing and Applications, 2005Co-Authors: Romain Laborde, Florence Barrère, Azzouz BenzekriAbstract:Security mechanisms enforcement consists in configuring devices with the aim that they cooperate and guarantee the defined security goals. In the network context, this task is complex due to the number, the nature, and the interdependences of the devices to consider. We propose in this article a Formal Framework, which models the network security management information in order to verify the appliance of security goals. The Framework is divided into two components. First, a Formal language allows its user to graphically specify the abstract network security tactics while considering network topologies. Second, an associated evaluation method guarantees the consistency and the correctness of the tactics according to the security goals
-
A Formal Framework (Expression + Analysis) for network security
Fourth IEEE International Symposium on Network Computing and Applications, 2005Co-Authors: Romain Laborde, Florence Barrère, Azzouz BenzekriAbstract:Security mechanisms enforcement consists in configuring devices with the aim that they cooperate and guarantee the defined security goals. In the network context, this task is complex due to the number, the nature, and the interdependences of the devices to consider. We propose in this article a Formal Framework, which models the network security management information in order to verify the appliance of security goals. The Framework is divided into two components. First, a Formal language allows its user to graphically specify the abstract network security tactics while considering network topologies. Second, an associated evaluation method guarantees the consistency and the correctness of the tactics according to the security goals
Ernesto Kofman - One of the best experts on this subject based on the ideXlab platform.
-
a Formal Framework for stochastic discrete event system specification modeling and simulation
Simulation, 2010Co-Authors: Rodrigo Castro, Ernesto Kofman, Gabriel WainerAbstract:We introduce an extension of the classic Discrete Event System Specification (DEVS) Formalism that includes stochastic features. Based on the use of the probability spaces theory we define the stochastic DEVS (STDEVS) specification, which provides a Formal Framework for modeling and simulation of general non-deterministic discrete event systems. The main theoretical properties of the STDEVS Framework are treated, including a new definition of legitimacy of models in the stochastic context and a proof of STDEVS closure under coupling. We also illustrate the new stochastic modeling capabilities introduced by STDEVS and their relation with those found in classic DEVS. Practical simulation examples are given involving performance analysis of computer systems and hybrid modeling of networked control systems, applications where the modeling of stochastic components is vital.
-
a Formal Framework for stochastic devs modeling and simulation
Spring Simulation Multiconference, 2008Co-Authors: Rodrigo Castro, Ernesto Kofman, Gabriel WainerAbstract:We introduce an extension of the classic Discrete Event System Specification (DEVS) Formalism that includes stochastic features. Based on the use of Probability Spaces, the STochastic DEVS specification (STDEVS) provides a Formal Framework for modeling and simulation of general non deterministic discrete event systems. The main theoretical properties of STDEVS are shown. We illustrate its use in a stochastic-oriented simulation example with the main purpose of performance analysis in computer systems and data networks.
-
SpringSim - A Formal Framework for stochastic DEVS modeling and simulation
2008Co-Authors: Rodrigo Castro, Ernesto Kofman, Gabriel WainerAbstract:We introduce an extension of the classic Discrete Event System Specification (DEVS) Formalism that includes stochastic features. Based on the use of Probability Spaces, the STochastic DEVS specification (STDEVS) provides a Formal Framework for modeling and simulation of general non deterministic discrete event systems. The main theoretical properties of STDEVS are shown. We illustrate its use in a stochastic-oriented simulation example with the main purpose of performance analysis in computer systems and data networks.
