We are looking for methods combining between Partial Order Reduction Technique with Symbolic approaches using BDDs for reducing state space ?

03 August 2018 1 5K Report

We are looking for methods combining between Partial Order Reduction Technique with Symbolic approaches using BDDs for reducing state space. Could you give us in comments a brief description of such methods you know ?

Mihai Lica Pura

Maybe you could have a look at Sigma DDs:

https://archive-ouverte.unige.ch/unige:12331

Badges
Science topic

Similar topics
Engineering
Modeling

More Oussama Hayane's questions See All

Looking for help on sem image analysis?

Hello I am conducting a microstructural analysis of a soil treated with lime. The following sem images are of the untreated s1 and treated soil s3. The untreated soil contains quartz calcite...

01 August 2024 572 0 View

Why specific capacitance is not proportional with the specific surface area?

Dear researchers, Why specific capacitance is not proportional to the specific surface area? I have material A with a surface area higher than material B, but material B is showing little bit...

26 July 2024 9,156 2 View

How to Trace velocity plot u(t) using comsol?

Hello How can I get the velocity plot u(t) of a rising bubble using COMSOL like in this tutorial...

24 June 2024 9,441 6 View

How can we select the best energy storage system for our Microdrid, and what are the best energy storage devices to be included?

There exist a wide range of technologies used for energy storage such as electrochemical (batteries), electrical (supercapacitors), mechanical,...etc. What are the best and the most efficient...

17 May 2024 3,412 1 View

Specific capacitance values?

Why specific capacitance calculated from cyclic voltammetery is different from the one calculated from charge-discharge? Ps1: I used the same potential window. Ps2: the charge-discharge curve is...

18 April 2024 9,691 1 View

The amount of water needed during the impregnation?

How much water is typically used during the impregnation step? is there any relationship between the weight of carbon and the amount of water?

12 April 2024 2,952 0 View

I need help designing an H Infinity controller to control a wind energy conversion system ?

What is the best approach to design an H infinity controller for a linear model of a wind energy conversion system, with the goal of simulating it in Simulink? Any specific methods or tools...

26 March 2024 4,008 1 View

Time of N2 injection during chemical activation?

Dear researchers, during chemical activation, when should i start injecting N2 to the precursor? is it at the same time when start heating or until reaching the desired temperature ? thanks in...

23 February 2024 1,307 9 View

How to repair a furnce alumina tube?

the furnace i am using for activation has been damaged, the alumina tube broke , i need a good glue to fix it!

12 November 2023 5,248 1 View

Why i am getting no dischage even after long time?

during GCD, i am seeing no discharge after long time of charging?

12 November 2023 7,295 12 View

Could you recommend some articles on Urban Transportation System optimization and Innovation?

13 August 2024 2,595 3 View

How can I prepare virus for a TEM or SEM imaging?

I have virus (viral hemorrhagic septicemia virus) in suspension and the experiment will not involve cells. What level of TCID50 is preferred?

11 August 2024 3,115 1 View

How to learn more about SPSS and its Application?

I would like to learn more about SPSS and Its application especially in regards to data analysis. Please suggest me how I can learn more about it. Thank you so much.

11 August 2024 9,101 4 View

Can I base on reverse DNA sequences to perform alignment, convert to amino acids and GenBank submission?

I have reverse sequences (AB1 format), can I base on reverse DNA sequences to perform nucleotide alignment, convert nucleotides to amino acids and deposit the sequence in GenBank database?

11 August 2024 5,138 1 View

Baseline drift in HPLC? What causes this?

Hello, Why do i see this baseline drift when i compare my blank (black) to the sample (blue)? Any suggestions as to why this happened? Thank you!

11 August 2024 3,770 4 View

Text-Communication from the M1 Hand Area using BCI—and then there is Elon Musk?

Willett, Shenoy et al. (2021) have developed a brain computer interface (BCI) that used neural signal collected from the hand area of the motor cortex (area M1) of a paralyzed patient. The...

10 August 2024 7,180 0 View

Handling Missing Data and Building a Predictive Model with Incomplete Information ?

I am developing a predictive model for a water supply network that involves 20 influencing points. However, I only have historical data for 10 out of these 20 points. I would like to know how to...

10 August 2024 4,005 2 View

Has anyone applied Python in the field of textile engineering for data analysis, automation, or smart textiles?

I'm currently exploring the application of Python in textile engineering, specifically in areas like data analysis, process automation, and the development of smart textiles. I'm interested in...

10 August 2024 7,429 2 View

Is it possible to use the Fused Deposition Modeling (FDM) to additively manufacture interconnected porous structure generation of >100-200 micrometer?

Usually, additive manufacturing techniques like SEBM, SLS, and SLM are used for interconnected porous lattice structure generation with sizes of >100–200 micrometers. Can the Fused Deposition...

09 August 2024 7,892 0 View

How can I use the cif data obtained from rietveld refinement extracted via gsas2, for microstructural analysis using ETEX software?

09 August 2024 7,718 0 View