This paper describes the methodology to deal with the behavior of a dynamical system such as plant controllers in the framework of Temporal Logic. Many important concepts of the dynamical system like… (More)

In this paper, we introduce an enlargement of a standard hybrid automaton (HA) called a nonstandard hybrid automaton (NHA) which is another model of HA in the domain of *ℝ rather than ℝ. We define… (More)

In this paper, we propose a hard-wired method for on-board diagnoses of embedded systems based on the model-based diagnosis. In the recent works of on-board diagnoses, the qualitative deviation… (More)