Implementation and verification of prognostics and health management system using a configurable system of systems architecture.
Song HanJinsong YuDiyin TangHao LiuJinsong YuPublished in: ICPHM (2016)
Keyphrases
- management system
- database management systems
- industrial strength
- health care
- complex systems
- decision support system
- computer systems
- model checking
- efficient implementation
- hardware implementation
- computing systems
- formal methods
- hardware design
- software implementation
- health monitoring
- asynchronous circuits
- expert systems