Probabilistic Boolean network modeling and model checking as an approach for DFMEA for manufacturing systems.
Pedro J. Rivera TorresEileen I. Serrano MercadoLuis Anido RifónPublished in: J. Intell. Manuf. (2018)
Keyphrases
- model checking
- manufacturing systems
- temporal logic
- formal verification
- finite state
- bounded model checking
- automated verification
- formal specification
- temporal properties
- manufacturing environment
- symbolic model checking
- model checker
- reactive systems
- complex systems
- reachability analysis
- computation tree logic
- verification method
- holonic manufacturing systems
- finite state machines
- process algebra
- transition systems
- epistemic logic
- petri net
- timed automata
- concurrent systems
- pspace complete
- bayesian networks
- formal methods
- alternating time temporal logic
- data flow
- deterministic finite automaton
- linear temporal logic