Verification and synthesis for failure diagnosis of discrete event systems subject to permanent sensor failures.
Naoki KanagawaShigemasa TakaiPublished in: ETFA (2014)
Keyphrases
- diagnosis of discrete event systems
- failure detection
- root cause
- failure rate
- failure recovery
- sensor networks
- sensor data
- model checking
- component failures
- multi sensor
- face verification
- repair actions
- asynchronous circuits
- program synthesis
- fault detection
- real time
- vision sensor
- sensor technology
- highly reliable
- data acquisition
- texture synthesis
- failure modes
- monitoring system
- formal verification
- formal analysis