Robustness Analysis of Systems' Safety through a New Notion of Input-to-State Safety.
Muhammad Zakiyullah RomdlonyBayu JayawardhanaPublished in: CoRR (2017)
Keyphrases
- safety analysis
- safety critical
- quantitative analysis
- building blocks
- image analysis
- intelligent systems
- autonomous mobile
- nuclear power plant
- formal methods
- real time
- management system
- multi agent systems
- state space
- hidden markov models
- computer systems
- knowledge based systems
- statistical analysis
- control system
- case study
- website
- intelligent vehicles
- multimedia
- fault model
- decision making
- neural network