Local Causal Reasoning of a Safety-Critical Subway System.
Edgar G. DaylightSandeep K. ShuklaPublished in: MEMOCODE (2007)
Keyphrases
- causal reasoning
- safety critical
- fault tolerant
- agent architecture
- formal methods
- embedded systems
- safety analysis
- nuclear power plant
- causal models
- support systems
- directed acyclic graph
- real time
- adaptive systems
- knowledge representation
- default logic
- regulatory requirements
- intelligent agents
- cooperative
- distributed systems
- machine learning