-
1
-
-
0000050873
-
Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
-
R.L. Grossman, et al., eds., Springer, Berlin
-
Alur, R. et al., "Hybrid Automata: an algorithmic approach to the specification and verification of hybrid systems," in R.L. Grossman, et al., eds., Lecture Notes in Computer Science, Springer, Berlin, 736, pp. 209-229,1993.
-
(1993)
Lecture Notes in Computer Science
, vol.736
, pp. 209-229
-
-
Alur, R.1
-
2
-
-
84956973685
-
Transient management in reconfigurable systems
-
P. Robertson, H.Shrobe, R.Laddaga (Eds). Springer, New York
-
Simon, G., T. Kovácsházy, G. Péceli, "Transient Management in Reconfigurable Systems," in P. Robertson, H.Shrobe, R.Laddaga (Eds): "Self Adaptive Software (First International Workshop, IWSAS 2000, Oxford, UK, April 17-19, 2000, Revised Papers), Lecture Notes on Computer Science 1936". Springer, New York, pp.90-98, 2001.
-
(2001)
Self Adaptive Software (First International Workshop, IWSAS 2000, Oxford, UK, April 17-19, 2000, Revised Papers), Lecture Notes on Computer Science 1936
, pp. 90-98
-
-
Simon, G.1
Kovácsházy, T.2
Péceli, G.3
-
4
-
-
0032041514
-
A theory of discontinuities in physical system models
-
Mosterman P. J. and G. Biswas, "A theory of discontinuities in physical system models," Journal of the Franklin Institute:335B, pp. 401-439, 1998.
-
(1998)
Journal of the Franklin Institute
, vol.335 B
, pp. 401-439
-
-
Mosterman, P.J.1
Biswas, G.2
-
5
-
-
0028748117
-
A unified framework for hybrid control: Background, model, and theory
-
Lake Buena Vista, FL, Paper No. LIDS-P-2239
-
Branicky, M.S., V. Borkar, S. Mitter, "A Unified Framework for Hybrid Control: Background, Model, and Theory," Proceedings of the 33rd IEEE Conference on Decision and Control, Lake Buena Vista, FL, Paper No. LIDS-P-2239, 1994.
-
(1994)
Proceedings of the 33rd IEEE Conference on Decision and Control
-
-
Branicky, M.S.1
Borkar, V.2
Mitter, S.3
-
7
-
-
0001308648
-
Diagnosis of continuous valued systems in transient operating region
-
Mosterman, P.J. and G. Biswas, "Diagnosis of Continuous Valued Systems in Transient Operating Region," IEEE Transactions on Systems, Man, and Cybernetics,.vol, 29, pp. 554-565, 1999.
-
(1999)
IEEE Transactions on Systems, Man, and Cybernetics
, vol.29
, pp. 554-565
-
-
Mosterman, P.J.1
Biswas, G.2
-
8
-
-
0003027765
-
A combined qualitative/quantitative approach for efficient fault isolation in complex dynamic systems
-
Manders E.J., S. Narasimhan, G. Biswas, and P.J. Mosterman, "A combined qualitative/quantitative approach for efficient fault isolation in complex dynamic systems," 4th Symposium on Fault Detection, Supervision and Safety Processes, pp. 512-517, 2000.
-
(2000)
4th Symposium on Fault Detection, Supervision and Safety Processes
, pp. 512-517
-
-
Manders, E.J.1
Narasimhan, S.2
Biswas, G.3
Mosterman, P.J.4
-
10
-
-
0037683300
-
Robust diagnostics: Structural redundancy approach
-
Knowledge Based Artificial Intelligence Systems in Aerospace and Industry, Orlando
-
Misra A., Sztipanovits J., and Carnes J., "Robust Diagnostics: Structural Redundancy Approach," Knowledge Based Artificial Intelligence Systems in Aerospace and Industry, SPIE's Symposium on Intelligent Systems, Orlando, 1994.
-
(1994)
SPIE's Symposium on Intelligent Systems
-
-
Misra, A.1
Sztipanovits, J.2
Carnes, J.3
-
11
-
-
84942263851
-
Robust diagnosis of switching systems
-
Washington D.C.
-
S. Abdelwahed, G. Karsai, and G. Biswas, "Robust Diagnosis of Switching Systems," 5th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, Washington D.C., 2003.
-
(2003)
5th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes
-
-
Abdelwahed, S.1
Karsai, G.2
Biswas, G.3
-
12
-
-
85008018482
-
Model-integrated computing
-
April
-
Sztipanovits, J., Karsai, G.: "Model-Integrated Computing", IEEE Computer, pp. 110-112, April, 1997.
-
(1997)
IEEE Computer
, pp. 110-112
-
-
Sztipanovits, J.1
Karsai, G.2
|