Zobrazeno 1 - 10
of 41
pro vyhledávání: '"BOUISSOU, Marc"'
Publikováno v:
EPTCS 316, 2020, pp. 1-14
A Boolean logic driven Markov process (BDMP) is a dependability analysis model that defines a continuous-time Markov chain (CTMC). This formalism has high expressive power, yet it remains readable because its graphical representation stays close to s
Externí odkaz:
http://arxiv.org/abs/2004.13283
Autor:
Bouissou, Marc
Publikováno v:
EPTCS 244, 2017, pp. 200-216
This paper contains two parts: the description of a real electrical system, with many redundancies, reconfigurations and repairs, then the description of a reliability model of this system, based on the BDMP (Boolean logic Driven Markov Processes) fo
Externí odkaz:
http://arxiv.org/abs/1703.06575
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In Reliability Engineering and System Safety July 2015 139:156-178
Autor:
Chaux, Pierre-Yves, Roussel, Jean-Marc, Lesage, Jean-Jacques, Deleuze, Gilles, Bouissou, Marc
Publikováno v:
In IFAC Proceedings Volumes 2013 46(22):1-6
Autor:
Abate, Alessandro, Blom, Henk, Bouissou, Marc, Cauchi, Nathalie, Chraibi, Hassane, Delicaris, Joanna, Haesaert, Sofie, Hartmanns, Arnd, Khaled, Mahmoud, Lavaei, Abolfazl, Ma, Hao, Mallik, Kaushik, Niehage, Mathis, Remke, Anne, Schupp, Stefan, Shmarov, Fedor, Soudjani, Sadegh, Thorpe, Adam, Turcuman, Vlad, Zuliani, Paolo, Frehse, Goran, Althoff, Matthias
Publikováno v:
8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Brussels, Belgium, July 9, 2021, 55-89
STARTPAGE=55;ENDPAGE=89;TITLE=8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Brussels, Belgium, July 9, 2021
STARTPAGE=55;ENDPAGE=89;TITLE=8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Brussels, Belgium, July 9, 2021
This report presents the results of a friendly competition for formal verification and policy synthesis of stochastic models. It also introduces new benchmarks within this category, and recommends next steps for this category towards next year’s ed
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d430991154680bc488cee9fe14e0bddf
https://doi.org/10.29007/dprv
https://doi.org/10.29007/dprv
Autor:
Bouissou, Marc, Buffoni, Lena
Publikováno v:
Congrès Lambda Mu 22 « Les risques au cœur des transitions » (e-congrès)-22e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Institut pour la Maîtrise des Risques
Congrès Lambda Mu 22 « Les risques au cœur des transitions » (e-congrès)-22e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Institut pour la Maîtrise des Risques, Oct 2020, Le Havre (e-congrès), France
Congrès Lambda Mu 22 « Les risques au cœur des transitions » (e-congrès)-22e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Institut pour la Maîtrise des Risques, Oct 2020, Le Havre (e-congrès), France
International audience; In this article we explain how Modelica deterministic simulation models, built for the design of systems, can be enriched by a few elements of a generic library in order to turn them into stochastic models. The enriched models
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3161ce9c8a875663ba7a17a72a8053b4
https://hal.archives-ouvertes.fr/hal-03452342
https://hal.archives-ouvertes.fr/hal-03452342
Autor:
Bouissou, Marc ∗, Bon, Jean-Louis
Publikováno v:
In Reliability Engineering and System Safety 2003 82(2):149-163