CS 367: References and Reading Material

• F.E. Cellier, H. Elmqvist, and M. Otter, "Modeling from Physical Principles"
• D. Harel and A. Naamad, "The STATEMATE Semantics of Statecharts," ACM Transactions on Software Engineering Methodology, vol. 5. no. 4, pp. 293-333, 1996. M. Otter, "Modeling from Physical Principles"
• M. Sampath, et al., "Failure Diagnosis using DIscrete-Event Models" IEEE Trans. on Control Systems Technology, vol. 4, no. 2, pp. 105-124, 1996.
• P.J. Mosterman and G. Biswas, "Diagnosis of Continuous Valued Systems in Transient Operating Regions," IEEE Transactions on Systems, Man, and Cybernetics, vol. 29, no. 6, pp. 554-565, Nov. 1999.
• E.J. Manders, S. Narasimhan, G. Biswas, and P.J. Mosterman, "A Combined Qualitative/Quantitative Approach for Fault Isolation in Continuous Dynamic Systems," Proc. Safeprocess 2000, pp. 1074-1079. Budapest, Hungary, June 2000.
• P. Antsaklis, "A Brief Introduction to the Theory and Applications of Hybrid Systems," Proc. of the IEEE: Special Issue on Hybrid Systems -- Theory and Applications , pp. 879-887, 2000.
• T.A. Henzinger, "The Theory of Hybrid Automata," Proc. 11th Annual Symposium on Logic in Computer Science (LICS), 1996.
• X.D. Koutosokos, P.J. Antsakilis, J.A. Stiver, and M.D. Lemmon, "Supervisory Control in Hybrid Systems," Proc. of IEEE: Special Issue on Hybrid Systems, P.J. Antsaklis, ed., pp. 1026-1049, 2000.
• B.I. Silva, O. Stursberg, B.H. Krogh, and S. Engell, "An Assessment of the Current Status of Algorithmic Approaches to the Verification of Hybrid Systems," Proc. 40th Conference on Decision and Control (CDC'01), Dec. 2001.
• M.S. Branicky, V.S. Borkar, and S.K. Mitter, "A Unified Framework for Hybrid Control: Model and Optimal Control Theory," IEEE Transactions on Automatic Control, vol. 43, no. 1, pp. 31-45, Jan. 1998.
• P.J. Mosterman and G. Biswas, "A Theory of Discontinuities in Physical System Models," Journal of the Franklin Institute, vol. 335B, no. 3, pp. 401-439, 1997.
• S. Narasimhan and G. Biswas, "An Approach to Model-based Diagnosis of Hybrid Systems," Fifth Intl. Workshop on Hybrid Systems: Computation and Control, vol. LNCS 2289, C.J. Tomlin and M. Greenstreet, eds., Springer Verlag, Berlin, pp. 308-322, March 2002.

Return to CS 367 Home page