Safety Analysis of Automotive Control Systems Using Multi-Modal Port-Hamiltonian Systems.
Siyuan DaiXenofon D. KoutsoukosPublished in: HSCC (2016)
Keyphrases
- multi modal
- safety analysis
- safety critical
- control system
- nuclear power plant
- formal methods
- high dimensional
- symbolic model checking
- multi modality
- fault model
- fault tolerant
- cross modal
- knowledge based systems
- distributed systems
- real time
- control strategy
- embedded systems
- learning systems
- formal verification
- condition monitoring
- image registration
- single modality
- uni modal