Towards an LTCC SiP for Control System in Safety-Critical Applications.
Gabriel NobertAbdul Hafiz AlamehNam LyNicolas G. ConstantinYves BlaquièrePublished in: ISCAS (2021)
Keyphrases
- safety critical
- control system
- safety analysis
- fault tolerant
- formal methods
- nuclear power plant
- embedded systems
- agent architecture
- regulatory requirements
- support systems
- fuzzy logic
- fuzzy control
- adaptive systems
- symbolic model checking
- real time
- knowledge base
- intelligent agents
- intelligent systems
- distributed systems
- wireless sensor networks