Compositional Design Methodology with Constraint Markov Chains.
Benoît CaillaudBenoît DelahayeKim G. LarsenAxel LegayMikkel L. PedersenAndrzej WasowskiPublished in: QEST (2010)
Keyphrases
- markov chain
- design methodology
- steady state
- transition probabilities
- finite state
- stationary distribution
- design criteria
- random walk
- markov process
- markov processes
- design methodologies
- physical design
- probabilistic automata
- markov model
- design process
- design procedure
- state space
- transition matrix
- fuzzy neural network
- object oriented
- formal specification
- mathematical model
- finite automata
- computational intelligence
- relative entropy
- data model
- data mining