[1]
|
J. Lygeros, “Lecture Notes on Hybrid System,” Department of Electrical and Computer Engineering University of Patras, Patras, 2004.
|
[2]
|
W. Wang, D. H. Zhou and Z. Li, “Robust State Estimation and Fault Diagnosis for Uncertain Hybrid Systems,” Nonlinear Analysis: Theory, Methods & Applications, Vol. 65, No. 12, 2006, pp.2193-2215.
doi:10.1016/j.na.2006.02.047
|
[3]
|
R. Alur, T. A. Henzinger and E. D. Zontag, “Hybrid Systems III. Verification and Control (Lecture Notes in Computer Science),” Springer, Berlin, 1996.
|
[4]
|
J. Lunze, “Fault Diagnosis of Discretely Controlled Continuous Systems by Means of Discrete Event-Models,” Discrete Event Dynamic Systems, Vol. 18, No. 2, 2008, pp. 181-210. doi:10.1007/s10626-007-0022-3
|
[5]
|
A. Chutinan and B. H. Krogh, “Computational Techniques for Hybrid System Verification,” IEEE Transactions on Automatic Control, Vol. 48. No. 1, 2003, pp. 6375. doi:10.1109/TAC.2002.806655
|
[6]
|
S. Baniardalani, “Design and Analysis of Discrete Event Model Based Fault Diagnosis for a Hybrid System,” Ph.D. Thesis, Isfahan University of Technology, Isfahan, 2011.
|
[7]
|
R. Alur and T. A. Henzinger, “The Algorithmic Analysis of Hybrid System,” Theoretical Computer Science, Vol. 138, No. 1, 1995, pp. 3-34.
doi:10.1016/0304-3975(94)00202-T
|
[8]
|
J. Lunze and B. Nixdorf, “Discrete Reachability of Hybrid Systems,” International Journal of Control, Vol. 76, No. 14, 2003, pp. 1453-1468.
doi:10.1080/0020717031000151309
|
[9]
|
J. Schr?der, “Modeling, State Observation, and Diagnosis of Quantized Systems,” Springer-Verlag, Berlin, 2003.
|
[10]
|
D. Forstner and J. Lunze, “Discrete-Event Models of Quantized System for Diagnosis,” International Journal of Control, Vol. 74, No. 7, 2001, pp. 690-700.
doi:10.1080/00207170010025276
|
[11]
|
S. Ratschan and Z. She, “Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement,” Hybrid Systems: Computation and Control, Vol. 3414, 2005, pp. 573-589.
doi:10.1007/978-3-540-31954-2_37
|
[12]
|
G. Frehse, “Algorithmic Verification of Hybrid System Past HyTech,” International Journal on Software Tools for Technology Transfer, Vol. 10, No. 3, 2005, pp. 258273. doi:10.1007/s10009-007-0062-x
|
[13]
|
M. Blanke, M. Kinnaret; J. Lunze and M. Staroswiecki, Diagnosis and Fault-Tolerant Control, 2nd Edition, Springer, Berlin, 2006.
|
[14]
|
C. G. Cassandras and S. Lafortune, “Introduction to Discrete Event Systems,” 2nd Eddition, Kluwer Academic Publishers, Dordrecht, 2008.
|
[15]
|
Askari-Marnani, B. Heiming and J. Lunze, “Control reconfiguration: The cosy Benchmark Problem and Its Solution by Means of a Qualitative Model Part of Chapter 21 of the Final Report of the Project,” Control of Complex Systems (cosy), 2011.
|
[16]
|
J. Lunze, J. Askari, et al., “Three-Tank Reconfiguration Control, Control of Complex Systems,” 2001, pp. 24-283.
|
[17]
|
J. Pan and S. Hashtrudi-Zad, “Diagnosability Analysis and Sensor Selection in Discrete-Event Systems with Permanent Failures,” Proceedings of the 3rd IEEE Conference on Automation Science and Engineering, Scottsdale, 22-25 September 2007, pp. 869-874.
|
[18]
|
M. Sampath, R. Segupta, S. Lafortune; S. K. Sinnamohideen and D. Tenketizis, “Diagnosability of Discrete event Systems,” IEEE Transactions on Automatic Control, Vol. 40, No. 9, pp. 1555-1575.
doi:10.1109/9.412626
|
[19]
|
P. Supavatanakul and J. Lunze, “Diagnosis of Timed Automata: Theory and Application to the DAMADICS Actuator Benchmark Problem,” Control Engineering Practice, Vol. 14, No. 6, 2006, pp. 609-619.
doi:10.1016/j.conengprac.2005.03.028
|