A New Formalism for Designing and Specifying RAMS Parameters for Complex Distributed Control Systems: The Safe-SADT Formalism.
Laurent CauffriezVincent BenardDominique RenauxPublished in: IEEE Trans. Reliab. (2006)
Keyphrases
- control system
- formal theory
- knowledge representation
- distributed systems
- parameter estimation
- conceptual graphs
- sensitivity analysis
- computer networks
- highly non linear
- real world
- physical systems
- logical framework
- complex data
- parameter space
- distributed environment
- theoretical framework
- lightweight
- maximum likelihood
- evolutionary algorithm
- artificial intelligence