Diagnosis of timed automata with an application to industrial actuators.
Jan LunzeP. SupavatanakulPublished in: Integr. Comput. Aided Eng. (2004)
Keyphrases
- timed automata
- model checking
- reachability analysis
- model based diagnosis
- industrial applications
- industrial systems
- medical diagnosis
- theorem proving
- theorem prover
- first order logic
- control system
- industrial environment
- fault diagnosis
- gas turbine
- model based reasoning
- degrees of freedom
- automatic diagnosis
- industrial processes
- technology transfer
- medical diagnostic
- real time systems
- clinically relevant
- diagnostic reasoning
- fault detection
- multiple faults
- graphical models
- breast cancer diagnosis
- data sets
- learning algorithm
- cancer diagnosis
- heart disease
- real time
- temporal logic
- information systems
- complex systems
- software development
- software engineering
- state space