Article10.3166/jesa.39.381-393
Observation partielle des systèmes temporisés
Patricia Bouyer,Fabrice Chevalier,Moez Krichen,Stavros Tripakis-2005-04-30-Journal Européen des Systèmes Automatisés
2
TL;DRAbstract
In this paper, we present the partial observability constraint, which naturally appears when modeling real-time systems. We have selected three problems in which this hypothesis is fundamental but leads to more difficult problems: control of timed systems, fault diagnosis, and conformance testing. -We describe methods which can be used for solving such problems.
Chat with Paper
AI Agents for this Paper
In this paper, we present the partial observability constraint, which naturally appears when modeling real-time systems. We have selected three problems in which this hypothesis is fundamental but leads to more difficult problems: control of timed systems, fault diagnosis, and conformance testing. -We describe methods which can be used for solving such problems.
Keywords
Computer science
Chat
Click to start Chat