5200 search results - page 137 / 1040 » Symbolic models for control systems |
ETFA
2006
IEEE
14 years 3 months ago
2006
IEEE
In this paper, the effect of network-induced delay introduced into the control loop is modelled as time-varying disturbance. Based on this model, a fault isolation filter (FIF) f...
SAINT
2005
IEEE
14 years 2 months ago
2005
IEEE
In this paper, we propose an analytic approach of modeling a closed-loop network with multiple feedback loops using fluid-flow approximation. Specifically, we model building bl...
WORDS
2005
IEEE
14 years 2 months ago
2005
IEEE
We have previously presented initial results of a case study which illustrated an approach to engineering protective wrappers as a means of detecting errors or unwanted behaviour ...
DFG
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. In this paper, the authors introduce an extension of UML for the purpose of hybrid systems modeling. The construction uses the profile mechanism of UML 2.0 which is the ...
DSN
2000
IEEE
14 years 1 months ago
2000
IEEE
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...