References
- Chu , C.‐W. 2005 . “Embedded Control System Design and Practice: Intelligent FCU Controller,” , Taiwan : Institute of Automation and Control, National Taiwan University of Science and Technology . Master Thesis
- Coelho , C. J. N. Jr. , Silva , D.C.D. Jr. and Fernandes , A.O. “Hardware‐Software Codesign of Embedded Systems,” . Proceedings of the IEEE XI Brazilian Symposium on Integrated Circuit Design . pp. 2 – 8 .
- Cunning , S. J. , Ewing , T. C. , Olson , J. T. , Rozenblit , J. W. and Schulz , S. “Towards an Integrated, Model‐Based Codesign Environment,” . Proceedings of the IEEE Conference and Workshop on Engineering of Computer‐Based Systems (ECBS ‘99) . pp. 136 – 143 .
- Gomes , L. and Costa , A. “Form Use Cases to System Implementation: Statechart Based Co‐Design,” . Proceedings of the First ACM and IEEE International Conference on Formal Methods and Models for Co‐Design (MEMOCODE ‘03) . pp. 24 – 33 .
- Harel , D. 1987 . “Statechart: A Visual Formalism for Complex Systems,” . IEEE Transaction on Science of Computer Programming , 8 ( 3 ) : 231 – 274 .
- Harel , D. and Politu , M. 1998 . Modeling Reactive Systems with Statechart ‐ The Statemate Approach , New York, , USA : McGraw‐Hill .
- Harrold , M. V. and Lush , D. M. 1988 . “Automatic Controls in Building Services,” . IEE Proceedings B on Electric Power Applications , 135 ( 3 ) : 105 – 133 .
- Harel , D. 1988 . “On Visual Formalisms,” . IEEE Transactions on Communications of the ACM , 31 ( 5 ) : 514 – 530 .
- Kang , K. C. and Ko , K. I. “Formalization and Verification of Safety Properties of Statechart Specifications,” . Proceedings of the 1996 IEEE Asia‐Pacific Conference on Software Engineering . pp. 16 – 27 .
- Ledru , Y. “Hierarchical Specification of Reactive Systems: A Case Study,” . Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering . pp. 109 – 116 .
- Mitra , R. S. , Kumar , M. and Basu , A. 1994 . “Design of Microprocessor‐Based Systems: A Knowledge‐Based Approach,” . IEEE Transactions on Industrial Electronics , 41 ( 3 ) : 352 – 360 .
- Piao , Y.‐G. , Zhang , H.‐G. and Zeungnam , B. “A Simple Fuzzy Adaptive Control Method and Application in HVAC,” . Proceedings of the IEEE International Conference on Fuzzy Systems . Vol. 1 , pp. 528 – 532 .
- Schattkowsky , T. and Muller , W. “Model‐Based Design of Embedded Systems,” . Proceedings of the 7th IEEE International Symposium on Object‐Oriented Real‐Time Distributed Computing . pp. 113 – 128 .
- Schulz , S. , Rozenbit , J.W. , Mrva , M. and Buchenriede , K. 1998 . “Model‐Based Codesign,” . IEEE Transactions on Computer , 31 ( 8 ) : 60 – 67 .
- Vahid , F. and Givargis , T. 2002 . “Embedded System Design: A Unified Hardware/Software Introduction,” , New York, , USA : John Wiley & Sons, Inc. .
- Wang , Y.‐G. , Shi , Z.‐G. and Cai , W.‐J. “PID Autotuner and its Application in HVAC Systems,” . Proceedings of the IEEE Conference on American Control . Vol. 3 , pp. 2191 – 2196 .
- Corresponding author. (Email: [email protected])