-
1
-
-
0000050873
-
Hybrid Automata: an algorithmic approach to the specification and verification of hybrid systems
-
Springer Berlin
-
R. Alur Hybrid Automata: an algorithmic approach to the specification and verification of hybrid systems 736 209 229 1993 Springer Berlin
-
(1993)
, vol.736
, pp. 209-229
-
-
Alur, R.1
-
2
-
-
0003502435
-
Applied Optimal Estimation
-
MIT Press MA, Cambridge
-
Applied Optimal Estimation 1979 MIT Press MA, Cambridge
-
(1979)
-
-
-
3
-
-
0033322622
-
A timed discrete-event abstraction of continuous-variable systems
-
J. Lunze A timed discrete-event abstraction of continuous-variable systems Intl. Jour. of Control 72 1147 1164 1999
-
(1999)
Intl. Jour. of Control
, vol.72
, pp. 1147-1164
-
-
Lunze, J.1
-
4
-
-
0003458689
-
Fault Detection and Diagnosis in Engineering Systems
-
Marcel Dekker NY
-
J.J. Gertler Fault Detection and Diagnosis in Engineering Systems 1998 Marcel Dekker NY
-
(1998)
-
-
Gertler, J.J.1
-
6
-
-
0001650777
-
Signal to symbol transformation techniques for robust diagnosis in TRANSCEND
-
E.J. Manders P.J. Mosterman G. Biswas Signal to symbol transformation techniques for robust diagnosis in TRANSCEND Tenth International Workshop on Principles of Diagnosis 155 165 Tenth International Workshop on Principles of Diagnosis Loch Awe Scotland 1999
-
(1999)
, pp. 155-165
-
-
Manders, E.J.1
Mosterman, P.J.2
Biswas, G.3
-
7
-
-
33845639596
-
A combined qualitative/quantitative approach for efficient fault isolation in complex dynamic systems
-
E.J. Manders S. Narasimhan G. Biswas P.J. Mosterman A combined qualitative/quantitative approach for efficient fault isolation in complex dynamic systems 4 symposium on fault detection, supervision and safety processes 512 517 4 symposium on fault detection, supervision and safety processes 2000
-
(2000)
, pp. 512-517
-
-
Manders, E.J.1
Narasimhan, S.2
Biswas, G.3
Mosterman, P.J.4
-
9
-
-
84974684576
-
Towards Procedures for Systematically Deriving Hybrid Models of Complex Systems
-
P.J. Mosterman G. Biswas Towards Procedures for Systematically Deriving Hybrid Models of Complex Systems Third International Workshop on Hybrid Systems: Computation and Control (HSCC'00) 324 337 Third International Workshop on Hybrid Systems: Computation and Control (HSCC'00) 2000
-
(2000)
, pp. 324-337
-
-
Mosterman, P.J.1
Biswas, G.2
-
10
-
-
0003087460
-
Towards Diagnosing Hybrid Systems
-
S. McIlraith G. Biswas D. Clancy V. Gupta Towards Diagnosing Hybrid Systems Third International Workshop on Hybrid Systems: Computation and Control (HSCC'00) 282 295 Third International Workshop on Hybrid Systems: Computation and Control (HSCC'00) 2000
-
(2000)
, pp. 282-295
-
-
McIlraith, S.1
Biswas, G.2
Clancy, D.3
Gupta, V.4
-
11
-
-
0003790846
-
Introduction to Physical System Dynamics
-
McGraw Hill New York
-
R.C. Rosenberg D. Karnopp Introduction to Physical System Dynamics 1983 McGraw Hill New York
-
(1983)
-
-
Rosenberg, R.C.1
Karnopp, D.2
|